Professur für Wissensrepräsentation und -verarbeitung


Description:

The ability to represent knowledge about the world and to draw logical inferences
is one of the central components of intelligent behavior, as a
consequence, reasoning components of some form are at the heart of many
artificial intelligence systems.

The KWARC research group
conducts research in knowledge representation and reasoning techniques
with a view towards applications in knowledge management. We extend
techniques from formal methods
so that they can be used in settings where formalization is either
infeasible or too costly. We concentrate on developing techniques for
marking up the structural semantics in technical documents. This level of markup allows for offering interesting knowledge management services without forcing the author to formalize the document contents.

Address:
Martensstraße 3
91058 Erlangen


Related Project(s)


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)


OAF: An Open Archive of Formalizations
Prof. Dr. Michael Kohlhase; PD Dr. Florian Rabe
(01/01/2014 - 30/06/2020)



Publications (Download BibTeX)

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

Amann, K., Kohlhase, M., Rabe, F., & Wiesing, T. (2019). Integrating Semantic Mathematical Documents and Dynamic Notebooks. In Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 275-290). Prague, CZ: Springer Verlag.
Bercic, K., Kohlhase, M., & Rabe, F. (2019). Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation. In Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 28-43). Prague, CZ: Springer Verlag.
Rabe, F., & Sharoda, Y. (2019). Diagram Combinators in MMT. In Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 211-226). Prague, CZ: Springer Verlag.
Condoluci, A., Kohlhase, M., Müller, D., Rabe, F., Sacerdoti Coen, C., & Wenzel, M. (2019). Relational Data Across Mathematical Libraries. In Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 61-76). Prague, CZ: Springer Verlag.
Wagner, S., Görz, G., Fichtner, M., & Andraschke, U. (2019). Joint digitization of heterogeneous university collections using semantic web technologies. In Antonella Poggi (Eds.), CEUR Workshop Proceedings (pp. 27-36). Rome, IT: CEUR-WS.
Müller, D., & Rabe, F. (2019). Structuring Theories with Implicit Morphisms.
Müller, D., Rabe, F., & Sacerdoti Coen, C. (2019). The Coq Library as a Theory Graph. In Claudio Sacerdoti Coen, Andrea Kohlhase, Edwin Brady, Cezary Kaliszyk (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 171-186). Prague: 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
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.
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.
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.
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.
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.
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.
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.
Bercic, K., & Vidali, J. (2018). DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. In Proceedings of the ICMS (pp. 36-44). Notre Dame, USA.
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.
Rabe, F. (Ed.) (2018). Intelligent Computer Mathematics. Springer.
Rabe, F. (2017). How to Identify, Translate, and Combine Logics? Journal of Logic and Computation, 27(6), 1753--1798.

Last updated on 2019-24-04 at 10:15