Approximation of action theories and its application to conformant planning
DOI10.1016/J.ARTINT.2010.04.007zbMATH Open1230.68185OpenAlexW2000712072MaRDI QIDQ543583FDOQ543583
Authors: Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales 
Publication date: 17 June 2011
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.007
Recommendations
- Logic Programming and Nonmonotonic Reasoning
- scientific article; zbMATH DE number 1560498
- A generic approach to planning in the presence of incomplete information: theory and implementation
- Conformant planning via heuristic forward search: A new approach
- Compiling uncertainty away in conformant planning problems with bounded width
answer set programmingincomplete informationknowledge representationreasoning about action and changeconformant planning
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)
Cites Work
- Extending and implementing the stable model semantics
- Title not available (Why is that?)
- Answer set programming and plan generation
- The FF planning system: Fast plan generation through heuristic search
- Representing action and change by logic programs
- Representing actions in logic programs and default theories a situation calculus approach
- Using temporal logics to express search control knowledge for planning
- Title not available (Why is that?)
- Diagnostic reasoning with A-Prolog
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
- Planning graph heuristics for belief space search
- Logic Programming
- Logic Programming
- Computational complexity of planning and approximate planning in the presence of incompleteness
- Title not available (Why is that?)
- On the logic of causal explanation
- Representing action: indeterminacy and ramifications
- Ramification and causality
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Reasoning agents in dynamic domains
- Analysis on the p-adic superspace. I. Generalized functions: Gaussian distribution
- Title not available (Why is that?)
- Title not available (Why is that?)
- Domain-dependent knowledge in answer set planning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Formalizing sensing actions -- a transition function based approach
- Conformant planning via symbolic model checking and heuristic search
- Answer set based design of knowledge systems
Cited In (16)
- John McCarthy's legacy
- Position systems in dynamic domains
- Planning with Incomplete Information in Quantified Answer Set Programming
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Turning an Action Formalism Into a Planner—a Case Study
- Reasoning about actions with Temporal Answer Sets
- A multiparametric view on answer set programming
- An action language for multi-agent domains
- Proof systems for planning under 0-approximation semantics
- On the completeness of pruning techniques for planning with conditional effects
- Logic Programming and Nonmonotonic Reasoning
- CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement
- Title not available (Why is that?)
- A generic approach to planning in the presence of incomplete information: theory and implementation
- Title not available (Why is that?)
- Plan selection framework for policy-aware autonomous agents
Uses Software
This page was built for publication: Approximation of action theories and its application to conformant planning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q543583)
