Enhancing Constraint Models for Planning Problems

Keywords

Constraint satisfaction problem, Boolean satisfiability problem, Satisfiability, Constraint satisfaction, Formalism (music)

References

• Generalizing GraphPlan by Formulating Planning as a CSPAdriana Lopez, Fahiem Bacchus — 2003
• Automated Planning: Theory and PracticeStefan Edelkamp — 2007
• Programming Languages: Implementations, Logics, and ProgramsHerbert Kuchen, S. Doaitse Swierstra — 1996
• Adaptive Control for Autonomous Underwater VehiclesConor McGann, Frédéric Py, Kanna Rajan — 2008
• Planning as SatisfiabilityHenry Kautz, Bart Selman — 1992
• Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical SystemsAlex M. Andrew — 2002
• Solving Planning-Graph by Compiling It into CSPMinh Binh, Subbarao Kambhampati — 2000
• Fast Planning Through Planning Graph AnalysisAvrim Blum, Merrick L. Furst — 1995
• COMPLEXITY RESULTS FOR SAS+ PLANNINGChrister Bäckström, Bernhard Nebel — 1995
• Remote Agent: To Boldly Go Where No AI System Has Gone BeforeNicola Muscettola, P. Pandurang Nayak, Barney Pell — 1998
• On-line Planning and Scheduling for High-speed ManufacturingWheeler Ruml, B. Minh, Markus P. J. Fromherz — 2005
• Branching and pruning: An optimal temporal POCL planner based on constraint programmingVincent Vidal, Héctor Geffner — 2004
• Reformulating Constraint Models for Classical PlanningRoman Barták, Daniel Toropila — 2008
• The Fast Downward Planning SystemM. Helmert — 2006
• Plan Permutation Symmetries as a Source of Planner InefficiencyD. Long, M. Fox — 2003
• Branching and pruning: an optimal temporal POCL planner based on constraint programmingVincent Vidal, Héctor Geffner — 2004
• Constraint ProcessingR. Barták — 2009
• An Open-Ended Finite Domain Constraint SolverM. Carlsson, G. Ottosson, Björn Carlson — 1997

Cited by

• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 ProceedingsPascal Van Hentenryck, Laurence A. Wolsey — 2009
• Coordinating the web of services for a smart homeEirini Kaldeli, Ehsan Ullah Warriach, Alexander Lazovik — 2013
• Heuristically guided constraint satisfaction for AI planningMark Judge — 2015
• Integrating Constraint Models for Sequential and Partial-Order PlanningRoman Barták, Daniel Toropila — 2009
• Transition Constraints for Parallel PlanningNina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton — 2015
• Domain-independent planning for services in uncertain and dynamic environmentsEirini Kaldeli, Alexander Lazovik, Marco Aiello — 2016
• Encoding Domain Transitions for Constraint-Based PlanningNina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton — 2017
• University of Groningen Coordinating the Web of Services for a Smart Home Kaldeli,E.U. Warriach, Ehsan Ullah, Eirini Kaldeli — 2018
• Coordinating the Web of Services for a Smart HomeEirini Kaldeli, E. Warriach, Alexander Lazovik — 2013
• Constraint Models for Sequential PlanningR. Barták, D. Toropila — 2009
• Revisiting Constraint Models for Planning ProblemsR. Barták, D. Toropila — 2009

Related papers

• Solving Sequential Planning Problems via Constraint SatisfactionRoman Barták, Daniel Toropila — 2010
• Reformulating Constraint Models for Classical PlanningRoman Barták, Daniel Toropila — 2008
• Automated planning - theory and practiceMalik Ghallab, Dana Nau, Paolo Traverso — 2004
• Generalizing GraphPlan by Formulating Planning as a CSPAdriana Lopez, Fahiem Bacchus — 2003
• Integrating Constraint Models for Sequential and Partial-Order PlanningRoman Barták, Daniel Toropila — 2009
• Branching and pruning: An optimal temporal POCL planner based on constraint programmingVincent Vidal, Héctor Geffner — 2004