Skip to main content

Research Repository

Advanced Search

An Architecture for Proof Planning Systems

Dennis, Louise Abigail

Authors

Louise Abigail Dennis



Contributors

L. P. Kaelbling
Editor

A. Saffoitti
Editor

Abstract

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.

Citation

Dennis, L. A. (2005). An Architecture for Proof Planning Systems. In A. Saffoitti, & L. P. Kaelbling (Eds.),

Conference Name Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
Publication Date Jan 1, 2005
Deposit Date Nov 14, 2005
Publicly Available Date Oct 9, 2007
Peer Reviewed Peer Reviewed
Public URL http://eprints.nottingham.ac.uk/id/eprint/299
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf

Files


pparch-poster.pdf (46 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





Downloadable Citations