Publication:4488091
From MaRDI portal
zbMath0943.68182MaRDI QIDQ4488091
Publication date: 25 July 2000
68W05: Nonnumerical algorithms
Related Items
Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners, The KL-ONE family, Declarative operations on nets, 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, ACTION FAILURE RECOVERY VIA MODEL-BASED DIAGNOSIS AND CONFORMANT PLANNING, Merge-and-Shrink Abstraction
Uses Software