ML Anthology

Towards an Advanced Implementation of the Connection Method

Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer
IJCAI 1983 pp. 920-922
/ijcai/1983/bibel1983ijcai-advanced/

Abstract

This paper is intended to give a glance at some issues involved in implementing an advanced proof component based on the connection method. The material presented comprises contributions to the following problem domains: (a) Dealing with formulas In non-normal form, (b) The dynamic incorporation of unification into a proof procedure, (c) Controlling the generation of copies of clauses.

PDF Semantic Scholar

Cite

Text

Bibel et al. "Towards an Advanced Implementation of the Connection Method." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Bibel et al. "Towards an Advanced Implementation of the Connection Method." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/bibel1983ijcai-advanced/)

BibTeX

@inproceedings{bibel1983ijcai-advanced,
  title     = {{Towards an Advanced Implementation of the Connection Method}},
  author    = {Bibel, Wolfgang and Eder, Elmar and Fronhöfer, Bertram},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {920-922},
  url       = {https://mlanthology.org/ijcai/1983/bibel1983ijcai-advanced/}
}