Conditional nonlinear planning
Proceedings of the first international conference on Artificial intelligence planning systems
Omnipotence without omniscience: efficient sensor management for planning
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
An algorithm for probabilistic planning
Artificial Intelligence - Special volume on planning and scheduling
Fast planning through planning graph analysis
Artificial Intelligence
Extending Graphplan to handle uncertainty and sensing actions
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Extending Planning Graphs to an ADL Subset
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
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
Decision-theoretic planning
Planning for contingencies: a decision-based approach
Journal of Artificial Intelligence Research
Fast planning through planning graph analysis
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Extending Graphplan to handle uncertainty and sensing actions
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Contingent planning under uncertainty via stochastic satisfiability
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
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Planning and Control in Artificial Intelligence: A Unifying Perspective
Applied Intelligence
Local Conditional High-Level Robot Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Planning under Incomplete Knowledge
CL '00 Proceedings of the First International Conference on Computational Logic
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
Plan evaluation with incomplete action descriptions
Eighteenth national conference on Artificial intelligence
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
SAT-based planning in complex domains: concurrency, constraints and nondeterminism
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Contingent planning under uncertainty via stochastic satisfiability
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Conformant planning via symbolic model checking and heuristic search
Artificial Intelligence
Conformant planning via heuristic forward search: a new approach
Artificial Intelligence
Theory and Practice of Logic Programming
Sequential Monte Carlo in reachability heuristics for probabilistic planning
Artificial Intelligence
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Task decomposition on abstract states, for planning under nondeterminism
Artificial Intelligence
Towards Efficient Belief Update for Planning-Based Web Service Composition
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Forward-chaining planning in nondeterministic domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Distance estimates for planning in the discrete belief space
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Conformant planning for domains with constraints: a new approach
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
Answer set planning under action costs
Journal of Artificial Intelligence Research
Planning graph heuristics for belief space search
Journal of Artificial Intelligence Research
Constructing conditional plans by a theorem-prover
Journal of Artificial Intelligence Research
A possibilistic planner that deals with non-determinism and contingency
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
Compiling uncertainty away in conformant planning problems with bounded width
Journal of Artificial Intelligence Research
Heuristic search + symbolic model checking = efficient conformant planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning in nondeterministic domains under partial observability via symbolic model checking
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Continual planning and acting in dynamic multiagent environments
Autonomous Agents and Multi-Agent Systems
Conformant planning via heuristic forward search: A new approach
Artificial Intelligence
Strengthening schedules through uncertainty analysis
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Inference and Learning in Planning (Extended Abstract)
DS '09 Proceedings of the 12th International Conference on Discovery Science
Conformant plans and beyond: Principles and complexity
Artificial Intelligence
Set-structured and cost-sharing heuristics for classical planning
Annals of Mathematics and Artificial Intelligence
An overview of planning under uncertainty
Artificial intelligence today
Knowledge representation for stochastic decision processes
Artificial intelligence today
Agreeing on plans through iterated disputes
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Compiling Uncertainty Away in Non-Deterministic Conformant Planning
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Approximation of action theories and its application to conformant planning
Artificial Intelligence
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
Artificial Intelligence
Planning with incomplete information
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
plasp: a prototype for PDDL-based planning in ASP
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Planning under continuous time and resource uncertainty: a challenge for AI
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
An approximation of action theories of AL and its application to conformant planning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Concise representations for state spaces in conformant planning tasks
ICICA'12 Proceedings of the Third international conference on Information Computing and Applications
A conformant planner based on approximation: CpA(H)
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
| Hi-index | 0.00 |
Planning under uncertainty is a difficult task. If sensory information is available, it is possible to do contingency planning - that is, develop plans where certain branches are executed conditionally, based on the outcome of sensory actions. However, even without sensory information, it is often possible to develop useful plans that succeed no matter which of the allowed states the world is actually in. We refer to this type of planning as conformant planning.Few conformant planners have been built, partly because conformant planning requires the ability to reason about disjunction. In this paper we describe Conformant Graphplan (CGP), a Graphplan-based planner that develops sound (non-contingent) plans when faced with uncertainty in the initial conditions and in the outcome of actions. The basic idea is to develop separate plan graphs for each possible world. This requires some subtle changes to both the graph expansion and solution extraction phases of Oraphplan. In particular, the solution extraction phase must consider the unexpected side effects of actions in other possible worlds, and must confront any undesirable effects.We show that COP performs significantly better than two previous (probabilistic) conformant planners.