TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 13.

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

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

Kolbe, Thomas ; Walther, Christoph
ed.: 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
Book Section, Bibliographie

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

Kolbe, Thomas ; Brauburger, (1997)
PLAGIATOR - a learning prover.
Conference or Workshop Item, Bibliographie

Kolbe, Thomas ; Walther, Christoph (1996)
Proving theorems by mimicking a human's skill.
The 1996 AAAI Spring Symposium. Palo Alto, USA (25.–27.03)
Conference or Workshop Item, 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.-03.08.1996)
doi: 10.1007/3-540-61511-3_72
Conference or Workshop Item, Bibliographie

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

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, Bibliographie

Kolbe, Thomas ; Walther, Christoph (1995)
Patching proofs for reuse.
ECML'95: 8th European Conference on Machine Learning. Heraclion, Greece (25. - 27.04.)
Conference or Workshop Item, 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.-25.08.1995)
Conference or Workshop Item, 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.-25.08.1995)
Conference or Workshop Item, Bibliographie

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

This list was generated on Tue Apr 16 00:35:31 2024 CEST.