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
Courses
Courses
Semester
Winter Semester 2026/27
Summer Semester 2026
Winter Semester 2025/26
Summer Semester 2025
Winter Semester 2024/25
Winter Semester 2026/27
6.732 Oberseminar Hybrid AI
Summer Semester 2026
6.732 Oberseminar Hybrid AI
Winter Semester 2025/26
6.624 Logic for Computer Scientists
6.732 Oberseminar Hybrid AI
6.710 Oberseminar Computer Science
6.700 Seminar Large Language Models
6.644 Symbolic Knowledge Representation
Summer Semester 2025
6.608 Artificial Intelligence
6.642 Neuro-symbolic integration
6.732 Oberseminar Hybrid AI
6.710 Oberseminar Computer Science
Winter Semester 2024/25
6.624 Logic for Computer Scientists
6.732 Oberseminar Hybrid AI
6.710 Oberseminar Computer Science
6.700 Seminar Large Language Models