An algorithm for solving the job-shop problem
Management Science
Artificial Intelligence - Special issue on knowledge representation
Constraint satisfaction using constraint logic programming
Artificial Intelligence - Special volume on constraint-based reasoning
Improved CLP scheduling with task intervals
Proceedings of the eleventh international conference on Logic programming
Temporal planning with continuous change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Artificial Intelligence - Special volume on planning and scheduling
Universal classical planner: an algorithm for unifying state-space and plan-space planning
New directions in AI planning
The OPL optimization programming language
The OPL optimization programming language
On the utility of plan-space (causal) encodings
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
CPlan: a constraint programming approach to planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
CLAIRE: combining sets, search and rules to better express algorithms
Proceedings of the 1999 international conference on Logic programming
Solving TSP with time windows with constraints
Proceedings of the 1999 international conference on Logic programming
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Artificial Intelligence - Special issue on heuristic search in artificial intelligence
Constraint-Based Scheduling
Temporal Planning with Mutual Exclusion Reasoning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Extending Planning Graphs to an ADL Subset
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Branching and pruning: an optimal temporal POCL planner based on constraint programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
The 3rd international planning competition: results and analysis
Journal of Artificial Intelligence Research
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
VHPOP: versatile heuristic partial order planner
Journal of Artificial Intelligence Research
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Unifying SAT-based and graph-based planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Reviving partial order planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Planning with sharable resource constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Is "early commitment" in plan generation ever a good idea?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
AAAI'91 Proceedings of the ninth National 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
Limits and Possibilities of BDDs in State Space Search
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
EvoCOP '09 Proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimization
RFID Technology and AI Techniques for People Location, Orientation and Guiding
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Adaptation versus Retrieval Trade-Off Revisited: An Analysis of Boundary Conditions
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Representing Multi-agent Planning in CLP
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Reasoning from last conflict(s) in constraint programming
Artificial Intelligence
Solving Sequential Planning Problems via Constraint Satisfaction
Fundamenta Informaticae - Methodologies for Intelligent Systems
On the generality of parameter tuning in evolutionary planning
Proceedings of the 12th annual conference on Genetic and evolutionary computation
The Knowledge Engineering Review
The Knowledge Engineering Review
A temporally expressive planner based on answer set programming with constraints: preliminary design
Logic programming, knowledge representation, and nonmonotonic reasoning
On the benefit of sub-optimality within the divide-and-evolve scheme
EvoCOP'10 Proceedings of the 10th European conference on Evolutionary Computation in Combinatorial Optimization
Landmark-enhanced abstraction heuristics
Artificial Intelligence
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
COLIN: planning with continuous linear numeric change
Journal of Artificial Intelligence Research
On the utility of landmarks in SAT based planning
Knowledge-Based Systems
Planning as satisfiability: Heuristics
Artificial Intelligence
Using satisfiability for non-optimal temporal planning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
On the complexity of planning for agent teams and its implications for single agent planning
Artificial Intelligence
A SAT-based approach to cost-sensitive temporally expressive planning
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
Hi-index | 0.00 |
A key feature of modern optimal planners such as graphplan and blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planners provide an alternative branching scheme but lacking comparable pruning mechanisms do not perform as well. In this paper, a domain-independent formulation of temporal planning based on Constraint Programming is introduced that successfully combines a POCL branching scheme with powerful and sound pruning rules. The key novelty in the formulation is the ability to reason about supports, precedences, and causal links involving actions that are not in the plan. Experiments over a wide range of benchmarks show that the resulting optimal temporal planner is much faster than current ones and is competitive with the best parallel planners in the special case in which actions have all the same duration.