Skip to content
Login
Open search modal
Open language menu:
Close language menu:
en
Choose language:
Deutsch
Current language:
English
Department of Mathematics/Computer Science/Physics
Institute of Computer Science
Open menu:
Close menu:
Team
Team
Members
Simon Flügel, M. Sc.
Björn Gehrke, M. Sc.
Prof. Dr. Till Mossakowski
Mirjam Stappel
Alumni
Open menu:
Close menu:
Research
Research
Energy
Distributed Ontology, Modeling and Specification Language (DOL)
Neurosymbolic integration
Supervised PhD theses
Former research projects
Open menu:
Close menu:
Teaching
Teaching
Courses
Supervised Bachelor and Master theses
Publications
Login
Open search modal
Open language menu:
Close language menu:
en
Choose language:
Deutsch
Current language:
English
Department of Mathematics/Computer Science/Physics
Institute of Computer Science
Open main menu
Close main menu
Open sub menu:
Close sub menu:
Team
Members
Simon Flügel, M. Sc.
Björn Gehrke, M. Sc.
Prof. Dr. Till Mossakowski
Mirjam Stappel
Alumni
Open sub menu:
Close sub menu:
Research
Energy
Distributed Ontology, Modeling and Specification Language (DOL)
Neurosymbolic integration
Supervised PhD theses
Former research projects
Open sub menu:
Close sub menu:
Teaching
Courses
Supervised Bachelor and Master theses
Publications
Login
Print this page
Visit us on Instagram
Visit us on Facebook
Visit us on YouTube
Visit us on LinkedIn
Modal
Close
What are you looking for?
Search
Topics
Facilities
Facilities
Applications
Topics
Application
Campuscard
Exams
Teacher Education
Study programs A-Z
Dates and deadlines
Course catalog
Facilities
Equal Opportunities Office
University Sports (in German)
Infopoint / StudiOS
International Office
Canteen
Presidium
Computer Center (in German)
Facilities
Language Center
Study Counseling Service
Admissions Office
Unishop
Library (in German)
virtUOS
ZePrOs
Applications
Committee information system (in German)
HISinOne
IT-Services (in German)
Site plans
People search
Stud.IP (in German)
Home
Teaching
Teaching
Prof. Dr. Till Mossakowski
Lehrveranstaltungen
Sommersemester 2025
Künstliche Intelligenz
Neurosymbolische Integration
Oberseminar Hybride KI
Oberseminar Informatik
Wintersemester 2024/25
Logik für Informatiker:innen
Oberseminar Hybride KI
Oberseminar Informatik
Seminar Large Language Models