On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner
Dennis, Louise Abigail and Jamnik, Mateja and Pollet, Martin (2005) On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. In: 12th Symposium on the Integratoin of Symbolic Computation and Mechanized Reasoning (Calculemus 2005), July, Newcastle. (In Press)
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.
Actions (Archive Staff Only)