German

Kolbe, Thomas (1997):
Optimizing proof search by machine learning techniques.
Aachen: Shaker, 1997. III, 194 S, Aachen, Shaker, TU Darmstadt,
[Ph.D. Thesis]

English

Walther, Christoph ; Kolbe, Thomas (2000):
On terminating lemma speculations.
In: Information and computation, 162 (1-2), pp. 96-116. ISSN 0890-5401,
DOI: 10.1006/inco.1999.2859,
[Article]

Walther, Christoph ; Kolbe, Thomas (2000):
Proving theorems by reuse.
In: Artificial Intelligence, 116 (1-2), pp. 17-66. Elsevier, ISSN 0004-3702,
DOI: 10.1016/S0004-3702(99)00096-X,
[Article]

Kolbe, Thomas ; Walther, Christoph
Bibel, Wolfgang (ed.) (1998):
Proof Analysis, Generalization and Reuse.
10, In: Automated deduction: a basis for applications. Bd.2, pp. 189-219, Dordrecht, Kluwer Acad. Publ, DOI: 10.1007/978-94-017-0435-9,
[Book Section]

Kolbe, Thomas ; Brauburger, (1997):
PLAGIATOR - a learning prover.
In: International Conference on Automated Deduction <14, 1997, Townsville, Australia>: Proceedings. Hrsg.: M.A. McRobbie (u.a.) S. 256-259, 1149, Berlin, Heidelberg (u.a.): Springer, 1997, Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

Kolbe, Thomas ; Walther, Christoph (1996):
Proving theorems by mimicking a human's skill.
pp. 50-56, The 1996 AAAI Spring Symposium, Palo Alto, USA, 25.–27.03, [Conference or Workshop Item]

Kolbe, Thomas ; Walther, Christoph (1996):
Termination of theorem proving by reuse.
pp. 106-120, 13th International Conference on Automated Deduction (CADE-13), New Brunswick, USA, 30.07.-03.08.1996, DOI: 10.1007/3-540-61511-3_72,
[Conference or Workshop Item]

Kolbe, Thomas (1995):
Patching proofs for reuse.
Damstadt: Techn. Hochschule, FB 20, 1995. 17S., Damstadt, Techn. Hochschule, [Book]

Kolbe, Thomas ; Walther, Christoph (1995):
Adaption of Proofs for Reuse.
1995 Fall Symposium Adaptation of Knowledge for Reuse, Cambridge, USA, 10.-12.11., [Conference or Workshop Item]

Kolbe, Thomas ; Walther, Christoph (1995):
Patching proofs for reuse.
pp. 303-306, ECML'95: 8th European Conference on Machine Learning, Heraclion, Greece, 25. - 27.04., [Conference or Workshop Item]

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.-25.08.1995, [Conference or Workshop Item]

Kolbe, Thomas ; Walther, Christoph (1995):
Second-Order Matching modulo Evaluation: A technique for Reusing Proofs.
pp. 190-195, IJCAI '95: 14th International Joint Conference on Artificial Intelligence, Montreal, Canada, 20.-25.08.1995, [Conference or Workshop Item]

Kolbe, Thomas ; Walther, Christoph (1994):
Reusing Proofs.
pp. 80-84, ECAI'94: 11th European Conference on Artificial Intelligence, Amsterdam, Netherlands, 08.-12.08., [Conference or Workshop Item]