Artificial Intelligence - Special issue on knowledge representation
Planning with continuous change
Planning with continuous change
Procedural reasoning in constraint satisfaction
Procedural reasoning in constraint satisfaction
Temporal Planning with Mutual Exclusion Reasoning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Passive and active decision postponement in plan generation
Passive and active decision postponement in plan generation
Planning with sharable resource constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
IEEE Intelligent Systems
Controlling complex physical systems through planning and scheduling integration
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Simulation-based planning for planetary rover experiments
WSC '05 Proceedings of the 37th conference on Winter simulation
Solving conditional and composite constraint satisfaction problems
Proceedings of the 2007 ACM symposium on Applied computing
Managing Conditional and Composite CSPs
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Planning with Multiple-Components in Omps
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Experimental Evaluation of a Planning Language Suitable for Formal Verification
Model Checking and Artificial Intelligence
Exploiting the structure of hierarchical plans in temporal constraint propagation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Adaptive control for autonomous underwater vehicles
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
Slice encoding for constraint-based planning
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
A systematic agent framework for situated autonomous systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 2 - Volume 2
The Knowledge Engineering Review
The Knowledge Engineering Review
Meeting ecologists' requirements with adaptive data acquisition
Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems
Planning solar array operations on the international space station
ACM Transactions on Intelligent Systems and Technology (TIST)
On-line planning and scheduling: an application to controlling modular printers
Journal of Artificial Intelligence Research
Conditional and composite temporal CSPs
Applied Intelligence
A cooperative architecture for target localization using multiple AUVs
Intelligent Service Robotics
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
Flexible Plan Verification: Feasibility Results
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
COLIN: planning with continuous linear numeric change
Journal of Artificial Intelligence Research
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Robotics and artificial intelligence: A perspective on deliberation functions
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |
In this paper we describe Constraint-based Attribute and Interval Planning (CAIP), a paradigm for representing and reasoning about plans. The paradigm enables the description of planning domains with time, resources, concurrent activities, mutual exclusions among sets of activities, disjunctive preconditions and conditional effects. We provide a theoretical foundation for the paradigm, based on temporal intervals and attributes. We show how the plans are naturally expressed by networks of constraints, and show that the process of planning maps directly to dynamic constraint reasoning. We describe compatibilities, a compact mechanism for describing planning domains. We also demonstrate how this framework incorporates the use of constraint representation and reasoning technology to improve planning. Finally, we describe EUROPA, an implementation of the CAIP framework.