Course Catalog Sommersemester 2026 - Institute Künstliche Intelligenz

Version Date 10.04.2026

Computational Logic

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Algorithmic Game Theory CMS-LM-ADV , CMS-LM-AI , INF-25-MA-FTK-ASAI , INF-25-MA-FTK-TI , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-PM-FOR , INF-VERT2 , INF-VERT6 , MCL-AI , MCL-TCSL 2/2/0 english Dr. habil. Straß Künstliche Intelligenz V
V
Ü
Ü
Ü
Donnerstag
Montag
Donnerstag
Donnerstag
Freitag
5.
3.
2.
4.
2.
APB/E006/U
BEY/0E39/U
APB/E007/U
APB/E001/U
APB/E001/U
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
Analyse eines Forschungsthemas: Computational Logic INF-D-960 Projektbearbeitungen (15 Wochen) german Prof. Rudolph Künstliche Intelligenz TBA TBA
Analyse eines Forschungsthemas: Computational Logic INF-25-MA-AFT Projekte (40 Stunden) german/english Prof. Rudolph Künstliche Intelligenz TBA TBA
Bachelorseminar: Computational Logic INF-25-BA-BASE 0/4/0 german Prof. Rudolph Künstliche Intelligenz TBA TBA
Belegseminar: Computational Logic INF-25-MA-BSEM 0/4/0 german/english Prof. Rudolph Künstliche Intelligenz TBA TBA
Introduction to Formal Concept Analysis CMS-LM-ADV , INF-25-MA-FTK-ASAI , INF-BAS2 2/2/0 english Prof. Rudolph Künstliche Intelligenz V
Ü
Montag
Montag
3.
2.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Research Project Computational Logic INF-MA-PR , INF-PM-FPA , INF-PM-FPG 0/0/8 german Prof. Rudolph Künstliche Intelligenz TBA TBA
Research Project Computational Logic (CMS) CMS-PRO 0/0/12 english Prof. Rudolph, Dr. Gaggl, Dr. habil. Straß Künstliche Intelligenz TBA TBA
Forschungsprojekt: Computational Logic INF-25-MA-FP Projekte (100 Stunden) german/english Prof. Rudolph Künstliche Intelligenz TBA TBA
Research Seminar Logic and AI INF-AQUA , INF-PM-FOR 0/2/0 english Prof. Rudolph, Dr. habil. Straß Künstliche Intelligenz TBA TBA
Großer Beleg: Computational Logic INF-D-950 Projektbearbeitungen (20 Wochen) german Prof. Rudolph Künstliche Intelligenz TBA TBA
Großer Beleg: Computational Logic INF-25-MA-GB Projekte (100 Stunden) german/english Prof. Rudolph Künstliche Intelligenz TBA TBA
Introduction to Existential Rules CMS-LM-ADV , INF-25-MA-FTK-ASAI , INF-BAS2 2/2/0 english Prof. Rudolph Künstliche Intelligenz V Montag 5. APB/E005/U wöchentlich
Logic-Based Knowledge Representation CMS-SEM-A , INF-04-HS , INF-AQUA , INF-D-940 , INF-PM-FOR , MCL-PS 0/2/0 english Dr. Gaggl Künstliche Intelligenz Ü Montag 6. APB/E005/U wöchentlich
Profilprojekt Anwendungsforschung in der Informatik: Computational Logic INF-PM-FPA 8P/PB german Prof. Rudolph Künstliche Intelligenz TBA TBA
Profilprojekt Grundlagenforschung in der Informatik: Computational Logic INF-PM-FPG 8P/PB german Prof. Rudolph Künstliche Intelligenz TBA TBA
Project Group Computational Logic MCL-P 0/0/4 english Prof. Rudolph Künstliche Intelligenz TBA TBA
Proof Theory and Sequent Systems CMS-LM-ADV , CMS-LM-MOC , INF-25-MA-FTK-ASAI , INF-BAS6 , INF-PM-FOR , INF-VERT6 2/0/0 english Dr. Lyon Künstliche Intelligenz V Freitag 3. APB/E001/U wöchentlich
Team Project Computational Logic (CMS) CMS-LM-TEA 0/0/8 english Prof. Rudolph, Dr. Gaggl, Dr. habil. Straß Künstliche Intelligenz TBA TBA

Rechnergestützte Systemwissenschaften

back to top
This chair offers no courses within the current semester

Datenwissenschaften (ScaDS.AI)

back to top
This chair offers no courses within the current semester

Intelligente Informationssysteme (Honorarprofessur)

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Seminar Knowledge Graph Representation Learning CMS-AAI-AV , CMS-SEM-A , INF-PM-FOR 0/2/0 english Hon.-Prof. Dr. Lehmann Künstliche Intelligenz Ü Montag 4. APB/E007/U wöchentlich

