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 and Kolbe, Thomas (2000):
On terminating lemma speculations.
In: Information and computation, (1-2), 162. pp. 96-116, ISSN 0890-5401,
DOI: 10.1006/inco.1999.2859,
[Online-Edition: https://www.sciencedirect.com/science/article/pii/S089054019...],
[Article]

Walther, Christoph and Kolbe, Thomas (2000):
Proving theorems by reuse.
In: Artificial Intelligence, (1-2), 116. Elsevier, pp. 17-66, ISSN 0004-3702,
DOI: 10.1016/S0004-3702(99)00096-X,
[Online-Edition: https://www.sciencedirect.com/science/article/pii/S000437029...],
[Article]

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

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

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

Kolbe, Thomas and Walther, Christoph (1996):
Proving theorems by mimicking a human's skill.
In: The 1996 AAAI Spring Symposium, Palo Alto, USA, 25.–27.03, pp. 50-56, [Online-Edition: https://www.aaai.org/Library/Symposia/Spring/ss96-02.php],
[Conference or Workshop Item]

Kolbe, Thomas and Walther, Christoph (1996):
Termination of theorem proving by reuse.
In: 13th International Conference on Automated Deduction (CADE-13), New Brunswick, USA, 30.07.-03.08.1996, pp. 106-120, 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 and Walther, Christoph (1995):
Adaption of Proofs for Reuse.
In: 1995 Fall Symposium Adaptation of Knowledge for Reuse, Cambridge, USA, 10.-12.11., [Online-Edition: https://aaai.org/Library/Symposia/Fall/fs95-04.php],
[Conference or Workshop Item]

Kolbe, Thomas and Walther, Christoph (1995):
Patching proofs for reuse.
In: ECML'95: 8th European Conference on Machine Learning, Heraclion, Greece, 25. - 27.04., pp. 303-306, [Online-Edition: https://www.springer.com/de/book/9783540592860],
[Conference or Workshop Item]

Kolbe, Thomas and Walther, Christoph (1995):
Proof management and retrieval.
In: 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, [Online-Edition: https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48....],
[Conference or Workshop Item]

Kolbe, Thomas and Walther, Christoph (1995):
Second-Order Matching modulo Evaluation: A technique for Reusing Proofs.
In: IJCAI '95: 14th International Joint Conference on Artificial Intelligence, Montreal, Canada, 20.-25.08.1995, pp. 190-195, [Online-Edition: https://www.ijcai.org/Proceedings/1995-1],
[Conference or Workshop Item]

Kolbe, Thomas and Walther, Christoph (1994):
Reusing Proofs.
In: ECAI'94: 11th European Conference on Artificial Intelligence, Amsterdam, Netherlands, 08.-12.08., pp. 80-84, [Online-Edition: https://www.semanticscholar.org/paper/Reusing-Proofs-Kolbe-W...],
[Conference or Workshop Item]

This list was generated on Sat Aug 8 02:28:01 2020 CEST.