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
Link

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
Link
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
Link
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
Link
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
Link
Learning Lifted Action Models From Traces of Incomplete Actions and States
Niklas Jansen, Jonas Gösgens, Hector Geffner
CoRR
Link
Learning General Policies From Examples
Blai Bonet, Hector Geffner
CoRR
Link
From Next Token Prediction to (STRIPS) World Models - Preliminary Results
Carlos Núñez-Molina, Vicenç Gómez, Hector Geffner
CoRR
Link
First-Order Representation Languages for Goal-Conditioned RL
Simon Ståhlberg, Hector Geffner
CoRR
Link
Learning General Policies with Policy Gradient Methods
Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
Link

2024 (18)


General Policies, Subgoal Structure, and Planning Width
Blai Bonet, Hector Geffner
J. Artif. Intell. Res.
Link
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches
Dominik Drexler, Jendrik Seipp, Hector Geffner
J. Artif. Intell. Res.
Link
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
Link
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
Link
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
Link
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
Link
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
Link
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
Link
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
Link
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
Link
Learning general policies for classical planning domains: Getting beyond c${}_{\mbox{2}}$
Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
Link
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
Link
On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies
Blai Bonet, Dominik Drexler, Hector Geffner
CoRR
Link
Learning Generalized Policies for Fully Observable Non-Deterministic Planning Domains
Till Hofmann, Hector Geffner
CoRR
Link
Symmetries and Expressive Requirements for Learning General Policies
Dominik Drexler, Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
Link
Learning to Ground Existentially Quantified Goals
Martin Funkquist, Simon Ståhlberg, Hector Geffner
CoRR
Link
Learning Lifted STRIPS Models from Action Traces Alone: A Simple, General, and Scalable Solution
Jonas Gösgens, Niklas Jansen, Hector Geffner
CoRR
Link
Learning Sketch Decompositions in Planning via Deep Reinforcement Learning
Michael Aichmüller, Hector Geffner
CoRR
Link

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
Link
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
Link
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
Link
Code and Data for Learning Hierarchical Policies (Version 1)
Dominik Drexler, Jendrik Seipp, Hector Geffner
https://doi.org/10.5281/zenodo.7725702; Zenodo
Link
Code and Data for Learning Hierarchical Policies (Version 2)
Dominik Drexler, Jendrik Seipp, Hector Geffner
https://doi.org/10.5281/zenodo.8102477; Zenodo
Link
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
Link
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
Link
General Policies, Subgoal Structure, and Planning Width
Blai Bonet, Hector Geffner
CoRR
Link

2022 (14)


Flexible FOND Planning with Explicit Fairness Assumptions
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
J. Artif. Intell. Res.
Link
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
Link
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
Link
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
Link
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
Link
Probabilistic and Causal Inference: The Works of Judea Pearl
Hector Geffner, Rina Dechter, Joseph Y. Halpern
ACM
Link
Code and Data for Policy Sketches (Version 1)
Dominik Drexler, Jendrik Seipp, Hector Geffner
https://doi.org/10.5281/zenodo.6343567; Zenodo
Link
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
Link
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
Link
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
Link
Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width: Extended Version
Dominik Drexler, Jendrik Seipp, Hector Geffner
CoRR
Link
Learning First-Order Symbolic Planning Representations That Are Grounded
Andrés Occhipinti Liberman, Blai Bonet, Hector Geffner
CoRR
Link
Learning Generalized Policies Without Supervision Using GNNs
Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
Link
Language-Based Causal Representation Learning
Blai Bonet, Hector Geffner
CoRR
Link

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
Link
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
Link
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
Link
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
Link
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
Link
Learning General Policies from Small Examples Without Supervision
Guillem Francès, Blai Bonet, Hector Geffner
CoRR
Link
Flexible FOND Planning with Explicit Fairness Assumptions
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardiña, Hector Geffner
CoRR
Link
Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches: Extended Version
Dominik Drexler, Jendrik Seipp, Hector Geffner
CoRR
Link
Learning First-Order Representations for Planning from Black-Box States: New Results
Ivan D. Rodriguez, Blai Bonet, Javier Romero, Hector Geffner
CoRR
Link
Target Languages (vs. Inductive Biases) for Learning to Act and Plan
Hector Geffner
CoRR
Link
Learning General Optimal Policies with Graph Neural Networks: Expressive Power, Transparency, and Limits
Simon Ståhlberg, Blai Bonet, Hector Geffner
CoRR
Link

2020 (5)


