Artificial Intelligence - Special issue on knowledge representation
Conditional nonlinear planning
Proceedings of the first international conference on Artificial intelligence planning systems
Temporal reasoning with constraints on fluents and events
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Processing disjunctions in temporal constraint networks
Artificial Intelligence
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
Fast transformation of temporal plans for efficient execution
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Conditional, probabilistic planning: a unifying algorithm and effective search control mechanisms
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
Backtracking algorithms for disjunctions of temporal constraints
Artificial Intelligence
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
SAT-Based Procedures for Temporal Reasoning
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Constraint-based temporal reasoning algorithms with applications to planning
Constraint-based temporal reasoning algorithms with applications to planning
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Reasoning on interval and point-based disjunctive metric constraints in temporal contexts
Journal of Artificial Intelligence Research
Planning for contingencies: a decision-based approach
Journal of Artificial Intelligence Research
Dynamic control of plans with temporal uncertainty
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Project Scheduling as a Disjunctive Temporal Problem
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Efficient solution techniques for disjunctive temporal reasoning problems
Artificial Intelligence
Solving conditional and composite constraint satisfaction problems
Proceedings of the 2007 ACM symposium on Applied computing
Fuzzy conditional temporal problems: Strong and weak consistency
Engineering Applications of Artificial Intelligence
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
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Temporal Reasoning in Nested Temporal Networks with Alternatives
Recent Advances in Constraints
A theoretic and practical framework for scheduling in a stochastic environment
Journal of Scheduling
Journal of Artificial Intelligence Research
A general framework for scheduling in a stochastic environment
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Generalizing temporal controllability
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Allocation and scheduling of Conditional Task Graphs
Artificial Intelligence
Scheduling conditional task graphs
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Strong controllability of disjunctive temporal problems with uncertainty
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Conditional and composite temporal CSPs
Applied Intelligence
Drake: an efficient executive for temporal plans with choice
Journal of Artificial Intelligence Research
On the complexity of temporal controllabilities for workflow schemata
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Towards complex actions for complex event processing
Proceedings of the 7th ACM international conference on Distributed event-based systems
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
Temporal constraints pose a challenge for conditional planning, because it is necessary for a conditional planner to determine whether a candidate plan will satisfy the specified temporal constraints. This can be difficult, because temporal assignments that satisfy the constraints associated with one conditional branch may fail to satisfy the constraints along a different branch. In this paper we address this challenge by developing the Conditional Temporal Problem (CTP) formalism, an extension of standard temporal constraint-satisfaction processing models used in non-conditional temporal planning. Specifically, we augment temporal CSP frameworks by (1) adding observation nodes, and (2) attaching labels to all nodes to indicate the situation(s) in which each will be executed. Our extended framework allows for the construction of conditional plans that are guaranteed to satisfy complex temporal constraints. Importantly, this can be achieved even while allowing for decisions about the precise timing of actions to be postponed until execution time, thereby adding flexibility and making it possible to dynamically adapt the plan in response to the observations made during execution. We also show that, even for plans without explicit quantitative temporal constraints, our approach fixes a problem in the earlier approaches to conditional planning, which resulted in their being incomplete.