An Architecture for Proof Planning Systems
(2005)
Presentation / Conference Contribution
Dennis, L. A. (2005). An Architecture for Proof Planning Systems. In L. P. Kaelbling, & A. Saffoitti (Eds.),
This paper presents a generic architecture for proof planning systems in terms of an interaction between a customisable proof module and search module. These refer to both global and local information contained in reasoning states.