Professur für Wissensrepräsentation und -verarbeitung

Subtyping in Dependently-Typed Higher-Order Logic (2026) Rothgang C, Rabe F Conference contribution Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations (2026) Kelber J, Kohlhase M, Schäfer JF, Schütz M Conference contribution Semantic Authoring in a Flexiformal Context — Bulk Annotation of Rigorous Documents (2026) Kohlhase M, Schäfer JF Conference contribution A Framework for Evaluating AI Powered Learning Platforms in K-12 and University CS Education (2025) Grelka F, Kruse-Kurbach T, Berges M Conference contribution Efficient Exam Correction at Scale: Streamlining Paper-Based Assessments with the VoLl-KOrN System (2025) Betzendahl J, Lohr D, Berges M, Kohlhase M Book chapter / Article in edited volumes Objektbiografie – Ein Ansatz für die integrative Datenmodellierung: Eigenschaften, Chancen und Anwendungsmöglichkeiten (2025) Wagner S, Görz G, Gerber A Conference contribution, Conference Contribution Maschinelles Schliessen mit s(CASP) - Anmeldung eines neuen Geschäftsführers einer GmbH zum Handelsregister (2025) Adrian A, Evert S, Gritz M, Stürmer V, Lindner J, Blöcher M, Kohlhase M, et al. Journal article Leveraging Large Language Models to Generate Course-specific Semantically Annotated Learning Objects (2024) Lohr D, Berges M, Chugh A, Kohlhase M, Müller D Journal article, Original article DIREGA – Building Decision Support for German Register Law (2024) Adrian A, Basaran A, Dykes N, Evert S, Gritz M, Humml M, Kohlhase M, et al. Conference contribution, Abstract of a poster Term Extraction for Domain Modeling (2024) Kruse-Kurbach T, Lohr D, Berges M, Kohlhase M, Moghbeli Damaneh H, Schütz M Conference contribution, Conference Contribution