An Architecture for Proof Planning Systems
| Contribuinte(s) |
Kaelbling, L. P. Saffoitti, A. |
|---|---|
| Data(s) |
2005
|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador |
http://eprints.nottingham.ac.uk/299/1/pparch-poster.pdf Dennis, Louise Abigail (2005) An Architecture for Proof Planning Systems. In: Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05, July, Edinburgh. |
| Idioma(s) |
en |
| Publicador |
IJCAI Inc, |
| Relação |
http://eprints.nottingham.ac.uk/299/ |
| Tipo |
Conference or Workshop Item PeerReviewed |
