Explore projects

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

The slides and course notes of the course Computational NL Semantics.

Elementary set theory for the SMGloM

The problems of the course General Computer Science at Jacobs University.

The course materials for the Lecture Logic Based Language Processing at FAU

The slides and course notes of the course Computational Logic.

The problems for the lecture Logic Based Language Processing at FAU

The Course General ICT at Jacobs University

Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.

The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

The homework assignments and exams for the LBS course at FAU (public)