The following pages link to (Q4488091):
Displayed 9 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)
- 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)
- ACTION FAILURE RECOVERY VIA MODEL-BASED DIAGNOSIS AND CONFORMANT PLANNING (Q2857292) (← links)
- Merge-and-Shrink Abstraction (Q3189651) (← links)