Prof. Dr. Michael Kohlhase


Personal Website: http://kwarc.info/kohlhase
Scopus Author ID: 55885173500



Organisation


Professur für Wissensrepräsentation und -verarbeitung



Project lead

Go to first page Go to previous page 1 of 2 Go to next page Go to last page

ALMANAC: Argumentationslogik-Manager & Argumentkontext-Graph
Prof. Dr. Michael Kohlhase
(01/09/2018 - 31/08/2021)

(RATIO: Robust Argumentation Machines (SPP 1999)):
ALMANAC: Argumentation Logics Manager & Argument Context Graph
Prof. Dr. Michael Kohlhase
(01/01/2018 - 31/12/2021)

RATIO: Schwerpunktprogramm „Robust Argumentation Machines“ (SPP 1999)
Prof. Dr. Michael Kohlhase
(01/01/2018 - 31/12/2020)

OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics
Prof. Dr. Michael Kohlhase
(01/09/2015 - 31/08/2019)

(Open Digital Research Environment Toolkit for the Advancement of Mathematics):
OpenDreamKit: OpenDreamKit
Michael Kohlhase
(01/09/2015 - 31/08/2019)


Publications (Download BibTeX)

Go to first page Go to previous page 16 of 17 Go to next page Go to last page

Kerber, M., Kohlhase, M., & Sorge, V. (1996). Integrating computer algebra with proof planning. In Proceedings of the 4th International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO 1996 (pp. 204-215). Springer Verlag.
Huang, X., Kerber, M., Kohlhase, M., Melis, E., Richts, J., & Siekmann, J. (1996). The proof development environment Ω-MKRP. Informatik - Forschung und Entwicklung, 11(1), 20-26. https://dx.doi.org/10.1007/s004500050036
Kohlhase, M. (1995). Higher-order tableaux. In Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAUX 1995 (pp. 294-309). Springer Verlag.
Huang, X., Kerber, M., Kohlhase, M., & Richts, J. (1994). Adapting methods to novel tasks in proof planning. In Proceedings of the 18th Annual German Conference on Artificial Intelligence, KI 1994 (pp. 379-390). Springer Verlag.
Kerber, M., & Kohlhase, M. (1994). A mechanization of strong Kleene logic for partial functions. In Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 (pp. 371-385). Springer Verlag.
Huang, X., Kerber, M., Kohlhase, M., Melis, E., & Siekmann, J. (1994). Keim: A toolkit for automated deduction. In Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 (pp. 807-810). Springer Verlag.
Kohlhase, M. (1994). Unification in an extensional lambda calculus with ordered function sorts and constant overloading. In Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 (pp. 620-634). Springer Verlag.
Kohlhase, M. (1994). Unification in a sorted λ-calculus with term declarations and function sorts. In Proceedings of the 18th Annual German Conference on Artificial Intelligence, KI 1994 (pp. 331-342). Springer Verlag.
Huang, X., Kerber, M., Kohlhase, M., Melis, E., & Siekmann, J. (1994). Ω-MKRP: A proof development environment. In Proceedings of the 12th International Conference on Automated Deduction, CADE-12 1994 (pp. 788-792). Springer Verlag.
Kohlhase, M., & Pfenning, F. (1993). UNIFICATION IN A LAMBDA-CALCULUS WITH INTERSECTION TYPES. In Proceedings of the International Logic Programming Symposion ILPS'93 (pp. 488-505).

Last updated on 2019-01-08 at 07:44