Explore projects

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

Practice (quiz) problems for the course AI-1/2 provided by Praveen; to be moved to the respective archives later after proof-reading

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

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