Professur für Wissensrepräsentation und -verarbeitung

Learning with ALeA: Tailored experiences through annotated course material (2023) Kruse T, Berges MP, Betzendahl J, Kohlhase M, Lohr D, Müller D Conference contribution, Conference Contribution VON OBJEKT- UND META-EBENEN: ANALYSE DER SOFTWAREANFORDERUNGEN COMPUTERGESTÜTZTER JURISTISCHER ENTSCHEIDUNGEN (2022) Adrian A, Rapp M, Steen A Journal article Palliativversorgung in Zeiten der COVID-19-Pandemie: Wandelt sich die öffentliche Wahrnehmung? (Abstract) (2022) Peters J, Rabenstein U, Heckel M, Breindl E, Ostgathe C Journal article System Description STEX3-A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents (2022) Kohlhase M, Müller D Conference contribution Injecting Formal Mathematics Into LATEX (2022) Müller D, Kohlhase M Conference contribution Explaining Image Classifications with Near Misses, Near Hits and Prototypes: Supporting Domain Experts in Understanding Decision Boundaries (2022) Herchenbach M, Müller D, Scheele S, Schmid U Conference contribution Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking (2022) Kohlhase A, Kohlhase M Conference contribution MioGatto: A Math Identifier-oriented Grounding Annotation Tool (2022) Asakura T, Miyao Y, Aizawa A, Kohlhase M Conference contribution Dynamic User Interfaces via Incremental Knowledge Management (2022) Kohlhase M, Marcus R, Roux N, Schihada J Conference contribution Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics (2022) Betzendahl J Conference contribution