Explore projects

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

Semantic Multilingual (one day...) Glossary of the Law

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

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

Logic Atlas, Version 2

The slides and course notes of the course General Computer Science at Jacobs University.

The SMGloM modules for calculus

Flexiformalization of Concepts from Epistemology and Metaphysics - The Philosophy of Science