Maschinelles Lernen für Computer Vision

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Analyse eines Forschungsthemas: Maschinelles Lernen für Computer Vision INF-25-MA-AFT Projekte (40 Stunden) german/english Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Analysis of a Research Topic: Machine Learning for Computer Vision INF-D-960 Projektbearbeitungen (15 Wochen) german Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Bachelorseminar: Maschinelles Lernen für Computer Vision INF-25-BA-BASE 0/4/0 german Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Belegseminar: Maschinelles Lernen für Computer Vision INF-25-MA-BSEM 0/4/0 german/english Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Team Project Machine Learning and Computer Vision CMS-AAI-TEA 8P/PB english Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Forschungsprojekt: Maschinelles Lernen für Computer Vision INF-25-MA-FP Projekte (100 Stunden) german/english Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Großer Beleg: Maschinelles Lernen für Computer Vision INF-D-950 Projektbearbeitungen (20 Wochen) german Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Großer Beleg: Maschinelles Lernen für Computer Vision INF-25-MA-GB Projekte (100 Stunden) german/english Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Machine Learning 2 CMS-AAI-AV , CMS-LM-AI , CMS-VC-ELV1 , CMS-VC-ELV2 , INF-BAS2 , INF-PM-FOR , INF-VERT2 2/2/0 english Prof. Dr. Andres Künstliche Intelligenz V
Ü
Montag
Dienstag
3.
3.
APB/E023/U
APB/E023/U
wöchentlich
wöchentlich
Machine Learning Seminar CMS-SEM-G 0/2/0 english Prof. Dr. Andres Künstliche Intelligenz Ü Freitag 2. APB/E008/U wöchentlich
Profilprojekt Anwendungsforschung in der Informatik: Maschinelles Lernen für Computer Vision INF-PM-FPA 8P/PB german Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Profilprojekt Grundlagenforschung in der Informatik: Maschinelles Lernen für Computer Vision INF-PM-FPG 8P/PB german Prof. Dr. Andres Künstliche Intelligenz TBA TBA

Machine Learning for Robotics (ab SoSe25; vorm. Explainable Artificial Intelligence)

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Analyse eines Forschungsthemas: Machine Learning for Robotics INF-D-960 Projektbearbeitungen (15 Wochen) german Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Analyse eines Forschungsthemas: Machine Learning for Robotics INF-25-MA-AFT Projekte (40 Stunden) german/english Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Bachelorseminar: Machine Learning for Robotics INF-25-BA-BASE 0/4/0 german Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Belegseminar: Machine Learning for Robotics INF-25-MA-BSEM 0/4/0 german/english Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
CMS Research Project Robot Learning CMS-LM-AI , CMS-PRO 0/0/12 english Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Research Project Robot Learning INF-MA-PR , INF-PM-FPG 0/0/8 english Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Forschungsprojekt: Machine Learning for Robotics INF-25-MA-FP Projekte (100 Stunden) german/english Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Research Seminar Robot Learning CMS-SEM-B , INF-AQUA 0/2/0 english Prof. Dr. Calandra Künstliche Intelligenz Ü Dienstag 3. APB/E007/U wöchentlich
Großer Beleg: Machine Learning for Robotics INF-D-950 Projektbearbeitungen (20 Wochen) german Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Großer Beleg: Machine Learning for Robotics INF-25-MA-GB Projekte (100 Stunden) german/english Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Advanced Research Project Robot Learning CMS-LM-AI , INF-MA-PR , INF-PM-FPG 0/0/8 english Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Machine Learning for Robotics CMS-AAI-RL , CMS-CE-EL1 , CMS-CE-EL2 , CMS-CLS-ELG , CMS-CLS-ELV , CMS-LM-AI , CMS-VC-ELV1 , CMS-VC-ELV2 , INF-25-MA-FVC-RL , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS7 , INF-PM-FOR , INF-VERT2 , INF-VERT7 2/2/0 english Prof. Dr. Calandra Künstliche Intelligenz V
Ü
Montag
Dienstag
2.
2.
APB/E023/U
TOE/0317/H
wöchentlich
wöchentlich
Profilprojekt Anwendungsforschung in der Informatik: Machine Learning for Robotics INF-PM-FPA 8P/PB german Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Profilprojekt Grundlagenforschung in der Informatik: Machine Learning for Robotics INF-PM-FPG 8P/PB german Prof. Dr. Calandra Künstliche Intelligenz TBA TBA
Group Research Project Robot Learning CMS-AAI-TEA , CMS-VC-TEA 0/0/8 english Prof. Dr. Calandra Künstliche Intelligenz TBA TBA

Maschinelles Lernen für das Räumliche Verständnis (ScaDS.AI)

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Analyse eines Forschungsthemas: Maschinelles Lernen für das Räumliche Verständnis INF-D-960 Projektbearbeitungen (15 Wochen) german Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
Analyse eines Forschungsthemas: Maschinelles Lernen für das Räumliche Verständnis INF-25-MA-AFT Projekte (40 Stunden) german/english Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
Bachelorseminar: Maschinelles Lernen für das Räumliche Verständnis INF-25-BA-BASE 0/4/0 german Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
Belegseminar: Maschinelles Lernen für das Räumliche Verständnis INF-25-MA-BSEM 0/4/0 german/english Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
CMS Research Project Deep Learning CMS-PRO 0/0/12 english Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
Forschungsprojekt: Maschinelles Lernen für das Räumliche Verständnis INF-25-MA-FP Projekte (100 Stunden) german/english Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
Großer Beleg: Maschinelles Lernen für das Räumliche Verständnis INF-D-950 Projektbearbeitungen (20 Wochen) german Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
Großer Beleg: Maschinelles Lernen für das Räumliche Verständnis INF-25-MA-GB Projekte (100 Stunden) german/english Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
Literature Studies in Applied Deep Learning for Vision CMS-SEM-B 0/2/0 english Prof. Dr. Weigert Künstliche Intelligenz Ü Mittwoch 4. Strehlener Strasse S14-745 wöchentlich
Profilprojekt Anwendungsforschung in der Informatik: Maschinelles Lernen für das Räumliche Verst. INF-PM-FPA 8P/PB german Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
Profilprojekt Grundlagenforschung in der Informatik: Maschinelles Lernen für das Räumliche Verst. INF-PM-FPG 8P/PB german Prof. Dr. Weigert Künstliche Intelligenz TBA TBA
Team Project - Deep learning for bioimage analysis CMS-AAI-TEA , CMS-CLS-TEA 0/0/4 english Prof. Dr. Weigert Künstliche Intelligenz TBA TBA

Softwaremethoden zur Produkt-Virtualisierung

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Literature Studies on Software Methods & Technologies for Virtual Aircraft CMS-SEM-F , INF-D-940 , INF-PM-FOR , INF-VERT2 , INF-VERT3 0/2/0 english Prof. Dr. Roller Künstliche Intelligenz Ü Freitag 8. TBA wöchentlich

Wissensbasierte Künstliche Intelligenz (ScaDS.AI)

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Analyse eines Forschungsthemas: Wissensbasierte Künstliche Intelligenz INF-D-960 Projektbearbeitungen (15 Wochen) german Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA
Analyse eines Forschungsthemas: Wissensbasierte Künstliche Intelligenz INF-25-MA-AFT Projekte (40 Stunden) german/english Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA
Bachelorseminar: Wissensbasierte Künstliche Intelligenz INF-25-BA-BASE 0/4/0 german Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA
Belegseminar: Wissensbasierte Künstliche Intelligenz INF-25-MA-BSEM 0/4/0 german/english Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA
Forschungsprojekt: Wissensbasierte Künstliche Intelligenz INF-25-MA-FP Projekte (100 Stunden) german/english Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA
Großer Beleg: Wissensbasierte Künstliche Intelligenz INF-D-950 Projektbearbeitungen (20 Wochen) german Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA
Großer Beleg: Wissensbasierte Künstliche Intelligenz INF-25-MA-GB Projekte (100 Stunden) german/english Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA
Profilprojekt Anwendungsforschung in der Informatik: Wissensbasierte Künstliche Intelligenz INF-PM-FPA 8P/PB german Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA
Profilprojekt Grundlagenforschung in der Informatik: Wissensbasierte Künstliche Intelligenz INF-PM-FPG 8P/PB german Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA
Seminar Large Language Models and Knowledge-aware AI CMS-LM-ADV , CMS-LM-AI , CMS-SEM-A , CMS-VC-ELV1 , CMS-VC-ELV2 , INF-AQUA , INF-PM-FOR , INF-VERT2 0/2/0 english Prof. Dr. Razniewski Künstliche Intelligenz TBA TBA

