Towards a general theory of action and time
Artificial Intelligence
Ten requirements for a theory of change
New Generation Computing
A logic-based calculus of events
New Generation Computing
Planning for conjunctive goals
Artificial Intelligence
Practical planning: extending the classical AI planning paradigm
Practical planning: extending the classical AI planning paradigm
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial Intelligence - Special issue on knowledge representation
Artificial Intelligence
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
A survey on temporal reasoning in artificial intelligence
AI Communications
Temporal planning with continuous change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
Temporal Planning with Mutual Exclusion Reasoning
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
SHOP: Simple Hierarchical Ordered Planner
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Combining the Expressivity of UCPOP with the Efficiency of Graphplan
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Gaining efficiency and flexibility in the simple temporal problem
TIME '96 Proceedings of the 3rd Workshop on Temporal Representation and Reasoning (TIME'96)
Representation and Reasoning with Disjunctive Temporal Constraints
TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
The 3rd international planning competition: results and analysis
Journal of Artificial Intelligence Research
Planning with resources and concurrency a forward chaining approach
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
Artificial intelligence today
The DD&P Robot Control Architecture (A Preliminary Report)
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A planning based approach to failure recovery in distributed systems
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Ontology translation for interoperability among semantic Web services
AI Magazine - Special issue on semantic integration
Processes and continuous change in a SAT-based planner
Artificial Intelligence
Controlling complex physical systems through planning and scheduling integration
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Plan execution in dynamic environments
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
A knowledge-based framework for multimedia adaptation
Applied Intelligence
Artificial Intelligence
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Branching and pruning: an optimal temporal POCL planner based on constraint programming
Artificial Intelligence
SIADEX: An interactive knowledge-based planner for decision support in forest fire fighting
AI Communications - Binding Environmental Sciences and AI
Domain-independent temporal planning in a planning-graph-based approach
AI Communications
Learning action models from plan examples using weighted MAX-SAT
Artificial Intelligence
GOLOG and PDDL: what is the relative expressiveness?
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
ARMS: an automatic knowledge engineering tool for learning action models for AI planning
The Knowledge Engineering Review
State-set branching: Leveraging BDDs for heuristic search
Artificial Intelligence
Temporal reasoning about fuzzy intervals
Artificial Intelligence
An approach to efficient planning with numerical fluents and multi-criteria plan quality
Artificial Intelligence
Continual collaborative planning for mixed-initiative action and interaction
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Cognitive Technical Systems -- What Is the Role of Artificial Intelligence?
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Knowledge Engineering and Planning for the Automated Synthesis of Customized Learning Designs
Current Topics 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
Automatic Generation of User Adapted Learning Designs: An AI-Planning Proposal
AH '08 Proceedings of the 5th international conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Learning Action Models with Quantified Conditional Effects for Software Requirement Specification
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Adaptation through Planning in Knowledge Intensive CBR
ECCBR '08 Proceedings of the 9th European conference on Advances in Case-Based Reasoning
Optimal Scheduling with Resources for Application Execution in 3G Networks
KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Towards the Use of XPDL as Planning and Scheduling Modeling Tool: The Workflow Patterns Approach
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
A Fluent Calculus Semantics for ADL with Plan Constraints
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Robotics and Autonomous Systems
Managing concurrency in temporal planning using planner-scheduler interaction
Artificial Intelligence
Long-distance mutual exclusion for planning
Artificial Intelligence
A Hybrid Approach to Intricate Motion, Manipulation and Task Planning
International Journal of Robotics Research
Transferring Knowledge from Another Domain for Learning Action Models
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
A heuristic search approach to planning with temporally extended preferences
Artificial Intelligence
The factored policy-gradient planner
Artificial Intelligence
EvoCOP '09 Proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimization
Transfer Learning Action Models by Measuring the Similarity of Different Domains
PAKDD '09 Proceedings of the 13th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining
Journal of Scheduling
Building Learning Designs by Using an Automatic Planning Domain Generation: A State-Based Approach
Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium
A Preliminary Study on the Relaxation of Numeric Features in Planning
Proceedings of the 2005 conference on Artificial Intelligence Research and Development
Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Evolutionary-based learning of generalised policies for AI planning domains
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Composing and Ensuring Time-Bounded Agent Services
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Continuous time in a SAT-based planner
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
Cost-optimal external planning
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Exploration of the robustness of plans
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Probabilistic temporal planning with uncertain durations
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Validating plans in the context of processes and exogenous events
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Prottle: a probabilistic temporal planner
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Concurrent action execution with shared fluents
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A situation-calculus semantics for an expressive fragment of PDDL
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Expressiveness of ADL and golog: functions make a difference
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Planning with problems requiring temporal coordination
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
The PELA architecture: integrating planning and learning to improve execution
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
On-line planning and scheduling: an application to controlling modular printers
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
The 3rd international planning competition: results and analysis
Journal of Artificial Intelligence Research
Imperfect match: PDDL 2.1 and real applications
Journal of Artificial Intelligence Research
PDDL 2.1: representation vs. computation
Journal of Artificial Intelligence Research
The case for durative actions: a commentary on PDDL2.1
Journal of Artificial Intelligence Research
Sapa: a multi-objective metric temporal planner
Journal of Artificial Intelligence Research
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Planning through stochastic local search and temporal action graphs in LPG
Journal of Artificial Intelligence Research
TALplanner in the third international planning competition: extensions and control rules
Journal of Artificial Intelligence Research
The deterministic part of IPC-4: an overview
Journal of Artificial Intelligence Research
The first probabilistic track of the international planning competition
Journal of Artificial Intelligence Research
An approach to temporal planning and scheduling in domains with predictable exogenous events
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
The fast downward planning system
Journal of Artificial Intelligence Research
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
Modelling mixed discrete-continuous domains for planning
Journal of Artificial Intelligence Research
Planning with durative actions in stochastic domains
Journal of Artificial Intelligence Research
Refining the execution of abstract actions with learned action models
Journal of Artificial Intelligence Research
Towards an integration of Golog and planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
When is temporal planning really temporal?
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Resource temporal networks: definition and complexity
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A Framework to Guarantee Time-Bounded Composed Services
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Journal of Artificial Intelligence Research
Abstraction-based action ordering in planning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Integrating planning and temporal reasoning for domains with durations and time windows
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Planning with graded fluents and actions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Continual planning and acting in dynamic multiagent environments
Autonomous Agents and Multi-Agent Systems
Processes and continuous change in a SAT-based planner
Artificial Intelligence
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Artificial Intelligence
Reasoning from last conflict(s) in constraint programming
Artificial Intelligence
Activity recognition: linking low-level sensors to high-level intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Temporal planning in domains with linear processes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Action Planning for Directed Model Checking of Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
A visual programming system for automated problem solving
Expert Systems with Applications: An International Journal
LP-TPOP: integrating planning and scheduling through constraint programming
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Requirement specification based on action model learning
ICIC'07 Proceedings of the intelligent computing 3rd international conference on Advanced intelligent computing theories and applications
Composing high-level plans for declarative agent programming
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Slice encoding for constraint-based planning
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Agent negotiation protocols in time-bounded service composition
IDEAL'09 Proceedings of the 10th international conference on Intelligent data engineering and automated learning
Understanding planning tasks: domain complexity and heuristic decomposition
Understanding planning tasks: domain complexity and heuristic decomposition
Planning with h+in theory and practice
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Pedagogically founded courseware generation for web-based learning: an HTN-planning-based approach implemented in PAIGOS
On the generality of parameter tuning in evolutionary planning
Proceedings of the 12th annual conference on Genetic and evolutionary computation
Automatic generation of temporal planning domains for e-learning problems
Journal of Scheduling
The Knowledge Engineering Review
Planning with Concurrency under Resources and Time Uncertainty
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Constraint Based Planning with Composable Substate Graphs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
CORALS: A real-time planner for anti-air defense operations
ACM Transactions on Intelligent Systems and Technology (TIST)
Learning complex action models with quantifiers and logical implications
Artificial Intelligence
Task planning for an autonomous service robot
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Applying clustering techniques to reduce complexity in automated planning domains
IDEAL'10 Proceedings of the 11th international conference on Intelligent data engineering and automated learning
Artificial Intelligence
Domain Independent Goal Recognition
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Integrating a PDDL-based planner and a PLEXIL-executor into the ptinto robot
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
The LAMA planner: guiding cost-based anytime planning with landmarks
Journal of Artificial Intelligence Research
GAVS+: an open platform for the research of algorithmic game solving
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
A temporally expressive planner based on answer set programming with constraints: preliminary design
Logic programming, knowledge representation, and nonmonotonic reasoning
Parallel divide-and-evolve: experiments with OpenMP on a multicore machine
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Instance-based parameter tuning for evolutionary AI planning
Proceedings of the 13th annual conference companion on Genetic and evolutionary computation
Program model checking via action planning
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
On-line planning and scheduling: an application to controlling modular printers
Journal of Artificial Intelligence Research
Careflow planning: from time-annotated clinical guidelines to temporal hierarchical task networks
AIME'11 Proceedings of the 13th conference on Artificial intelligence in medicine
Intelligent supervision for robust plan execution
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
An algorithm to find optimal attack paths in nondeterministic scenarios
Proceedings of the 4th ACM workshop on Security and artificial intelligence
Everything you always wanted to know about planning (but were afraid to ask)
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Planning for mechatronics systems-Architecture, methods and case study
Engineering Applications of Artificial Intelligence
A knowledge-based verification method for dynamic access control policies
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Controlled reachability analysis in AI planning: theory and practice
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Scheduling a plan with delays in time: a CSP approach
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
Multi-agent architecture for automating satellite control operations planning and execution
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Towards automatic synthesis of educational resources through automated planning
SETN'06 Proceedings of the 4th Helenic conference on Advances in Artificial Intelligence
Pdk: the system and its language
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Designing cooperative IS: exploring and evaluating alternatives
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Mapping workflows onto grid resources within an SLA context
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Planning in domains with derived predicates through rule-action graphs and local search
Annals of Mathematics and Artificial Intelligence
A planner-based approach to generate and analyze minimal attack graph
Applied Intelligence
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
Divide-and-Evolve: a new memetic scheme for domain-independent temporal planning
EvoCOP'06 Proceedings of the 6th European conference on Evolutionary Computation in Combinatorial Optimization
ENLG '11 Proceedings of the 13th European Workshop on Natural Language Generation
Automated planning for configuration changes
LISA'11 Proceedings of the 25th international conference on Large Installation System Administration
Arguments over co-operative plans
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
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
Generating diverse plans to handle unknown and partially known user preferences
Artificial Intelligence
Applications of action languages in cognitive robotics
Correct Reasoning
Analysing the PDDL language for argumentation-based negotiation planning
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
COLIN: planning with continuous linear numeric change
Journal of Artificial Intelligence Research
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Learning high-level planning from text
ACL '12 Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers - Volume 1
Planning self-adaption with graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Using satisfiability for non-optimal temporal planning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Framework for multi-agent planning and coordination in DIS
Proceedings of the Workshop at SIGGRAPH Asia
Learn-and-Optimize: a parameter tuning framework for evolutionary AI planning
EA'11 Proceedings of the 10th international conference on Artificial Evolution
Generating project plans for data center transformations
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
A survey of intelligent assistants for data analysis
ACM Computing Surveys (CSUR)
Benchmarking smart spaces through autonomous virtual agents
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Synthesizing daily life logs through gaming and simulation
Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication
Declarative planning in procedural agent architectures
Expert Systems with Applications: An International Journal
A hybrid LP-RPG heuristic for modelling numeric resource flows in planning
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
Optimal delete-relaxed (and semi-relaxed) planning with conditional effects
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Pareto-based multiobjective AI planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Flexible execution of partial order plans with temporal constraints
IJCAI'13 Proceedings of the Twenty-Third international joint conference on 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
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
The complexity of optimal monotonic planning: the bad, the good, and the causal graph
Journal of Artificial Intelligence Research
A knowledge-based architecture for the management of patient-focused care pathways
Applied Intelligence
Automating the evaluation of planning systems
AI Communications
Hi-index | 0.00 |
In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources. For example, interest in planning demonstrated by the space research community has inspired work in observation scheduling, planetary rover exploration and spacecraft control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing have also helped to focus the community on the modelling and reasoning issues that must be confronted to make planning technology meet the challenges of application. The International Planning Competitions have acted as an important motivating force behind the progress that has been made in planning since 1998. The third competition (held in 2002) set the planning community the challenge of handling time and numeric resources. This necessitated the development of a modelling language capable of expressing temporal and numeric properties of planning domains. In this paper we describe the language, PDDL2.1, that was used in the competition. We describe the syntax of the language, its formal semantics and the validation of concurrent plans. We observe that PDDL2.1 has considerable modelling power -- exceeding the capabilities of current planning technology -- and presents a number of important challenges to the research community.