An Architecture for Proof Planning Systems

Dennis, Louise Abigail (2005) An Architecture for Proof Planning Systems. In: Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05, July, Edinburgh.

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


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.

Item Type:Conference or Workshop Item (Poster)
Schools/Departments:Faculty of Science > School of Computer Science and Information Technology
ID Code:299
Deposited By:Dennis, Louise Abigail
Deposited On:14 Nov 2005
Last Modified:09 Oct 2007 16:51

Repository Staff Only: item control page