TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2000 | 1998 | 1997 | 1996 | 1995 | 1994
Anzahl der Einträge: 13.

2000

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

1998

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

1997

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

Kolbe, Thomas ; Brauburger, (1997)
PLAGIATOR - a learning prover.
Konferenzveröffentlichung, Bibliographie

1996

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

1995

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

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

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

1994

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

Diese Liste wurde am Tue Mar 26 03:59:03 2024 CET generiert.