Publications
▼ 2026 (1)
First-Order Representation Languages for Goal-Conditioned RL
Simon Ståhlberg, Hector Geffner
Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026
▼ 2025 (9)
Learning More Expressive General Policies for Classical Planning Domains
Simon Ståhlberg, Blai Bonet, Hector Geffner
Thirty-Ninth AAAI Conference on Artificial Intelligence, Thirty-Seventh Conference on Innovative Applications of Artificial Intelligence, Fifteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2025, Philadelphia, PA, USA, February 25 - March 4, 2025
Sketch Decompositions for Classical Planning via Deep Reinforcement Learning
Michael Aichmüller, Hector Geffner
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025
Learning General Policies from Examples
Blai Bonet, Hector Geffner
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025
Learning Lifted Action Models from Traces of Incomplete Actions and States
Niklas Jansen, Jonas Gösgens, Hector Geffner
Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025
Learning Lifted Action Models From Traces of Incomplete Actions and States
Niklas Jansen, Jonas Gösgens, Hector Geffner
CoRR
From Next Token Prediction to (STRIPS) World Models - Preliminary Results
Carlos Núñez-Molina, Vicenç Gómez, Hector Geffner
CoRR
First-Order Representation Languages for Goal-Conditioned RL
Simon Ståhlberg, Hector Geffner
CoRR
Learning General Policies with Policy Gradient Methods
Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
▼ 2024 (18)
General Policies, Subgoal Structure, and Planning Width
Blai Bonet, Hector Geffner
J. Artif. Intell. Res.
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches
Dominik Drexler, Jendrik Seipp, Hector Geffner
J. Artif. Intell. Res.
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies
Blai Bonet, Dominik Drexler, Hector Geffner
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024
Combined Task and Motion Planning via Sketch Decompositions
Magı́ Dalmau-Moreno, Néstor Garcı́a, Vicenç Gómez, Hector Geffner
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024, Banff, Alberta, Canada, June 1-6, 2024
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains
Till Hofmann, Hector Geffner
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024
Symmetries and Expressive Requirements for Learning General Policies
Dominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024
Learning to Ground Existentially Quantified Goals
Martin Funkquist, Simon Ståhlberg, Hector Geffner
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024
Code and Data for the Paper titled “On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies” (Version 1)
Blai Bonet, Dominik Drexler, Hector Geffner
https://doi.org/10.5281/zenodo.10814691; Zenodo
Code and Data for the Paper titled “Symmetries and Expressive Requirements for Learning General Policies” (Version 1)
Dominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner
https://doi.org/10.5281/zenodo.13285982; Zenodo
Code, Data and Models for the AAAI 2025 paper “Learning More Expressive General Policies for Classical Planning Domains” (Version 1)
Simon Ståhlberg, Blai Bonet, Hector Geffner
https://doi.org/10.5281/zenodo.14505093; Zenodo
Learning general policies for classical planning domains: Getting beyond c${}_{\mbox{2}}$
Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
Combined Task and Motion Planning Via Sketch Decompositions (Extended Version with Supplementary Material)
Magı́ Dalmau-Moreno, Néstor Garcı́a, Vicenç Gómez, Hector Geffner
CoRR
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies
Blai Bonet, Dominik Drexler, Hector Geffner
CoRR
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains
Till Hofmann, Hector Geffner
CoRR
Symmetries and Expressive Requirements for Learning General Policies
Dominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
Learning to Ground Existentially Quantified Goals
Martin Funkquist, Simon Ståhlberg, Hector Geffner
CoRR
Learning Lifted STRIPS Models from Action Traces Alone: A Simple, General, and Scalable Solution
Jonas Gösgens, Niklas Jansen, Hector Geffner
CoRR
Learning Sketch Decompositions in Planning via Deep Reinforcement Learning
Michael Aichmüller, Hector Geffner
CoRR
▼ 2023 (8)
Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules
Dominik Drexler, Jendrik Seipp, Hector Geffner
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023
Learning General Policies with Policy Gradient Methods
Simon Ståhlberg, Blai Bonet, Hector Geffner
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023
Code for the Paper titled “General and Reusable Indexical Policies and Sketches” (Version 1)
Blai Bonet, Dominik Drexler, Hector Geffner
https://doi.org/10.5281/zenodo.10252343; Zenodo
Code and Data for Learning Hierarchical Policies (Version 1)
Dominik Drexler, Jendrik Seipp, Hector Geffner
https://doi.org/10.5281/zenodo.7725702; Zenodo
Code and Data for Learning Hierarchical Policies (Version 2)
Dominik Drexler, Jendrik Seipp, Hector Geffner
https://doi.org/10.5281/zenodo.8102477; Zenodo
Code and Data for the Article titled “Expressing and Exploiting the Common Subgoal Structure Using Sketches” (Version 1.0)
Dominik Drexler, Jendrik Seipp, Hector Geffner
https://doi.org/10.5281/zenodo.10037803; Zenodo
Code and Data for the KR 2023 paper “Learning General Policies with Policy Gradient Methods” (Version 1)
Simon Ståhlberg, Blai Bonet, Hector Geffner
https://doi.org/10.5281/zenodo.7993859; Zenodo
▼ 2022 (14)
Flexible FOND Planning with Explicit Fairness Assumptions
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
J. Artif. Intell. Res.
Target Languages (vs. Inductive Biases) for Learning to Act and Plan
Hector Geffner
Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width
Dominik Drexler, Jendrik Seipp, Hector Geffner
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits
Simon Ståhlberg, Blai Bonet, Hector Geffner
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022
Learning Generalized Policies without Supervision Using GNNs
Simon Ståhlberg, Blai Bonet, Hector Geffner
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022
Probabilistic and Causal Inference: The Works of Judea Pearl
Hector Geffner, Rina Dechter, Joseph Y. Halpern
ACM
Code and Data for Policy Sketches (Version 1)
Dominik Drexler, Jendrik Seipp, Hector Geffner
https://doi.org/10.5281/zenodo.6343567; Zenodo
Proofs, Code, and Data for the ICAPS 2022 Paper (Version 1)
Dominik Drexler, Jendrik Seipp, Hector Geffner
https://doi.org/10.5281/zenodo.6381593; Zenodo
Code and Data for the ICAPS 2022 paper “Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits” (Version 1)
Simon Ståhlberg, Blai Bonet, Hector Geffner
https://doi.org/10.5281/zenodo.6353141; Zenodo
Code and Data for the KR 2022 paper “Learning Generalized Policies Without Supervision Using GNNs” (Version 1)
Simon Ståhlberg, Blai Bonet, Hector Geffner
https://doi.org/10.5281/zenodo.6511810; Zenodo
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width: Extended Version
Dominik Drexler, Jendrik Seipp, Hector Geffner
CoRR
Learning First-Order Symbolic Planning Representations That Are Grounded
Andrés Occhipinti Liberman, Blai Bonet, Hector Geffner
CoRR
Learning Generalized Policies Without Supervision Using GNNs
Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
▼ 2021 (11)
General Policies, Representations, and Planning Width
Blai Bonet, Hector Geffner
Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021
Learning General Planning Policies from Small Examples Without Supervision
Guillem Francès, Blai Bonet, Hector Geffner
Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021
Flexible FOND Planning with Explicit Fairness Assumptions
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches
Dominik Drexler, Jendrik Seipp, Hector Geffner
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021
Learning First-Order Representations for Planning from Black Box States: New Results
Ivan D. Rodriguez, Blai Bonet, Javier Romero, Hector Geffner
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021
Learning General Policies from Small Examples Without Supervision
Guillem Francès, Blai Bonet, Hector Geffner
CoRR
Flexible FOND Planning with Explicit Fairness Assumptions
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
CoRR
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches: Extended Version
Dominik Drexler, Jendrik Seipp, Hector Geffner
CoRR
Learning First-Order Representations for Planning from Black-Box States: New Results
Ivan D. Rodriguez, Blai Bonet, Javier Romero, Hector Geffner
CoRR
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits
Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
▼ 2020 (5)
Qualitative Numeric Planning: Reductions and Complexity
Blai Bonet, Hector Geffner
J. Artif. Intell. Res.
Learning First-Order Symbolic Representations for Planning from the Structure of the State Space
Blai Bonet, Hector Geffner
ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)
High-level Programming via Generalized Planning and LTL Synthesis
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020
Source code and benchmarks for the paper “Learning General Policies from Small Examples Without Supervision” (Version 1.0.0)
Guillem Francès, Blai Bonet, Hector Geffner
https://doi.org/10.5281/zenodo.4322798; Zenodo
▼ 2019 (7)
Learning Features and Abstract Actions for Computing Generalized Plans
Blai Bonet, Guillem Francès, Hector Geffner
The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019
Learning First-Order Symbolic Planning Representations from Plain Graphs
Blai Bonet, Hector Geffner
CoRR
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
CoRR
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation
Blai Bonet, Hector Geffner
CoRR
▼ 2018 (9)
Planning With Pixels in (Almost) Real Time
Wilmer Bandres, Blai Bonet, Hector Geffner
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018
Compact Policies for Fully Observable Non-Deterministic Planning as SAT
Tomas Geffner, Hector Geffner
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018
Model-free, Model-based, and General Intelligence
Hector Geffner
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden
Features, Projections, and Representation Change for Generalized Planning
Blai Bonet, Hector Geffner
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden
Features, Projections, and Representation Change for Generalized Planning
Blai Bonet, Hector Geffner
CoRR
Compact Policies for Fully-Observable Non-Deterministic Planning as SAT
Tomas Geffner, Hector Geffner
CoRR
Learning Features and Abstract Actions for Computing Generalized Plans
Blai Bonet, Guillem Francès, Hector Geffner
CoRR
▼ 2017 (7)
Best-First Width Search: Exploration and Exploitation in Classical Planning
Nir Lipovetzky, Hector Geffner
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA
Multiagent Online Planning with Nested Beliefs and Dialogue
Filippos Kominis, Hector Geffner
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017
A Polynomial Planning Algorithm that Beats LAMA and FF
Nir Lipovetzky, Hector Geffner
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators
Guillem Francès, Miquel Ramı́rez, Nir Lipovetzky, Hector Geffner
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
Improving Plan Quality through Heuristics for Guiding and Pruning the Search: A Study Using LAMA
Francesco Percassi, Alfonso Emilio Gerevini, Hector Geffner
Proceedings of the Tenth International Symposium on Combinatorial Search, SOCS 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, USA
Combined Task and Motion Planning as Classical AI Planning
Jonathan Ferrer-Mestres, Guillem Francès, Hector Geffner
CoRR
▼ 2016 (5)
Traps, Invariants, and Dead-Ends
Nir Lipovetzky, Christian J. Muise, Hector Geffner
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016
Factored Probabilistic Belief Tracking
Blai Bonet, Hector Geffner
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016
$\exists$-STRIPS: Existential Quantification in Planning and Constraint Satisfaction
Guillem Francès, Hector Geffner
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016
Effective Planning with More Expressive Languages
Guillem Francès, Hector Geffner
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016
▼ 2015 (6)
Classical Planning Algorithms on the Atari Video Games
Nir Lipovetzky, Miquel Ramı́rez, Hector Geffner
Learning for General Competency in Video Games, Papers from the 2015 AAAI Workshop, Austin, Texas, USA, January 26, 2015
Width-Based Planning for General Video-Game Playing
Tomas Geffner, Hector Geffner
Proceedings of the Eleventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2015, November 14-18, 2015, University of California, Santa Cruz, CA, USA
Modeling and Computation in Planning: Better Heuristics from More Expressive Languages
Guillem Francès, Hector Geffner
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015
Beliefs In Multiagent Planning: From One Agent to Many
Filippos Kominis, Hector Geffner
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015
Classical Planning with Simulators: Results on the Atari Video Games
Nir Lipovetzky, Miquel Ramı́rez, Hector Geffner
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
Policies that Generalize: Solving Many Planning Problems with the Same Policy
Blai Bonet, Hector Geffner
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
▼ 2014 (7)
Belief Tracking for Planning with Sensing: Width, Complexity and Approximations
Blai Bonet, Hector Geffner
J. Artif. Intell. Res.
Flexible and Scalable Partially Observable Planning with Linear Translations
Blai Bonet, Hector Geffner
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada
Width-based Algorithms for Classical Planning: New Results
Nir Lipovetzky, Hector Geffner
ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)
Non-classical Planning with a Classical Planner: The Power of Transformations
Hector Geffner
Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
Héctor Palacios, Hector Geffner
CoRR
▼ 2013 (4)
A Concise Introduction to Models and Methods for Automated Planning
Hector Geffner, Blai Bonet
Morgan & Claypool Publishers
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation
Blai Bonet, Hector Geffner
IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners
Fabio Patrizi, Nir Lipovetzky, Hector Geffner
IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
▼ 2012 (3)
Action Selection for MDPs: Anytime AO* Versus UCT
Blai Bonet, Hector Geffner
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada
Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning
Blai Bonet, Hector Geffner
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada
Width and Serialization of Classical Planning Problems
Nir Lipovetzky, Hector Geffner
ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012
▼ 2011 (12)
The model-based approach to autonomous behavior: Prospects and challenges
Hector Geffner
Intelligenza Artificiale
Qualitative Numeric Planning
Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011
Effective Heuristics and Belief Tracking for Planning with Incomplete Information
Alexandre Albore, Miquel Ramı́rez, Hector Geffner
Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011
Heuristic Search for Generalized Stochastic Shortest Path MDPs
Andrey Kolobov, Mausam, Daniel S. Weld, Hector Geffner
Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011
Searching for Plans with Carefully Designed Probes
Nir Lipovetzky, Hector Geffner
Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011
Planning under Partial Observability by Classical Replanning: Theory and Experiments
Blai Bonet, Hector Geffner
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011
Computing Infinite Plans for LTL Goals Using a Classical Planner
Fabio Patrizi, Nir Lipovetzky, Giuseppe De Giacomo, Hector Geffner
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011
Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent
Miquel Ramı́rez, Hector Geffner
IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011
Inference and Learning in Planning
Hector Geffner
Inductive Logic Programming - 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, Revised Selected Papers
Artificial Intelligence Research and Development - Proceedings of the 14th International Conference of the Catalan Association for Artificial Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011
Cèsar Fernández, Hector Geffner, Felip Manyà
IOS Press
▼ 2010 (6)
Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners
Miquel Ramı́rez, Hector Geffner
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010
Automatic Derivation of Finite-State Machines for Behavior Control
Blai Bonet, Héctor Palacios, Hector Geffner
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010
The Model-Based Approach to Autonomous Behavior: A Personal View
Hector Geffner
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010
Compiling Uncertainty Away in Non-Deterministic Conformant Planning
Alexandre Albore, Héctor Palacios, Hector Geffner
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings
Planning with Incomplete Information - (Invited Paper)
Hector Geffner
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010
Ronen I. Brafman, Hector Geffner, Jörg Hoffmann, Henry A. Kautz
AAAI
▼ 2009 (10)
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
Héctor Palacios, Hector Geffner
J. Artif. Intell. Res.
Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners
Blai Bonet, Héctor Palacios, Hector Geffner
Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009
Inference and Decomposition in Planning Using Causal Consistent Chains
Nir Lipovetzky, Hector Geffner
Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009
Inference and Learning in Planning
Hector Geffner
Algorithmic Learning Theory, 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings
Inference and Learning in Planning (Extended Abstract)
Hector Geffner
Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009
A Translation-Based Approach to Contingent Planning
Alexandre Albore, Héctor Palacios, Hector Geffner
IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009
Solving POMDPs: RTDP-Bel vs. Point-based Algorithms
Blai Bonet, Hector Geffner
IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009
Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics
Emil Keyder, Hector Geffner
IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009
Plan Recognition as Planning
Miquel Ramı́rez, Hector Geffner
IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009
▼ 2008 (5)
Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
Blai Bonet, Hector Geffner
Artif. Intell.
Unifying the Causal Graph and Additive Heuristics
Malte Helmert, Hector Geffner
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008
AI at 50: From Programs to Solvers - Models and Techniques for General Intelligence
Hector Geffner
Artificial Intelligence Research and Development, Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2008, October 22-24, 2008, Sant Martı́ d’Empúries, Spain
Heuristics for Planning with Action Costs Revisited
Emil Keyder, Hector Geffner
ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings
Advances in Artificial Intelligence - IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings
Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David
Springer
▼ 2007 (4)
From Conformant into Classical Planning: Efficient Translations that May Be Complete Too
Héctor Palacios, Hector Geffner
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007
Fast and Informed Action Selection for Planning with Sensing
Alexandre Albore, Héctor Palacios, Hector Geffner
Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers
Heuristics for Planning with Action Costs
Emil Keyder, Hector Geffner
Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
Miquel Ramı́rez, Hector Geffner
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings
▼ 2006 (5)
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Vincent Vidal, Hector Geffner
Artif. Intell.
Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program
Wolfgang Achtner, Esma Aı̈meur, Sarabjot Singh Anand, Douglas E. Appelt, Naveen Ashish, Tiffany Barnes, Joseph E. Beck, M. Bernardine Dias, Prashant Doshi, Chris Drummond, William Elazmeh, Ariel Felner, Dayne Freitag, Hector Geffner, Christopher W. Geib, Richard Goodwin, Robert C. Holte, Frank Hutter, Fair Isaac, Nathalie Japkowicz, Gal A. Kaminka, Sven Koenig, Michail G. Lagoudakis, David B. Leake, Lundy Lewis, Hugo Liu, Ted Metzler, Rada Mihalcea, Bamshad Mobasher, Pascal Poupart, David V. Pynadath, Thomas Roth-Berghofer, Wheeler Ruml, Stefan Schulz, Sven Schwarz, Stephanie Seneff, Amit P. Sheth, Ron Sun, Michael Thielscher, Afzal Upal, Jason D. Williams, Steve J. Young, Dmitry Zelenko
AI Mag.
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
Héctor Palacios, Hector Geffner
Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA
Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs
Blai Bonet, Hector Geffner
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006
Heuristics for Planning with Penalties and Rewards using Compiled Knowledge
Blai Bonet, Hector Geffner
Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006
▼ 2005 (7)
mGPT: A Probabilistic Planner Based on Heuristic Search
Blai Bonet, Hector Geffner
J. Artif. Intell. Res.
New Admissible Heuristics for Domain-Independent Planning
Patrik Haslum, Blai Bonet, Hector Geffner
Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA
An Algorithm Better than AO*?
Blai Bonet, Hector Geffner
Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations
Héctor Palacios, Blai Bonet, Adnan Darwiche, Hector Geffner
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA
Mapping Conformant Planning into SAT Through Compilation and Projection
Héctor Palacios, Hector Geffner
Current Topics in Artificial Intelligence, 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers
Search and Inference in AI Planning
Hector Geffner
Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings
Solving Simple Planning Problems with More Inference and No Search
Vincent Vidal, Hector Geffner
Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings
▼ 2004 (4)
Learning Generalized Policies from Planning Examples Using Concept Languages
Mario Martı́n, Hector Geffner
Appl. Intell.
Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming
Vincent Vidal, Hector Geffner
Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA
Planning Graphs and Knowledge Compilation
Hector Geffner
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), June 3-7 2004, Whistler, British Columbia, Canada
Planning Graphs and Knowledge Compilation
Hector Geffner
Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004
▼ 2003 (4)
Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming
Blai Bonet, Hector Geffner
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy
Branching Matters: Alternative Branching in Graphplan
Jörg Hoffmann, Hector Geffner
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy
Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback
Blai Bonet, Hector Geffner
IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003
▼ 2002 (1)
Perspectives on Artificial Intelligence Planning
Hector Geffner
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada
▼ 2001 (4)
Planning and Control in Artificial Intelligence: A Unifying Perspective
Blai Bonet, Hector Geffner
Appl. Intell.
Planning with Uncertainty and Incomplete Information
Hector Geffner
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings
▼ 2000 (5)
The AIPS-98 Planning Competition
Derek Long, Henry A. Kautz, Bart Selman, Blai Bonet, Hector Geffner, Jana Koehler, Michael Brenner, Jörg Hoffmann, Frank Rittinger, Corin R. Anderson, Daniel S. Weld, David E. Smith, Maria Fox
AI Mag.
Planning with Incomplete Information as Heuristic Search in Belief Space
Blai Bonet, Hector Geffner
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, Breckenridge, CO, USA, April 14-17, 2000
Admissible Heuristics for Optimal Planning
Patrik Haslum, Hector Geffner
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, Breckenridge, CO, USA, April 14-17, 2000
Independence in qualitative uncertainty frameworks
Nahla Ben Amor, Salem Benferhat, Didier Dubois, Hector Geffner, Henri Prade
KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000
Learning Generalized Policies in Planning Using Concept Languages
Mario Martı́n, Hector Geffner
KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000
▼ 1999 (1)
Planning as Heuristic Search: New Results
Blai Bonet, Hector Geffner
Recent Advances in AI Planning, 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999, Proceedings
▼ 1998 (3)
Modeling Action, Knowledge and Control
Hector Geffner, Jacques Wainer
13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings
Modelling Intelligent Behaviour: The Markov Decision Process Approach
Hector Geffner
Progress in Artificial Intelligence - IBERAMIA 98, 6th Ibero-American Conference on AI, Lisbon, Portugal, October 5-9, 1998, Proceedings
Learning Sorting and Decision Trees with POMDPs
Blai Bonet, Hector Geffner
Proceedings of the Fifteenth International Conference on Machine Learning (ICML 1998), Madison, Wisconsin, USA, July 24-27, 1998
▼ 1997 (2)
A Robust and Fast Action Selection Mechanism for Planning
Blai Bonet, Gábor Loerincs, Hector Geffner
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 97, IAAI 97, July 27-31, 1997, Providence, Rhode Island, USA
Causality, Constraints and Indirect Effects
Hector Geffner
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes
▼ 1996 (3)
A Qualitative Model for Temporal Reasoning with Incomplete Information
Hector Geffner
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI 96, IAAI 96, Portland, Oregon, USA, August 4-8, 1996, Volume 2
A Formal Framework for Clausal Modeling and Argumentation
Hector Geffner
Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR ’96, Bonn, Germany, June 3-7, 1996, Proceedings
Arguing for Decisions: A Qualitative Model of Decision Making
Blai Bonet, Hector Geffner
UAI ’96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, Reed College, Portland, Oregon, USA, August 1-4, 1996
▼ 1995 (1)
Sound and Efficient Non-monotonic Inference
Hector Geffner, Jimena Llopis, Gisela Mendez
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes
▼ 1994 (1)
Causal Default Reasoning: Principles and Algorithms
Hector Geffner
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31 - August 4, 1994, Volume 1
▼ 1992 (3)
Default reasoning - causal and conditional theories
Hector Geffner
MIT Press
Conditional Entailment: Bridging two Approaches to Default Reasoning
Hector Geffner, Judea Pearl
Artif. Intell.
▼ 1991 (1)
Beyond Negation as Failure
Hector Geffner
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR’91). Cambridge, MA, USA, April 22-25, 1991
▼ 1990 (1)
Causal Theories for Nonmonotonic Reasoning
Hector Geffner
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes
▼ 1989 (1)
Default Reasoning, Minimality and Coherence
Hector Geffner
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR’89). Toronto, Canada, May 15-18 1989
▼ 1988 (1)
On the Logic of Defaults
Hector Geffner
Proceedings of the 7th National Conference on Artificial Intelligence, St. Paul, MN, USA, August 21-26, 1988
▼ 1987 (1)
An Improved Constraint-Propagation Algorithm for Diagnosis
Hector Geffner, Judea Pearl
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, Italy, August 23-28, 1987