Explore projects

The problems for the lecture Logic Based Language Processing at FAU
Updated 
The slides and course notes for the course Artificial Intelligence at FAU ErlangenNürnberg
Updated 

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

The course materials for the Lecture Logic Based Language Processing at FAU
Updated 
The Course "LogikBasierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen
Updated 

Updated

Updated

Updated

The homework assignments and exams for the LBS course at FAU (public)
Updated 
The slides and course notes of the course Computational NL Semantics.
Updated 


Updated

Updated

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