Can I read On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner on EtoBox?

On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner by Louise A. Dennis; Mateja Jamnik; Martin Pollet is a Computer Science article available to read on EtoBox.

What is On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner about?

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 use this framework to motivate the comparison of three recent proof planning systems, λCL a M, Ωmega and IsaPlanner, and demonstrate how the framework allows us to discuss and illustrate both their similarities and differences in a consistent fashion. This analysis reveals that proof control and the use of contextual information in planning states are key areas in need of further investigation.

Who reads On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner?

Author

Louise A. Dennis; Mateja Jamnik; Martin Pollet

Publisher

Elsevier Science; Elsevier ; Elsevier BV; Amsterdam: Elsevier BV (ISSN 1571-0661)

Published

2006

Language

EN

Field

Computer Science (Physical Sciences)