A qualitative physics based on confluences
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Commonsense reasoning about causality: deriving behavior from structure
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Combining logic and differential equations for describing real-world systems
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial Intelligence - Special issue on knowledge representation
Theoretical Computer Science
Temporal planning with continuous change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Formal verification of parallel programs
Communications of the ACM
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Global Consistency for Continuous Constraints
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
The LPSAT Engine & Its Application to Resource Planning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Scheduling Aircraft Landings--The Static Case
Transportation Science
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Constraint-Based Attribute and Interval Planning
Constraints
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL
ICTAI '04 Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence
Optimal scheduling using priced timed automata
ACM SIGMETRICS Performance Evaluation Review
Processes and continuous change in a SAT-based planner
Artificial Intelligence
Exploration of the robustness of plans
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Coordinating agile systems through the model-based execution of temporal plans
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
The power of modeling: a response to PDDL2.1
Journal of Artificial Intelligence Research
Imperfect match: PDDL 2.1 and real applications
Journal of Artificial Intelligence Research
PDDL2.1: the art of the possible? commentary on fox and long
Journal of Artificial Intelligence Research
The case for durative actions: a commentary on PDDL2.1
Journal of Artificial Intelligence Research
Planning with sharable resource constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
SPIN'03 Proceedings of the 10th international conference on Model checking software
Reasoning about continuous processes
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A method for global optimization of large systems of quadratic constraints
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Temporal planning in domains with linear processes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Kleene-Schützenberger theorem for weighted timed automata
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Towards performing everyday manipulation activities
Robotics and Autonomous Systems
A Kleene-Schützenberger theorem for weighted timed automata
Theoretical Computer Science
Planning for mechatronics systems-Architecture, methods and case study
Engineering Applications of Artificial Intelligence
Automated adaptation of strategic guidance in multiagent coordination
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Automatic construction of efficient multiple battery usage policies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
A universal planning system for hybrid domains
Applied 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
Plan-based policies for efficient multiple battery load management
Journal of Artificial Intelligence Research
Probabilistic planning for continuous dynamic systems under bounded risk
Journal of Artificial Intelligence Research
Answer set programming modulo theories and reasoning about continuous changes
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Hi-index | 0.00 |
In this paper we present PDDL+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of PDDL+, showing that the language makes convenient the modelling of complex time-dependent effects. We provide a formal semantics for PDDL+ by mapping planning instances into constructs of hybrid automata. Using the syntax of HAs as our semantic model we construct a semantic mapping to labelled transition systems to complete the formal interpretation of PDDL+ planning instances. An advantage of building a mapping from PDDL+ to HA theory is that it forms a bridge between the Planning and Real Time Systems research communities. One consequence is that we can expect to make use of some of the theoretical properties of HAs. For example, for a restricted class of HAs the Reachability problem (which is equivalent to Plan Existence) is decidable. PDDL+ provides an alternative to the continuous durative action model of PDDL2.1, adding a more flexible and robust model of time-dependent behaviour.