Professur für Wissensrepräsentation und -verarbeitung


Auslegung des KI-VO-E zur Evaluation von Symbolischen Deduktionsverfahren der Künstlichen Intelligenz für juristische Anwendungen (2024) Adrian A, Keuchen M, Rapp M, Steen A Book chapter / Article in edited volumes Guided Tours in ALeA: Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects (2024) Betzendahl J, Kohlhase M, Müller D Conference contribution Predictions in Predictive Process Monitoring with Previously Unseen Categorical Values (2024) Roider J, Wang W, Zanca D, Matzner M, Eskofier B Conference contribution, Conference Contribution The Potential of Answer Classes in Large-scale Written Computer-Science Exams (2023) Lohr D, Berges M, Kohlhase M, Rabe F Conference contribution, Conference Contribution Learning Support Systems based on Mathematical Knowledge Management (2023) Berges M, Betzendahl J, Chugh A, Kohlhase M, Lohr D, Müller D Conference contribution, Conference Contribution The Y-Model - Formalization of Computer-Science Tasks in the Context of Adaptive Learning Systems (2023) Lohr D, Berges M, Kohlhase M, Müller D, Rapp M Conference contribution, Conference Contribution JURISTISCHE METHODENLEHRE 3.0: AUF DEM WEG ZU EINER MASCHINENGESTÜTZTEN METHODENWISSENSCHAFT (2023) Adrian A, Rapp M, Steen A Journal article Morphism Equality in Theory Graphs (2023) Rabe F, Weber F Conference contribution Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters (2023) Schäfer JF, Kohlhase M Conference contribution Extracting Theory Graphs from Aldor Libraries (2023) Rabe F, Watt SM Conference contribution