Towards an Advanced Implementation of the Connection Method

Bibel, Wolfgang; Eder, Elmar; Fronhöfer, Bertram

Towards an Advanced Implementation of the Connection Method

Wolfgang Bibel, Elmar Eder, Bertram Fronhöfer

Download BibTeX Cite

Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Theorem Proving. Pages 920-921.

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 thefollowing problem domains: (a) Dealing with formulas in non-normal form. (b) The dynamic incor-poration of unification into a proof procedure. (c) Controlling the generation of copies of clauses.

Wolfgang Bibel, Elmar Eder, and Bertram Fronhöfer. 1983. Towards an Advanced Implementation of the Connection Method. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83. IJCAI, 920–921. https://ijcai.org/proceedings/1983/216

@inproceedings{ijcai1983p216,
  title     = {Towards an Advanced Implementation of the Connection Method},
  author    = {Bibel, Wolfgang and Eder, Elmar and Fronhöfer, Bertram},
  booktitle = {Proceedings of the Eighth International Joint Conference on
               Artificial Intelligence, {IJCAI-83}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Alan Bundy},
  pages     = {920--921},
  year      = {1983},
  note      = {Theorem Proving},
  url       = {https://ijcai.org/proceedings/1983/216},
}

TY  - CPAPER
TI  - Towards an Advanced Implementation of the Connection Method
AU  - Bibel, Wolfgang
AU  - Eder, Elmar
AU  - Fronhöfer, Bertram
T2  - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1983
SP  - 920
EP  - 921
UR  - https://ijcai.org/proceedings/1983/216
ER  -