The Fast Downward Planning System

Keywords

Heuristics, Incremental heuristic search, Heuristic, Axiom, Task (project management)

References

• Reviving Integer Programming Approaches for AI Planning: A Branch-and-Cut FrameworkMenkes van den Briel, Thomas Vossen, Subbarao Kambhampati — 2005
• Local Search Topology in Planning Benchmarks: An Empirical AnalysisJörg Hoffmann — 2001
• A Reactive Planner for a Model-based ExecutiveBrian C. Williams, P. Pandurang Nayak — 1997
• The FF Planning System: Fast Plan Generation Through Heuristic SearchJ. Hoffmann, Bernhard Nebel — 2011
• Tractable plan existence does not imply tractable plan generationPeter Jönsson, Christer Bäckström — 1998
• A* with Partial Expansion for Large Branching Factor ProblemsTakayuki Yoshizumi, Teruhisa Miura, Toru Ishida — 2000
• State-Variable Planning Under Structural Restrictions: Algorithms and ComplexityPeter Jönsson, Christer Bäckström — 1998
• Planning in a Hierarchy of Abstraction SpacesEarl D. Sacerdoti — 1974
• Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn FormulaeWilliam F. Dowling, Jean Gallier — 1984
• Downward Refinement and the Efficiency of Hierarchical Problem SolvingFahiem Bacchus, Qiang Yang — 1994
• A Theoretical Analysis of Conjunctive-Goal ProblemsDavid Joslin, John Roach — 1989
• COMPLEXITY RESULTS FOR SAS+ PLANNINGChrister Bäckström, Bernhard Nebel — 1995
• Automatically Generating Abstractions for PlanningCraig A. Knoblock — 1994
• The Computational Complexity of Propositional STRIPS PlanningTom Bylander — 1994
• Planning as Search: A Quantitative ApproachRichard E. Korf — 1987
• Strucutre and Complexity in Planning with Unary OperatorsRonen I. Brafman, Carmel Domshlak — 2002
• PDDL2.1: An Extension to PDDL for Expressing Temporal Planning DomainsMaria Fox, Derek Long — 2003
• Planning as heuristic searchBlai Bonet, Héctor Geffner — 2001
• The HARPY speech recognition systemB. Lowerre — 1976
• The Deterministic Part of IPC-4: An OverviewJörg Hoffmann, Stefan Edelkamp — 2005

Cited by

• Preferences, Planning and ControlRonen I. Brafman — 2008
• Act Local, Think Global: Width Notions for Tractable PlanningHubie Chen, Omer Giménez — 2007
• Structural Patterns Heuristics via Fork DecompositionMichael Katz, Carmel Domshlak — 2008
• Evaluating Diversity in Classical PlanningMark Roberts, Adele E. Howe, Indrajit Ray — 2014
• PLANNING, ACTING, AND LEARNING IN INCOMPLETE DOMAINSChristopher H. Weber — 2012
• Reviving Integer Programming Approaches for AI Planning: A Branch-and-Cut FrameworkMenkes van den Briel, Thomas Vossen, Subbarao Kambhampati — 2005
• AI Planning-Based Service Modeling for the Internet of ThingsQuentin Bahers — 2015
• Hierarchical Methods for Optimal Long-Term PlanningStuart Russell, Jason Wolfe — 2011
• Improved Features for Runtime Prediction of Domain-Independent PlannersChris Fawcett, Mauro Vallati, Frank Hutter — 2014
• On the Hardness of Planning Problems with Simple Causal GraphsOmer Giménez, Anders Jönsson — 2007
• Inference and Decomposition in Planning Using Causal Consistent ChainsNir Lipovetzky, Héctor Geffner — 2009
• Challenges of Portfolio-based PlanningMauro Vallati, Diane E. Kitchin — 2012
• Structural Patterns of Tractable Sequentially-Optimal PlanningMichael Katz, Carmel Domshlak — 2007
• Enhancing Constraint Models for Planning ProblemsRoman Barták, Daniel Toropila — 2009
• A Planning Approach to Active Visual Search in Large EnvironmentsMoritz Göbelbecker, Alper Aydemir, Andrzej Pronobis — 2011
• Evaluating Temporal Planning DomainsWilliam Cushing, Subbarao Kambhampati, Kartik Talamadupula — 2007
• The Model-Based Approach to Autonomous Behavior: A Personal ViewHéctor Geffner — 2010
• Monte-Carlo Exploration for Deterministic PlanningHootan Nakhost, Martin Müller — 2009
• Partial Order Reduction for PlanningYou Xu — 2009
• Useless Actions Are UsefulMartin Wehrle, Sebastian Kupferschmid, Andreas Podelski — 2008

Related papers

No related papers recorded.