Louise Abigail Dennis
An Architecture for Proof Planning Systems
Dennis, Louise Abigail
Authors
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.
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 | https://nottingham-repository.worktribe.com/output/1020238 |
Files
pparch-poster.pdf
(46 Kb)
PDF
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search