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 2 of 17 Go to next page Go to last page

Müller, D., Kohlhase, M., & Rabe, F. (2018). Theories as Types. In Proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 (pp. 575-590). Springer Verlag.
Kohlhase, M. (2018). Towards context graphs for argumentation logics. In Proceedings of the 2018 Conference "Learning, Knowledge, Data, Analytics", LWDA 2018 (pp. 203-214). CEUR-WS.
Kohlhase, M., & Betzendahl, J. (2018). Translating the IMPS theory library to MMT/OMDoc. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 7-22). Springer Verlag.
Müller, D., Kohlhase, M., & Rupprecht, M. (2017). A Flexible, Interactive Theory-Graph Viewer. In Proceedings of the CICM 2017.
Kaliszyk, C., Kohlhase, M., Müller, D., & Rabe, F. (2017). A standard for aligning mathematical concepts. In Proceedings of the 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 (pp. 229-244). CEUR-WS.
Kohlhase, M., Müller, D., Rabe, F., Kaliszyk, C., & Gauthier, T. (2017). Classification of alignments between concepts of formal mathematical systems. In 10th International Conference on Intelligent Computer Mathematics, CICM 2017 (pp. 83-98). Springer Verlag.
Kohlhase, M., Müller, D., & Rochau, D. (2017). FrameIT reloaded: Serious math games from modular math ontologies. In 2016 Joint Formal Mathematics for Mathematicians, FM4M 2016, 11th Workshop on Mathematical User Interfaces, MathUI 2016, and 2016 Workshop on Theorem Proving Components for Educational Software, ThEdu 2016, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS-WIP 2016 (pp. 245-259). CEUR-WS.
Kohlhase, M., de Feo, L., Müller, D., Pfeiffer, M., Rabe, F., & Wiesing, T. (2017). Knowledge-based interoperability for mathematical software systems. In Proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 (pp. 195-210). Springer Verlag.
Kohlhase, M., Müller, D., Pfeiffer, M., Rabe, F., Thiery, N., Vasilyev, V., & Wiesing, T. (2017). Knowledge-Based Interoperability for Mathematical Software Systems. In Johannes Blömer and Temur Kutsia and Dimitris Simos (Eds.), MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences (pp. 195-210). Springer.
Kohlhase, M., Müller, D., Owre, S., & Rabe, F. (2017). Making PVS accessible to generic services by interpretation in a universal format. In Proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017 (pp. 319-335). Springer Verlag.

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