An Architecture for Proof Planning Systems
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.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
IJCAI Inc,
2005
|
| Online Access: | https://eprints.nottingham.ac.uk/299/ |
| _version_ | 1848790389649047552 |
|---|---|
| author | Dennis, Louise Abigail |
| author2 | Kaelbling, L. P. |
| author_facet | Kaelbling, L. P. Dennis, Louise Abigail |
| author_sort | Dennis, Louise Abigail |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T18:11:50Z |
| format | Conference or Workshop Item |
| id | nottingham-299 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T18:11:50Z |
| publishDate | 2005 |
| publisher | IJCAI Inc, |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-2992020-05-04T20:30:45Z https://eprints.nottingham.ac.uk/299/ An Architecture for Proof Planning Systems Dennis, Louise Abigail 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. IJCAI Inc, Kaelbling, L. P. Saffoitti, A. 2005 Conference or Workshop Item PeerReviewed Dennis, Louise Abigail (2005) An Architecture for Proof Planning Systems. In: Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05, July, Edinburgh. |
| spellingShingle | Dennis, Louise Abigail An Architecture for Proof Planning Systems |
| title | An Architecture for Proof Planning Systems |
| title_full | An Architecture for Proof Planning Systems |
| title_fullStr | An Architecture for Proof Planning Systems |
| title_full_unstemmed | An Architecture for Proof Planning Systems |
| title_short | An Architecture for Proof Planning Systems |
| title_sort | architecture for proof planning systems |
| url | https://eprints.nottingham.ac.uk/299/ |