Artikel

Walther, Christoph ; Kolbe, Thomas (2000)
On terminating lemma speculations.
In: Information and computation, 162 (1-2)
doi: 10.1006/inco.1999.2859
Artikel, Bibliographie

Walther, Christoph ; Kolbe, Thomas (2000)
Proving theorems by reuse.
In: Artificial Intelligence, 116 (1-2)
doi: 10.1016/S0004-3702(99)00096-X
Artikel, Bibliographie

Buchkapitel

Kolbe, Thomas ; Walther, Christoph
Hrsg.: Bibel, Wolfgang (1998)
Proof Analysis, Generalization and Reuse.
In: Automated deduction: a basis for applications. Bd.2 Systems and implementation techniques
doi: 10.1007/978-94-017-0435-9
Buchkapitel, Bibliographie

Buch

Kolbe, Thomas (1995)
Patching proofs for reuse.
Buch, Bibliographie

Konferenzveröffentlichung

Kolbe, Thomas ; Brauburger, J.
Hrsg.: MacCune, William (1997)
PLAGIATOR - a learning prover.
14th International Conference on Automated Deduction (CADE-14). Townsville, North Queensland, Australia (09.07. - 17.07.1997)
doi: 10.1007/3-540-63104-6_24
Konferenzveröffentlichung, Bibliographie

Kolbe, Thomas ; Walther, Christoph (1996)
Proving theorems by mimicking a human's skill.
The 1996 AAAI Spring Symposium. Palo Alto, USA (25.03.1996-27.03.1996)
Konferenzveröffentlichung, Bibliographie

Kolbe, Thomas ; Walther, Christoph (1996)
Termination of theorem proving by reuse.
13th International Conference on Automated Deduction (CADE-13). New Brunswick, USA (30.07.1996-03.08.1996)
doi: 10.1007/3-540-61511-3_72
Konferenzveröffentlichung, Bibliographie

Kolbe, Thomas ; Walther, Christoph (1995)
Adaption of Proofs for Reuse.
1995 Fall Symposium Adaptation of Knowledge for Reuse. Cambridge, USA (10.11.1995-12.11.1995)
Konferenzveröffentlichung, Bibliographie

Kolbe, Thomas ; Walther, Christoph (1995)
Patching proofs for reuse.
ECML'95: 8th European Conference on Machine Learning. Heraclion, Greece (25.04.1995-27.04.1995)
Konferenzveröffentlichung, Bibliographie

Kolbe, Thomas ; Walther, Christoph (1995)
Proof management and retrieval.
14th International Joint Conference on Artificial Intelligence - Workshop for Formal Approaches to the Reuse of Plans, Proofs and Programs. Montreal, Canada (20.08.1995-25.08.1995)
Konferenzveröffentlichung, Bibliographie

Kolbe, Thomas ; Walther, Christoph (1995)
Second-Order Matching modulo Evaluation: A technique for Reusing Proofs.
IJCAI '95: 14th International Joint Conference on Artificial Intelligence. Montreal, Canada (20.08.1995-25.08.1995)
Konferenzveröffentlichung, Bibliographie

Kolbe, Thomas ; Walther, Christoph (1994)
Reusing Proofs.
ECAI'94: 11th European Conference on Artificial Intelligence. Amsterdam, Netherlands (08.08.1994-12.08.1994)
Konferenzveröffentlichung, Bibliographie

Dissertation

Kolbe, Thomas (1997)
Optimizing proof search by machine learning techniques.
Technische Universität Darmstadt
Dissertation, Bibliographie