scientific article; zbMATH DE number 1467489
From MaRDI portal
zbMATH Open0943.68182MaRDI QIDQ4488091FDOQ4488091
Authors: Bernhard Nebel
Publication date: 25 July 2000
Title of this publication is not available (Why is that?)
Recommendations
- On the expressive power of planning formalisms. Conditional effects and Boolean preconditions in the STRIPS formalisms
- The computational complexity of propositional STRIPS planning
- The complexity of planning problems with simple causal graphs
- scientific article; zbMATH DE number 1305704
- Fast planning through planning graph analysis
Cited In (24)
- On the expressive power of planning formalisms. Conditional effects and Boolean preconditions in the STRIPS formalisms
- Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
- Generalized planning as heuristic search: a new planning search-space that leverages pointers over objects
- Merge-and-Shrink Abstraction
- A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
- The KL-ONE family
- Qualitative numeric planning: reductions and complexity
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- Automatic workflow verification and generation
- Knowledge-based programs as succinct policies for partially observable domains
- Sequential Monte Carlo in reachability heuristics for probabilistic planning
- A knowledge compilation perspective on queries and transformations for belief tracking
- In defense of PDDL axioms
- Formalizing Goal Serializability for Evaluation of Planning Features
- Generating plans from proofs. The interpolation-based approach to query reformulation
- Computing programs for generalized planning using a classical planner
- Title not available (Why is that?)
- Title not available (Why is that?)
- Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I
- Book review of: P. Haslum et. al., An introduction to the planning domain definition language
- Declarative operations on nets
- Action failure recovery via model-based diagnosis and conformant planning
- Compiling irrelevant objects to counters. Special case of creation planning
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4488091)