Problem-Oriented Applications of Automated Theorem Proving.

Wolfgang Bibel, Daniel Korn, Christoph Kreitz, Stephan Schmitt.

In J. Calmet & C. Limongelli, eds.,
4th International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96),
LNCS 1128, pp. 1-21, Springer Verlag, 1996.


This paper provides an overall view of an approach to developing a coherent ATP-system which can deal with a variety of logics and with different applications in a tailored way. The paper also summarizes research results achieved in the course of this development.

Paper is available in
postscript and pdf format
  Slides of the conference presentation are available in compressed postscript and pdf format
(Presentation: Wolfgang Bibel)

Bibtex Entry

Back to overview of papers
@InProceedings{inp:Bibel+96a, author = "Wolfgang Bibel and Daniel Korn and Christoph Kreitz and Stephan Schmitt", title = "Problem-Oriented Applications of Automated Theorem Proving", booktitle = "Design and Implementation of Symbolic Computation Systems", year = 1996, editor = "J. Calmet and C. Limongelli", volume = 1126, series = "Lecture Notes in Computer Science", pages = "1--21", publisher = "Springer Verlag" }