ML Anthology

An Architecture for Proof Planning Systems

Louise A. Dennis
IJCAI 2005 pp. 1558-1559
/ijcai/2005/dennis2005ijcai-architecture/

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. 1

PDF Semantic Scholar

Cite

Text

Dennis. "An Architecture for Proof Planning Systems." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Dennis. "An Architecture for Proof Planning Systems." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/dennis2005ijcai-architecture/)

BibTeX

@inproceedings{dennis2005ijcai-architecture,
  title     = {{An Architecture for Proof Planning Systems}},
  author    = {Dennis, Louise A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {1558-1559},
  url       = {https://mlanthology.org/ijcai/2005/dennis2005ijcai-architecture/}
}