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.

Full text not available from this repository.

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.

Item Type: Conference or Workshop Item (Poster)
RIS ID: https://nottingham-repository.worktribe.com/output/1020238
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User: Dennis, Louise Abigail
Date Deposited: 14 Nov 2005
Last Modified: 04 May 2020 20:30
URI: http://eprints.nottingham.ac.uk/id/eprint/299

Actions (Archive Staff Only)

Edit View Edit View