On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner.

Louise A. Dennis Mateja Jamnik Martin Pollet

Published in: Calculemus (2005)

Keyphrases

planning systems
ai planning
forward chaining
planning problems
planning process
automated planning
theorem prover
control knowledge
theorem proving
inference rules