Professur für Wissensrepräsentation und -verarbeitung

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 Theorem Proving in Dependently-Typed Higher-Order Logic (2023) Rothgang C, Rabe F, Benzmüller C Conference contribution Learning with ALeA: Tailored experiences through annotated course material (2023) Kruse T, Berges M, 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 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