Explore projects

The slides and course notes of the course Computational Logic.

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

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

The problems for the lecture Logic Based Language Processing at FAU

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

The SMGloM modules for elementary algebra.

The language meta-level of SMGloM

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

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