Professur für Wissensrepräsentation und -verarbeitung


Beschreibung:

Die Fähigkeit, Wissen zu Repräsentieren und daraus logische Schlüsse zu ziehen ist eine der zentralen Komponenten intelligenten Verhaltens. Daher haben viele Systeme der Künstlichen Intelligenz irgendeine Form von Inferenzkomponenten an zentraler Stelle.

Die Arbeitsgruppe zur Wissensrepräsentation und -Management an der FAU führt Grundlagen- und Anwendungsorientierte Forschung durch. Wir erweitern Techniken aus den Formalen Methoden so dass sie in Situationen angewendet werden können in denen Formalisierung entweder unmöglich oder zu kostspielig ist, z.B. durch Auszeichnungssprachen für die strukturelle Semantik technischer Dokumente. Diese Ebene der Auszeichnung unterstützt interessante Wissensmanagement-Services ohne dass die volle Semantik formalisiert werden müßte. 

Hauptanwendungsgebiet der Gruppe ist die Repräsentation und Management mathematischen Wissens. In der Mathematik treten die Wissensstrukturen besonders deutlich zutage, und (im Gegensatz zu anderen Wissensgebieten) sind die Eigenschaften der untersuchten Objekte nahezu vollkommen verstanden.

Adresse:
Martensstraße 3
91058 Erlangen


Forschungsprojekt(e)


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: Ein Offenes Archiv für Formalisierungen
Prof. Dr. Michael Kohlhase; PD Dr. Florian Rabe
(01.01.2014 - 30.06.2020)



Publikationen (Download BibTeX)

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

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.
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.
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.
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.
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.
Hungerbühler, S., Jóhnsson, H.P., Lisowski, G., & Rapp, M. (2019). Social Choice and the Problem of Recommending Essential Readings. In Eric Pacuit, Jennifer Sikos (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 62-78). Sofia, BG: Springer Verlag.
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
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). 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, 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.
Bercic, K., & Vidali, J. (2018). DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. In Proceedings of the ICMS (pp. 36-44). Notre Dame, USA.
Rabe, F. (Ed.) (2018). Intelligent Computer Mathematics. Springer.
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., & 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.

Zuletzt aktualisiert 2019-24-04 um 10:15