Hector Geffner

CoRR, 2019

Learning First-Order Symbolic Planning Representations from Plain Graphs.

[BibT_eX]

[DOI]

CoRR, 2019

Learning Features and Abstract Actions for Computing Generalized Plans.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Model-free, Model-based, and General Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Features, Projections, and Representation Change for Generalized Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Compact Policies for Fully Observable Non-Deterministic Planning as SAT.

[BibT_eX]

[DOI]

Tomas Geffner

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Planning With Pixels in (Almost) Real Time.

[BibT_eX]

[DOI]

Wilmer Bandres

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Combined Task and Motion Planning as Classical AI Planning.

[BibT_eX]

[DOI]

Jonathan Ferrer-Mestres

CoRR, 2017

Improving Plan Quality through Heuristics for Guiding and Pruning the Search: A Study Using LAMA.

[BibT_eX]

[DOI]

Francesco Percassi

Alfonso Emilio Gerevini

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Polynomial Planning Algorithm that Beats LAMA and FF.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

Multiagent Online Planning with Nested Beliefs and Dialogue.

[BibT_eX]

[DOI]

Filippos Kominis

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

Best-First Width Search: Exploration and Exploitation in Classical Planning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Heuristics for Planning, Plan Recognition and Parsing.

[BibT_eX]

[DOI]

CoRR, 2016

Effective Planning with More Expressive Languages.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Factored Probabilistic Belief Tracking.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Traps, Invariants, and Dead-Ends.

[BibT_eX]

[DOI]

Christian J. Muise

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

Classical Planning with Simulators: Results on the Atari Video Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Policies that Generalize: Solving Many Planning Problems with the Same Policy.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Beliefs In Multiagent Planning: From One Agent to Many.

[BibT_eX]

[DOI]

Filippos Kominis

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Modeling and Computation in Planning: Better Heuristics from More Expressive Languages.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Width-Based Planning for General Video-Game Playing.

[BibT_eX]

[DOI]

Tomas Geffner

Proceedings of the Eleventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2015

Classical Planning Algorithms on the Atari Video Games.

[BibT_eX]

[DOI]

Proceedings of the Learning for General Competency in Video Games, 2015

2014

Belief Tracking for Planning with Sensing: Width, Complexity and Approximations.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

Artificial Intelligence: From programs to solvers.

[BibT_eX]

[DOI]

AI Commun., 2014

Non-classical Planning with a Classical Planner: The Power of Transformations.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Width-based Algorithms for Classical Planning: New Results.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Flexible and Scalable Partially Observable Planning with Linear Translations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

A Concise Introduction to Models and Methods for Automated Planning

[BibT_eX]

[DOI]

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01564-9, 2013

Fair LTL Synthesis for Non-Deterministic Systems using Strong Cyclic Planners.

[BibT_eX]

[DOI]

Fabio Patrizi

Proceedings of the IJCAI 2013, 2013

Causal Belief Decomposition for Planning with Sensing: Completeness Results and Practical Approximation.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

Width and Serialization of Classical Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Action Selection for MDPs: Anytime AO* Versus UCT.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

The model-based approach to autonomous behavior: Prospects and challenges.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

Goal Recognition over POMDPs: Inferring the Intention of a POMDP Agent.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Computing Infinite Plans for LTL Goals Using a Classical Planner.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Planning under Partial Observability by Classical Replanning: Theory and Experiments.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Searching for Plans with Carefully Designed Probes.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Heuristic Search for Generalized Stochastic Shortest Path MDPs.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Effective Heuristics and Belief Tracking for Planning with Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

