Approximation of action theories and its application to conformant planning
From MaRDI portal
(Redirected from Publication:543583)
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
Cites work
- scientific article; zbMATH DE number 2038892 (Why is no real title available?)
- scientific article; zbMATH DE number 1560498 (Why is no real title available?)
- scientific article; zbMATH DE number 1931653 (Why is no real title available?)
- scientific article; zbMATH DE number 1407683 (Why is no real title available?)
- scientific article; zbMATH DE number 3359806 (Why is no real title available?)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Analysis on the p-adic superspace. I. Generalized functions: Gaussian distribution
- Answer set based design of knowledge systems
- Answer set programming and plan generation
- Computational complexity of planning and approximate planning in the presence of incompleteness
- Conformant planning via symbolic model checking and heuristic search
- Diagnostic reasoning with A-Prolog
- Domain-dependent knowledge in answer set planning
- Extending and implementing the stable model semantics
- Formalizing sensing actions -- a transition function based approach
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Logic Programming
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- On the logic of causal explanation
- Planning graph heuristics for belief space search
- Ramification and causality
- Reasoning agents in dynamic domains
- Representing action and change by logic programs
- Representing action: indeterminacy and ramifications
- Representing actions in logic programs and default theories a situation calculus approach
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
- The FF planning system: Fast plan generation through heuristic search
- Using temporal logics to express search control knowledge for planning
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
- A multiparametric view on answer set programming
- Reasoning about actions with Temporal Answer Sets
- 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
- scientific article; zbMATH DE number 1560498 (Why is no real title available?)
- A generic approach to planning in the presence of incomplete information: theory and implementation
- scientific article; zbMATH DE number 1759374 (Why is no real title available?)
- Plan selection framework for policy-aware autonomous agents
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)
