Planning for conjunctive goals
Artificial Intelligence
Planning as search: a quantitative approach
Artificial Intelligence
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Partial-order planning: evaluating possible efficiency gains
Artificial Intelligence
Fast planning through planning graph analysis
Artificial Intelligence
Extending Planning Graphs to an ADL Subset
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Commitment strategies in planning: a comparative analysis
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Admissible pruning strategies based on plan minimality for plan-space planning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
A robust and fast action selection mechanism for planning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Planning as constraint satisfaction: solving the planning graph by compiling it into CSP
Artificial Intelligence
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Binary vs. non-binary constraints
Artificial Intelligence
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Petriplan: A New Algorithm for Plan Generation (Preliminary Report)
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Beyond the Plan-Length Criterion
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Reformulating Propositional Satisfiability as Constraint Satisfaction
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Combining linear programming and satisfiability solving for resource planning
The Knowledge Engineering Review
A resource based framework for planning and replanning
Web Intelligence and Agent Systems
IEEE Intelligent Systems
Automated resource-driven mission phasing techniques for constrained agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Branching and pruning: an optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Modelling and solving English Peg Solitaire
Computers and Operations Research
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Exploiting automatically inferred constraint-models for building identification in satellite imagery
Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems
Long-distance mutual exclusion for planning
Artificial Intelligence
Constraint-Based Multi-agent Path Planning
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Hierarchical Classifiers for Complex Spatio-temporal Concepts
Transactions on Rough Sets IX
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
Modeling choices in quasigroup completion: SAT vs. CSP
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Branching and pruning: an optimal temporal POCL planner based on constraint programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
A constraint satisfaction approach to geospatial reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Filtering, decomposition and search space reduction for optimal sequential planning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Conflict-directed backjumping revisited
Journal of Artificial Intelligence Research
Unifying SAT-based and graph-based planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Long-distance mutual exclusion for propositional planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Generalizing GraphPlan by formulating planning as a CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Reformulating CSPs for scalability with application to geospatial reasoning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
Slice encoding for constraint-based planning
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Solving Sequential Planning Problems via Constraint Satisfaction
Fundamenta Informaticae - Methodologies for Intelligent Systems
New methods for proving the impossibility to solve problems through reduction of problem spaces
Annals of Mathematics and Artificial Intelligence
The Knowledge Engineering Review
The Knowledge Engineering Review
Resource-driven mission-phasing techniques for constrained agents in stochastic environments
Journal of Artificial Intelligence Research
A weighted CSP approach to cost-optimal planning
AI Communications
A toolkit for the realization of constraint-based multiagent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Constraint programming on infinite data streams
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Combining static and dynamic models for boosting forward planning
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Automating the evaluation of planning systems
AI Communications
| Hi-index | 0.00 |
Constraint programming, a methodology for solving difficult combinatorial problems by representing them as constraint satisfaction problems, has shown that a general purpose search algorithm based on constraint propagation combined with an emphasis on modeling can solve large, practical scheduling problems. Given the success of constraint programming on scheduling problems and the similarity of scheduling to planning, the question arises, would a constraint programming approach work as well in planning? In this paper, we present evidence that a constraint programming approach to planning does indeed work well and has the advantage in terms of time and space efficiency over the current state-of-the-art planners.