Automated Theorem Proving

  title={Automated Theorem Proving},
  author={Wolfgang Bibel},
  booktitle={Artificial Intelligence / K{\"u}nstliche Intelligenz},
Highly Influential
This paper has highly influenced 36 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 206 extracted citations

A simple distributed reasoning system for the connection calculus

Vietnam Journal of Computer Science • 2014
View 6 Excerpts
Highly Influenced

A Non-clausal Connection Calculus

View 8 Excerpts
Highly Influenced

Connection-Driven Inductive Theorem Proving

Studia Logica • 2001
View 5 Excerpts
Highly Influenced

Connection Calculus Theorem Proving with Multiple Built-in Theories

J. Symb. Comput. • 2000
View 4 Excerpts
Highly Influenced


Publications referenced by this paper.
Showing 1-10 of 143 references

Automated Reasoning; Prentice-Hall, Englewood Cliffs NJ

L. WOL Wos, R. Oberbeek, E. Lusk, J. Boyle

Extension of PROLOG through matrix reduction; ECAI-84 (T

R. CEF Caferra, E. Eder, B. Fronhofer, W. Bibel

Machine learning; Tioga

R. S. MCM Michalski, Carbonell, .G, T. M. Mitchell
Palo Alto CA • 1983

Proofs III higher-order logic; PhD Dissertation, CarnegieMellon U

D. A. Mil Miller

Similar Papers

Loading similar papers…