scientific article; zbMATH DE number 1467489
From MaRDI portal
Publication:4488091
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
(26)- The KL-ONE family
- Declarative operations on nets
- Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
- Knowledge-based programs as succinct policies for partially observable domains
- 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
- Computing programs for generalized planning using a classical planner
- Automatic workflow verification and generation
- Sequential Monte Carlo in reachability heuristics for probabilistic planning
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- In defense of PDDL axioms
- On the expressive power of planning formalisms. Conditional effects and Boolean preconditions in the STRIPS formalisms
- Generating plans from proofs. The interpolation-based approach to query reformulation
- Formalizing Goal Serializability for Evaluation of Planning Features
- Action failure recovery via model-based diagnosis and conformant planning
- Merge-and-Shrink Abstraction
- scientific article; zbMATH DE number 1305704 (Why is no real title available?)
- scientific article; zbMATH DE number 1759374 (Why is no real title available?)
- Compiling irrelevant objects to counters. Special case of creation planning
- Qualitative numeric planning: reductions and complexity
- A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning
- Generalized planning as heuristic search: a new planning search-space that leverages pointers over objects
- A knowledge compilation perspective on queries and transformations for belief tracking
- Planning for temporally extended goals in pure-past linear temporal logic
- Symbolic search for cost-optimal planning with expressive model extensions
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
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)
