Thomas Kolbe

According to our database, Thomas Kolbe authored at least 9 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2000

On Terminating Lemma Speculations.

Christoph Walther, Thomas Kolbe

Inf. Comput., 2000

Proving theorems by reuse.

Christoph Walther, Thomas Kolbe

Artif. Intell., 2000

1997

Many-Sorted Logic in a Learning Theorem Prover.

Thomas Kolbe, Sabine Glesner

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Plagiator - A Learning Prover.

Thomas Kolbe, Jürgen Brauburger

Proceedings of the Automated Deduction, 1997

Optimizing proof search by machine learning techniques.

Thomas Kolbe

Berichte aus der Informatik, Shaker, ISBN: 978-3-8265-2971-9, 1997

1996

Termination of Theorem Proving by Reuse.

Thomas Kolbe, Christoph Walther

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs.

Thomas Kolbe, Christoph Walther

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Patching Proofs for Reuse (Extended Abstract).

Thomas Kolbe, Christoph Walther

Proceedings of the Machine Learning: ECML-95, 1995

1994

Reusing Proofs.

Thomas Kolbe, Christoph Walther

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994