The Formalizations for the UFrameIT-based serious game FrameWorld.
The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
Slides and notes for talks held by Michael Kohlhase
The slides and course notes of the course General Computer Science at Jacobs University.
Basics for formal grammars
Elementary set theory for the SMGloM
Basic concepts about computers and programming
An SMGloM Archive for Logic
Glossary entries for Natural Language (Processing)
The slides and course notes for the course Text and Digital Media at Jacobs University
The slides and course notes of the course Computational Logic.
The slides and course notes of the course Computational NL Semantics.