Explore projects

The Formalizations for the UFrameIT-based serious game FrameWorld.

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

The slides and course notes of the course Computational Logic.

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

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

An SMGloM Archive for Logic

The problems for the lecture Logic Based Language Processing at FAU

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

Homework/Quiz problems for AI lectures

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

The SMGloM modules for elementary algebra.

The SMGloM modules on linear algebra.

Elementary set theory for the SMGloM

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

Basics for formal grammars