Qualitative Numeric Planning: Reductions and Complexity
Blai Bonet, Hector Geffner
J. Artif. Intell. Res.
Link
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)
Link
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
Link
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
Link
General Policies, Serializations, and Planning Width
Blai Bonet, Hector Geffner
CoRR
Link

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
Link
Learning First-Order Symbolic Planning Representations from Plain Graphs
Blai Bonet, Hector Geffner
CoRR
Link
Action Selection for MDPs: Anytime AO* vs. UCT
Blai Bonet, Hector Geffner
CoRR
Link
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
CoRR
Link
Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation
Blai Bonet, Hector Geffner
CoRR
Link
Factored Probabilistic Belief Tracking
Blai Bonet, Hector Geffner
CoRR
Link
Qualitative Numeric Planning: Reductions and Complexity
Blai Bonet, Hector Geffner
CoRR
Link

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
Link
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
Link
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
Link
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
Link
Planning with Pixels in (Almost) Real Time
Wilmer Bandres, Blai Bonet, Hector Geffner
CoRR
Link
Features, Projections, and Representation Change for Generalized Planning
Blai Bonet, Hector Geffner
CoRR
Link
Model-free, Model-based, and General Intelligence
Hector Geffner
CoRR
Link
Compact Policies for Fully-Observable Non-Deterministic Planning as SAT
Tomas Geffner, Hector Geffner
CoRR
Link
Learning Features and Abstract Actions for Computing Generalized Plans
Blai Bonet, Guillem Francès, Hector Geffner
CoRR
Link

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
Link
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
Link
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
Link
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
Link
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
Link
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
Link
Combined Task and Motion Planning as Classical AI Planning
Jonathan Ferrer-Mestres, Guillem Francès, Hector Geffner
CoRR
Link

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
Link
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
Link
$\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
Link
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
Link
Heuristics for Planning, Plan Recognition and Parsing
Miquel Ramı́rez, Hector Geffner
CoRR
Link

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
Link
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
Link
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
Link
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
Link
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
Link
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
Link

2014 (7)


Artificial Intelligence: From programs to solvers
Hector Geffner
AI Commun.
Link
Belief Tracking for Planning with Sensing: Width, Complexity and Approximations
Blai Bonet, Hector Geffner
J. Artif. Intell. Res.
Link
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
Link
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)
Link
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
Link
Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
Héctor Palacios, Hector Geffner
CoRR
Link
Soft Goals Can Be Compiled Away
Emil Keyder, Hector Geffner
CoRR
Link

2013 (4)


A Concise Introduction to Models and Methods for Automated Planning
Hector Geffner, Blai Bonet
Morgan & Claypool Publishers
Link
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
Link
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
Link
Arguing for Decisions: A Qualitative Model of Decision Making
Blai Bonet, Hector Geffner
CoRR
Link

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
Link
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
Link
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
Link

2011 (12)


The model-based approach to autonomous behavior: Prospects and challenges
Hector Geffner
Intelligenza Artificiale
Link
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
Link
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
Link
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
Link
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
Link
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
Link
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
Link
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
Link
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
Link
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
Link
mGPT: A Probabilistic Planner Based on Heuristic Search
Blai Bonet, Hector Geffner
CoRR
Link
PDDL 2.1: Representation vs. Computation
Hector Geffner
CoRR
Link

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
Link
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
Link
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
Link
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
Link
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
Link
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.
Link
Soft Goals Can Be Compiled Away
Emil Keyder, Hector Geffner
J. Artif. Intell. Res.
Link
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
Link
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
Link
Inference and Learning in Planning
Hector Geffner
Algorithmic Learning Theory, 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings
Link
Inference and Learning in Planning (Extended Abstract)
Hector Geffner
Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009
Link
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
Link
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
Link
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
Link
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
Link

2008 (5)


Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
Blai Bonet, Hector Geffner
Artif. Intell.
Link
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
Link
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
Link
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
Link
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
Link

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
Link
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
Link
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
Link
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
Link

2006 (5)


Branching and pruning: An optimal temporal POCL planner based on constraint programming
Vincent Vidal, Hector Geffner
Artif. Intell.
Link
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.
Link
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
Link
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
Link
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
Link

2005 (7)


mGPT: A Probabilistic Planner Based on Heuristic Search
Blai Bonet, Hector Geffner
J. Artif. Intell. Res.
Link
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
Link
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
Link
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
Link
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
Link
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
Link
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
Link

2004 (4)


Learning Generalized Policies from Planning Examples Using Concept Languages
Mario Martı́n, Hector Geffner
Appl. Intell.
Link
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
Link
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
Link
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
Link

2003 (4)


PDDL 2.1: Representation vs. Computation
Hector Geffner
J. Artif. Intell. Res.
Link
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
Link
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
Link
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
Link

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
Link

2001 (4)


Planning as heuristic search
Blai Bonet, Hector Geffner
Artif. Intell.
Link
Heuristic Search Planner 2.0
Blai Bonet, Hector Geffner
AI Mag.
Link
Planning and Control in Artificial Intelligence: A Unifying Perspective
Blai Bonet, Hector Geffner
Appl. Intell.
Link
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
Link

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.
Link
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
Link
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
Link
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
Link

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
Link
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
Link
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
Link
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
Link
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
Link

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
Link

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
Link

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.
Link
High-probabilities, model-preference and default arguments
Hector Geffner
Minds Mach.
Link

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
Link

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
Link

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
Link