Prof. Dr. Michael Kohlhase


Persönliche Webseite: http://kwarc.info/kohlhase
Scopus Autoren ID: 55885173500



Organisationseinheit


Professur für Wissensrepräsentation und -verarbeitung
Lehrstuhl für Informatik 8 (Theoretische Informatik)



Projektleitung

Go to first page Go to previous page 1 von 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: Open Digital Research Environment Toolkit for the Advancement of Mathematics
Michael Kohlhase
(01.09.2015 - 31.08.2019)


Publikationen (Download BibTeX)

Go to first page Go to previous page 1 von 16 Go to next page Go to last page

Wiesing, T., & Kohlhase, M. (2018). A proposal for an openMath JSON encoding. In Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation. CEUR-WS.
Müller, D., Kohlhase, M., & Rabe, F. (2018). Automatically finding theory morphisms for knowledge management. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 209-224). Springer Verlag.
Kohlhase, A., Kohlhase, M., & Ouypornkochagorn, T. (2018). Discourse phenomena in mathematical documents. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 147-163). Springer Verlag.
Kohlhase, M., Kohlhase, A., & Ouypornkochagorn, T. (2018). Discourse phenomena in mathematical documents. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 147-163). Springer Verlag.
Pollinger, T., Kohlhase, M., & Köstler, H. (2018). Knowledge amalgamation for computational science and engineering. In Proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018 (pp. 232-247). Springer Verlag.
Müller, D., Kohlhase, M., Koprucki, T., Tabelow, K., & Rabe, F. (2018). Model pathway diagrams for the representation of mathematical models. Optical and Quantum Electronics, 50(2). https://dx.doi.org/10.1007/s11082-018-1321-7
Schaefer, J.F., & Kohlhase, M. (2018). Syntactic/semantic analysis for high-precision math linguistics. In Proceedings of the Joint 2018 Computer Mathematics in Education - Enlightenment or Incantation, CME-EI 2018, Formal Mathematics for Mathematicians, FMM 2018, Computer Algebra in the Age of Types, CAAT 2018, Formal Verification of Physical Systems, FVPS 2018, Mathematical Models and Mathematical Software as Research Data 2018, M3SRD 2018 and 29th OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics, CICM-WS 2018. CEUR-WS.
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.

Zuletzt aktualisiert 2019-22-01 um 17:50