Wissenschaftliches Rechnen für Systembiologie

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Analyse eines Forschungsthemas: Wissenschaftliches Rechnen für Systembiologie INF-D-960 Projektbearbeitungen (15 Wochen) german Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz TBA TBA
Analyse eines Forschungsthemas: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-AFT Projekte (40 Stunden) german/english Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz TBA TBA
Bachelorseminar: Wissenschaftliches Rechnen für Systembiologie INF-25-BA-BASE 0/4/0 german Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz TBA TBA
Belegseminar: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-BSEM 0/4/0 german/english Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz TBA TBA
Computational Life Science Seminar CMS-SEM-C 0/2/0 english Dr. Gopan Künstliche Intelligenz Ü Dienstag 4. APB/E009/U wöchentlich
Research project Algorithms for Systems Biology INF-PM-FPG 8P/PB english Prof. Sbalzarini Künstliche Intelligenz TBA TBA
Research Project Applied Computational Life Science INF-PM-FPA 8P/PB english Prof. Sbalzarini Künstliche Intelligenz TBA TBA
Research Project Computational Biology CMS-PRO 0/0/12 english Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz TBA TBA
Forschungsprojekt: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-FP Projekte (100 Stunden) german/english Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz TBA TBA
Großer Beleg: Wissenschaftliches Rechnen für Systembiologie INF-D-950 Projektbearbeitungen (20 Wochen) german Prof. Sbalzarini Künstliche Intelligenz TBA TBA
Großer Beleg: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-GB Projekte (100 Stunden) german/english Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz TBA TBA
Particle Methods CMS-CE-EL1 , CMS-CE-EL2 , CMS-CLS-ELG , CMS-CMA-ELV1 , CMS-CMA-ELV2 , CMS-EE-EL1 , CMS-EE-EL2 , CMS-VC-ELV1 , CMS-VC-ELV2 2/2/0 english Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz V
Ü
Mittwoch
Freitag
3.
3.
APB/E023/U
APB/E009/U
wöchentlich
wöchentlich
Profilprojekt Anwendungsforschung in der Informatik: Wissenschaftliches Rechnen für Systembiologie INF-PM-FPA 8P/PB german Prof. Sbalzarini Künstliche Intelligenz TBA TBA
Profilprojekt Grundlagenforschung in der Informatik: Wissenschaftliches Rechnen für Systembiologie INF-PM-FPG 8P/PB german Prof. Sbalzarini Künstliche Intelligenz TBA TBA
Spatiotemporal Modeling and Simulation of Biological Systems CMS-CLS-MOS , CMS-VC-ELV1 , CMS-VC-ELV2 2/2/0 english Dr. Gopan Künstliche Intelligenz V
Ü
Dienstag
Dienstag
5.
6.
APB/E010/U
APB/E010/U
wöchentlich
wöchentlich
Team Project Computational Biology CMS-CLS-TEA 8P/PB english Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz TBA TBA

Wissensverarbeitung

back to top
This chair offers no courses within the current semester

Explainable Artificial Intelligence (ab SoSe25 siehe Machine Learning for Robotics)

back to top
This chair offers no courses within the current semester

Notes

back to top

Day/Room

  • ZVZ ... Time is to be announced or will be set on agreement between course participants
  • AVO ... Room is to be announced or will be set on agreement between course participants

Weeks

  • wöch. ... weekly
  • 1. Wo ... odd calendar week
  • 2. Wo ... even calendar week

semester as defined in the exam regulation. The modules are shown with their starting semester, thus modules taking more than one semester to complete may be shown with a lower semester number than the students actually have..

master level This course is intended for students in the master and diploma programs. This course is optional and only recommended for students with advanced knowledge.

module In addition to the modules of the Bachelor/Master/Diplom Informatik, Medieninformatik and Informationssystemtechnik programs the following modules for other study programs have been defined:

  • MCL-* ... Master Computational Logic
  • DSE-10* ... Master Distributed Systems Engineering (PO 2010)
  • DSE-14* ... Master Distributed Systems Engineering (PO 2014)
  • INF-LA* ... Bachelor/Master in Teachers Study Program
  • INF-SE* ... Staatsexamen Lehramt (Gymnasium, Mittelschule, berufsbildende Schulen)

and the following pseudo modules for older non-modularized study programs

  • INF-04* ... Diplom Informatik, exam and/or study regulation as of 2004
  • MINF-04* ... Diplom Medieninformatik, exam and/or study regulation as of 2004
  • IST-05* ... Diplom Informationssystemtechnik, exam and/or study regulations as of 2005-2010
  • INF-LE* ... Courses offered to students of other departments
  • FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Exams The type and duration of exams are defined in the module handbook. Exceptions thereof are modules INF-AQUA, INF-B-510/20/30/40, INF-B-610 and INF-D-940 - the offered courses explicitly state the exam type and duration. Possible exam types are as follows::

  • Presentation and seminar paper
  • P(m) ... oral Exam (with stated duration)
  • P(s) ... written exam (with stated duration)
  • P(PP) ... Practical course protocol / Lab protocol
  • P(sA) ... written excerpt
  • P(PA) ... project paper
  • P(PE) ... gradeable outcome of a internship or project

Course Catalog Sommersemester 2026 - Institute Künstliche Intelligenz