Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Handbook of theoretical computer science (vol. B)
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Conditional nonlinear planning
Proceedings of the first international conference on Artificial intelligence planning systems
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Learning to act using real-time dynamic programming
Artificial Intelligence - Special volume on computational research on interaction and agency, part 1
Planning under uncertainty: structural assumptions and computational leverage
New directions in AI planning
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Planning control rules for reactive agents
Artificial Intelligence
Representing action: indeterminacy and ramifications
Artificial Intelligence
Automatic OBDD-based generation of universal plans in non-deterministic domains
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of 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
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Model checking
Symbolic Model Checking
On the Synthesis of an Asynchronous Reactive Module
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Improvements to the Evaluation of Quantified Boolean Formulae
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Integrating BDD-Based and SAT-Based Symbolic Model Checking
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Symbolic Controller Synthesis for Discrete and Timed Systems
Hybrid Systems II
Gridworlds as Testbeds for Planning with Incomplete Information
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
An Automata-Theoretic Approach to Fair Realizability and Synthesis
Proceedings of the 7th International Conference on Computer Aided Verification
Planning via Model Checking: A Decision Procedure for AR
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Conformant Planning via Model Checking
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Automata-Theoretic Approach to Planning for Temporally Extended Goals
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Strong Cyclic Planning Revisited
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Planning with a language for extended goals
Eighteenth national conference on Artificial intelligence
Strong planning under partial observability
Artificial Intelligence
OBDD-based universal planning for synchronized agents in non-deterministic domains
Journal of Artificial Intelligence Research
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
Planning for contingencies: a decision-based approach
Journal of Artificial Intelligence Research
Constructing conditional plans by a theorem-prover
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
Planning as model checking for extended goals in non-deterministic domains
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Real-time search in non-deterministic domains
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Planning with incomplete information
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
SPUDD: stochastic planning using decision diagrams
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Conformant planning via symbolic model checking and heuristic search
Artificial Intelligence
Automated synthesis of executable web service compositions from BPEL4WS processes
WWW '05 Special interest tracks and posters of the 14th international conference on World Wide Web
Understanding planning with incomplete information and sensing
Artificial Intelligence
Strong planning under partial observability
Artificial Intelligence
Verifying space and time requirements for resource-bounded agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Evaluation of Service Composition Planning with OWLS-XPlan
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Theoretical Computer Science
State-set branching: Leveraging BDDs for heuristic search
Artificial Intelligence
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis
Model Checking and Artificial Intelligence
Verifying Space and Time Requirements for Resource-Bounded Agents
Model Checking and Artificial Intelligence
The symbolic OBDD scheme for generating mechanical assembly sequences
Formal Methods in System Design
A nondeterministic model for controlling the dramatization of interactive stories
SRMC '08 Proceedings of the 2nd ACM international workshop on Story representation, mechanism and context
Model-Driven Prototyping Based Requirements Elicitation
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Task decomposition on abstract states, for planning under nondeterminism
Artificial Intelligence
Creating automated plans for Semantic Web applications through planning as model checking
Expert Systems with Applications: An International Journal
A model for integrating dialogue and the execution of joint plans
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Strong Cyclic Planning under Partial Observability
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Synthesis and Composition of Web Services
Formal Methods for Web Services
Forward-chaining planning in nondeterministic domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Model-checking memory requirements of resource-bounded reasoners
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Goal specification, non-determinism and quantifying over policies
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Contingent planning with goal preferences
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Bounded-Resource Reasoning as (Strong or Classical) Planning
Computational Logic in Multi-Agent Systems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
SUNNY: a new algorithm for trust inference in social networks using probabilistic confidence models
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Fusing procedural and declarative planning goals for nondeterministic domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
The planning spectrum: one, two, three, infinity
Journal of Artificial Intelligence Research
Observation reduction for strong plans
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A hybridized planner for stochastic domains
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Understanding planning with incomplete information and sensing
Artificial Intelligence
Strong planning under partial observability
Artificial Intelligence
Learning hierarchical task networks for nondeterministic planning domains
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Structured plans and observation reduction for plans with contexts
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Conformant plans and beyond: Principles and complexity
Artificial Intelligence
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
An overview of AI research in Italy
Artificial intelligence
Solving fully-observable non-deterministic planning problems via translation into a general game
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Solving non-deterministic planning problems with pattern database heuristics
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Active learning of plans for safety and reachability goals with partial observability
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Agent programming via planning programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Merging example plans into generalized plans for non-deterministic environments
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Brothers in Arms? On AI Planning and Cellular Automata
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
A new representation and associated algorithms for generalized planning
Artificial Intelligence
Nondeterministic planning for generating interactive plots
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Linear logic as a tool for planning under temporal uncertainty
Theoretical Computer Science
Program model checking via action planning
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Planning under uncertainty and its applications
Reasoning, Action and Interaction in AI Theories and Systems
Process-Level composition of executable web services: ”on-the-fly” versus ”once-for-all” composition
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Planning for a mobile robot to attend a conference
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
Service composition with directories
SC'06 Proceedings of the 5th international conference on Software Composition
A model for integrating dialogue and the execution of joint plans
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Using a planner for coordination of multiagent team behavior
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Computing argumentation in polynomial number of BDD operations: a preliminary report
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Simple and fast strong cyclic planning for fully-observable nondeterministic planning problems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
A comprehensive approach to on-board autonomy verification and validation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
ACM Transactions on Computational Logic (TOCL)
A universal planning system for hybrid domains
Applied Intelligence
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Fundamenta Informaticae
Applicability conditions for plans with loops: Computability results and algorithms
Artificial Intelligence
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Automatic generation and learning of finite-state controllers
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Automatic behavior composition synthesis
Artificial Intelligence
A formal account of nondeterministic and failed actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Fair LTL synthesis for non-deterministic systems using strong cyclic planners
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A distributed multi-agent planning approach for automated web services composition
Web Intelligence and Agent Systems
Hi-index | 0.00 |
Planning in nondeterministic domains yields both conceptual and practical difficulties. From the conceptual point of view, different notions of planning problems can be devised: for instance, a plan might either guarantee goal achievement, or just have some chances of success. From the practical point of view, the problem is to devise algorithms that can effectively deal with large state spaces. In this paper, we tackle planning in nondeterministic domains by addressing conceptual and practical problems. We formally characterize different planning problems, where solutions have a chance of success ("weak planning"), are guaranteed to achieve the goal ("strong planning"), or achieve; the goal with iterative trial-and-error strategies ("strong cyclic planning"). In strong cyclic planning, all the executions associated with the solution plan always have a possibility of terminating and, when they do, they are guaranteed to achieve the goal. We present planning algorithms for these problem classes, and prove that they are correct and complete. We implement the algorithms in the MBP planner by using symbolic model checking techniques. We show that our approach is practical with an extensive experimental evaluation: MBP compares positively with state-of-the-art planners, both in terms of expressiveness and in terms of performance.