On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
Presentation / Conference Contribution
Dennis, L. A., Jamnik, M., & Pollet, M. (2005). On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. In J. Carette, & W. Farmer (Eds.),
We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms.
We us...
Read More about On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner.