Professur für Wissensrepräsentation und -verarbeitung

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 The Dependently Typed Higher-Order Form for the TPTP World (2026) Ranalter D, Kaliszyk C, Rabe F, Sutcliffe G Conference contribution Subtyping in Dependently-Typed Higher-Order Logic (2026) Rothgang C, Rabe F 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 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 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 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