Professur für Wissensrepräsentation und -verarbeitung

Making Isabelle Content Accessible in Knowledge Representation Formats (2020) Kohlhase M, Rabe F, Wenzel M Conference contribution Representing Structural Language Features in Formal Meta-languages (2020) Müller D, Rabe F, Rothgang C, Kohlhase M Conference contribution, Original article FrameIT: Detangling Knowledge Management from Game Design in Serious Games (2020) Kohlhase M, Bösl B, Marcus R, Müller D, Rochau D, Roux N, Schihada J, Stamminger M Conference contribution, Conference Contribution Towards constructive hybrid semantics (2020) Diezel TL, Goncharov S Conference contribution, Original article Tgview3d: A system for 3-dimensional visualization of theory graphs (2020) Marcus R, Kohlhase M, Rabe F Conference contribution Context graphs for legal reasoning and argumentation (2020) Rapp M, Adrian A, Kohlhase M Conference contribution, Original article GLIF: A Declarative Framework for Symbolic Natural Language Understanding (2020) Schaefer JF, Kohlhase M Conference contribution A survey of languages for formalizing mathematics (2020) Kaliszyk C, Rabe F Conference contribution Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge (2020) Carette J, Farmer WM, Kohlhase M, Rabe F Journal article Towards a heterogeneous query language for mathematical knowledge (2020) Bercic K, Kohlhase M, Rabe F Conference contribution