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

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., 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., & 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.
Bercic, K., & Vidali, J. (2018). DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. In Proceedings of the ICMS (pp. 36-44). Notre Dame, USA.
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.
Rabe, F. (Ed.) (2018). Intelligent Computer Mathematics. Springer.
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.
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.
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.
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. (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., 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.
Wiesing, T., Kohlhase, M., & Rabe, F. (2017). Virtual theories – A uniform interface to mathematical knowledge bases. In Proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017 (pp. 243-257). Springer Verlag.
Rabe, F. (2017). A Modular Type Reconstruction Algorithm. ACM Transactions on Computational Logic.
Litak, T.M., Polzer, M., & Rabenstein, U. (2017). Negative Translations and Normal Modality. In Dale Miller (Eds.), (pp. 27:1--27:18). Oxford, GB: Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.
Kohlhase, M. (2017). Math object identifiers - Towards research data in mathematics. In Lernen, Wissen, Daten, Analyse - 2017 Learning. Knowledge. Data. Analytics, LWDA 2017 (pp. 241-252). Rostock, DE: CEUR-WS.
Kohlhase, M., Müller, D., Owre, S., & Rabe, F. (2017). Making PVS accessible to generic services by interpretation in a universal format. (pp. 319-335). Springer Verlag.

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