CODE: A powerful prover for problems of condensed detachment

  • Dirk Fuchs
  • Matthias Fuchs
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1249)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Christian, J.:Flatterms, discrimination nets, and fast term rewriting, JAR 10, 1993, pp. 95–113.Google Scholar
  2. 2.
    Denzinger, J.; Fuchs, M.:Goal oriented equational theorem proving using teamwork, Proc. 18th KI-94, Saarbrücken, GER, Springer LNAI 861, 1994, pp. 343–354.Google Scholar
  3. 3.
    Fuchs, M.:Powerful Search Heuristics Based on Weighted Symbols, Level and Features, Proc. FLAIRS '96, Key West, FL, USA, 1996, pp. 449–453.Google Scholar
  4. 4.
    Fuchs, M.:Experiments in the Heuristic Use of Past Proof Experience, Proc. CADE-13, New Brunswick, NJ, USA, 1996, Springer LNAI 1104, pp. 523–537.Google Scholar
  5. 5.
    Graf P.:Term Indexing, Springer Verlag, Springer LNAI 1053, 1995.Google Scholar
  6. 6.
    Hillenbrand, T.; Buch, A.; Fettig, R.:On Gaining Efficiency in Completion-Based Theorem Proving, Proc. 7th RTA, 1996, Springer LNCS 1103, pp. 432–435.Google Scholar
  7. 7.
    Lukasiewicz, J.:Selected Works, L. Borkowski (ed.), North-Holland, 1970.Google Scholar
  8. 8.
    McCune, W.; Wos, L.:Experiments in Automated Deduction with Condensed Detachment, Proc. CADE-11, Saratoga Springs, NY, USA, 1992, Springer LNAI 607, pp. 209–223.Google Scholar
  9. 9.
    McCune, W.:OTTER 3.0 Reference Manual and Guide, Techn. Report ANL-94/6, Argonne Natl. Laboratory, 1994.Google Scholar
  10. 10.
    Peterson, G.J.:An automatic theorem prover for substitution and detachment systems, Notre Dame Journal of Formal Logic, Vol. 19, Number 1, January 1976, pp. 119–122.Google Scholar
  11. 11.
    Slaney, J.:SCOTT: A Model-Guided Theorem Prover, Proc. IJCAI '93, Chambery, FRA, 1993, AAAI Press, pp. 109–114.Google Scholar
  12. 12.
    Sutcliffe, G.; Suttner, C.; Yemenis, T.:The TPTP Problem Library, Proc. CADE-12, Nancy, FRA, 1994, Springer LNAI 814, pp. 252–266.Google Scholar
  13. 13.
    Tarski, A.:Logic, Semantics, Metamathematics, Oxford University Press, 1956.Google Scholar
  14. 14.
    Wos, L.:Meeting the Challenge of Fifty Years of Logic, JAR 6, 1990, pp. 213–232.Google Scholar
  15. 15.
    Wos, L.:Searching for Circles of Pure Proofs, JAR 15, 1995, pp. 279–315.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Dirk Fuchs
    • 1
  • Matthias Fuchs
    • 1
  1. 1.Fachbereich InformatikUniversität KaiserslauternKaiserslauternGermany

Personalised recommendations