Qualitative Numeric Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Planning with Incomplete Information - (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Compiling Uncertainty Away in Non-Deterministic Conformant Planning.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

The Model-Based Approach to Autonomous Behavior: A Personal View.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

Automatic Derivation of Finite-State Machines for Behavior Control.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

Soft Goals Can Be Compiled Away.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

Plan Recognition as Planning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Trees of Shortest Paths vs. Steiner Trees: Understanding and Improving Delete Relaxation Heuristics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Solving POMDPs: RTDP-Bel vs. Point-based Algorithms.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

A Translation-Based Approach to Contingent Planning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Inference and Learning in Planning (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 12th International Conference, 2009

Inference and Learning in Planning.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 20th International Conference, 2009

Inference and Decomposition in Planning Using Causal Consistent Chains.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Heuristics for planning with penalties and rewards formulated in logic and computed through circuits.

[BibT_eX]

[DOI]

Artif. Intell., 2008

Heuristics for Planning with Action Costs Revisited.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

AI at 50: From Programs to Solvers - Models and Techniques for General Intelligence.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research and Development, 2008

Unifying the Causal Graph and Additive Heuristics.

[BibT_eX]

[DOI]

Malte Helmert

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

2007

Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

Heuristics for Planning with Action Costs.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2007

Fast and Informed Action Selection for Planning with Sensing.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2007

From Conformant into Classical Planning: Efficient Translations that May Be Complete Too.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2006

Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program.

[BibT_eX]

[DOI]

AI Mag., 2006

Branching and pruning: An optimal temporal POCL planner based on constraint programming.

[BibT_eX]

[DOI]

Vincent Vidal

Artif. Intell., 2006

Heuristics for Planning with Penalties and Rewards using Compiled Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Learning Depth-First Search: A Unified Approach to Heuristic Search in Deterministic and Non-Deterministic Settings, and Its Application to MDPs.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes).

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

mGPT: A Probabilistic Planner Based on Heuristic Search.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2005

Solving Simple Planning Problems with More Inference and No Search.

[BibT_eX]

[DOI]

Vincent Vidal

Proceedings of the Principles and Practice of Constraint Programming, 2005

Search and Inference in AI Planning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

Mapping Conformant Planning into SAT Through Compilation and Projection.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2005

Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

New Admissible Heuristics for Domain-Independent Planning.

[BibT_eX]

[DOI]

Patrik Haslum

Proceedings of the Proceedings, 2005

An Algorithm Better than AO*?

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Learning Generalized Policies from Planning Examples Using Concept Languages.

[BibT_eX]

[DOI]

Mario Martín

Appl. Intell., 2004

Planning Graphs and Knowledge Compilation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

PDDL 2.1: Representation vs. Computation.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2003

Faster Heuristic Search Algorithms for Planning with Uncertainty and Full Feedback.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Branching Matters: Alternative Branching in Graphplan.

[BibT_eX]

[DOI]

Jörg Hoffmann

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002

Perspectives on Artificial Intelligence Planning.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Planning and Control in Artificial Intelligence: A Unifying Perspective.

[BibT_eX]

[DOI]

Appl. Intell., 2001

Heuristic Search Planner 2.0.

[BibT_eX]

[DOI]

AI Mag., 2001

Planning as heuristic search.

[BibT_eX]

[DOI]

Artif. Intell., 2001

Planning with Uncertainty and Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000

The AIPS-98 Planning Competition.

[BibT_eX]

[DOI]

AI Mag., 2000

Learning Generalized Policies in Planning Using Concept Languages.

[BibT_eX]

Mario Martín

Proceedings of the KR 2000, 2000

Independence in qualitative uncertainty frameworks.

[BibT_eX]

Proceedings of the KR 2000, 2000

Admissible Heuristics for Optimal Planning.

[BibT_eX]

[DOI]

Patrik Haslum

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

Planning with Incomplete Information as Heuristic Search in Belief Space.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999

Planning as Heuristic Search: New Results.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

1998

Learning Sorting and Decision Trees with POMDPs.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Machine Learning (ICML 1998), 1998

Modelling Intelligent Behaviour: The Markov Decision Process Approach.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1998

Modeling Action, Knowledge and Control.

[BibT_eX]

Jacques Wainer

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

Causality, Constraints and Indirect Effects.

[BibT_eX]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

A Robust and Fast Action Selection Mechanism for Planning.

[BibT_eX]

[DOI]

Gábor Loerincs

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Arguing for Decisions: A Qualitative Model of Decision Making.

[BibT_eX]

[DOI]

Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

A Formal Framework for Clausal Modeling and Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

A Qualitative Model for Temporal Reasoning with Incomplete Information.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Sound and Efficient Non-monotonic Inference.

[BibT_eX]

[DOI]