The following pages link to (Q4488091):
Displaying 21 items.
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners (Q835826) (← links)
- The KL-ONE family (Q1202629) (← links)
- Declarative operations on nets (Q1202674) (← links)
- Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning (Q1397237) (← links)
- Knowledge-based programs as succinct policies for partially observable domains (Q2046009) (← links)
- Discovering state constraints for planning with conditional effects in \textsc{Discoplan}. I (Q2188783) (← links)
- Book review of: P. Haslum et. al., An introduction to the planning domain definition language (Q2302292) (← links)
- Automatic workflow verification and generation (Q2368986) (← links)
- Sequential Monte Carlo in reachability heuristics for probabilistic planning (Q2389632) (← links)
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits (Q2389669) (← links)
- In defense of PDDL axioms (Q2457650) (← links)
- Generating plans from proofs. The interpolation-based approach to query reformulation (Q2799047) (← links)
- Formalizing Goal Serializability for Evaluation of Planning Features (Q2835895) (← links)
- Action failure recovery via model-based diagnosis and conformant planning (Q2857292) (← links)
- Merge-and-Shrink Abstraction (Q3189651) (← links)
- (Q4252522) (← links)
- (Q4536322) (← links)
- Qualitative Numeric Planning: Reductions and Complexity (Q5139597) (← links)
- A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning (Q5870537) (← links)
- Generalized planning as heuristic search: a new planning search-space that leverages pointers over objects (Q6566615) (← links)
- A knowledge compilation perspective on queries and transformations for belief tracking (Q6630720) (← links)
