An Architecture for Proof Planning Systems

Dennis, Louise A.

An Architecture for Proof Planning Systems

Download BibTeX Cite

Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 1558-1558.

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.

Louise A. Dennis. 2005. An Architecture for Proof Planning Systems. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 1558–1558. https://ijcai.org/proceedings/2005/243

@inproceedings{ijcai2005p243,
  title     = {An Architecture for Proof Planning Systems},
  author    = {Dennis, Louise A.},
  booktitle = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {1558--1558},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/243},
}

TY  - CPAPER
TI  - An Architecture for Proof Planning Systems
AU  - Dennis, Louise A.
T2  - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2005
SP  - 1558
EP  - 1558
UR  - https://ijcai.org/proceedings/2005/243
ER  -