Computational complexity of planning and approximate planning in the presence of incompleteness
From MaRDI portal
(Redirected from Publication:1583520)
Recommendations
Cites work
- scientific article; zbMATH DE number 1305704 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 1407685 (Why is no real title available?)
- Complexity, decidability and undecidability results for domain-independent planning
- Computational complexity of planning and approximate planning in the presence of incompleteness
- Formalizing sensing actions -- a transition function based approach
- Representing action and change by logic programs
- The computational complexity of propositional STRIPS planning
Cited in
(34)- Computational complexity of planning and approximate planning in the presence of incompleteness
- On transformation of conditional, conformant and parallel planning to linear programming
- Representation and reasoning about evolutions of the world in the context of reasoning about actions
- Probabilistic planning with clear preferences on missing information
- Conformant planning as a case study of incremental QBF solving
- scientific article; zbMATH DE number 1696842 (Why is no real title available?)
- Practical reasoning about knowledge states for open world planning with sensing
- Formalizing sensing actions -- a transition function based approach
- Reasoning about actions with loops via Hoare logic
- Planning with Incomplete Information in Quantified Answer Set Programming
- Understanding planning tasks. Domain complexity and heuristic decomposition
- The complexity of optimal monotonic planning: the bad, the good, and the causal graph
- Reasoning about sensing actions in domains with multi-valued fluents
- Approximate planning
- Human robot collaborative assembly planning: an answer set programming approach
- Maintenance goals of agents in a dynamic environment: formulation and policy construction
- The complexity of agent design problems: Determinism and history dependence
- A history based approximate epistemic action theory for efficient postdictive reasoning
- Proof systems for planning under 0-approximation semantics
- On the complexity of the storyplan problem
- Knowledge-based programs as building blocks for planning
- Approximation of action theories and its application to conformant planning
- State-variable planning under structural restrictions: algorithms and complexity
- scientific article; zbMATH DE number 6519681 (Why is no real title available?)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- A generic approach to planning in the presence of incomplete information: theory and implementation
- Refining complexity analyses in planning by exploiting the exponential time hypothesis
- FROM PLANNING TO SEARCHING FOR THE SHORTEST PLAN: AN OPTIMAL TRANSITION
- Sufficient Conditions for the Existence of Resolution Complete Planning Algorithms
- Undoing the effects of action sequences
- Enhancing disjunctive logic programming systems by SAT checkers
- The complexity of achievement and maintenance problems in agent-based systems
- Planning with partial observability by SAT
- On the computational complexity of temporal projection, planning, and plan validation
This page was built for publication: Computational complexity of planning and approximate planning in the presence of incompleteness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583520)
