Nonmonotonic logic and temporal projection
Artificial Intelligence
Conditional nonlinear planning
Proceedings of the first international conference on Artificial intelligence planning systems
Proceedings of the eleventh international conference on Logic programming
Representing action: indeterminacy and ramifications
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
Proceedings of the 1999 international conference on Logic programming
Computational complexity of planning and approximate planning in the presence of incompleteness
Artificial Intelligence
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Answer set programming and plan generation
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
NoMoRe: Non-monotonic Reasoning with Logic Programs
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Encoding Planning Problems in Nonmonotonic Logic Programs
ECP '97 Proceedings of the 4th 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
Knowledge, action, and the frame problem
Artificial Intelligence
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
ASSAT: computing answer sets of a logic program by SAT solvers
Eighteenth national conference on Artificial intelligence
SAT-based planning in complex domains: concurrency, constraints and nondeterminism
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Conformant planning via symbolic model checking and heuristic search
Artificial Intelligence
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
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
The FF planning system: fast plan generation through heuristic search
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
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Heuristic search + symbolic model checking = efficient conformant planning
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
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Adding knowledge to the action description language A
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Probabilistic Reasoning by SAT Solvers
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Probabilistic Planning with Imperfect Sensing Actions Using Hybrid Probabilistic Logic Programs
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
An extension to conformant planning using logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Intention Recognition via Causal Bayes Networks Plus Plan Generation
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Approximation of action theories and its application to conformant planning
Artificial Intelligence
Planning for multiagent using ASP-prolog
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
Combining answer set programming and prolog: the ASP-PROLOG system
Logic programming, knowledge representation, and nonmonotonic reasoning
Elder care via intention recognition and evolution prospection
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Reasoning and planning with cooperative actions for multiagents using answer set programming
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
A general representation and approximate inference algorithm for sensing actions
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
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
Proof Systems for Planning Under Cautious Semantics
Minds and Machines
Hi-index | 0.00 |
We extend the 0-approximation of sensing actions and incomplete information in Son and Baral (2001) to action theories with static causal laws and prove its soundness with respect to the possible world semantics. We also show that the conditional planning problem with respect to this approximation is NP-complete. We then present an answer set programming based conditional planner, called ASCP, that is capable of generating both conformant plans and conditional plans in the presence of sensing actions, incomplete information about the initial state, and static causal laws. We prove the correctness of our implementation and argue that our planner is sound and complete with respect to the proposed approximation. Finally, we present experimental results comparing ASCP to other planners.