Lehrangebot Sommersemester 2026 - Institut Künstliche Intelligenz

Version vom 20.03.2026

Computational Logic

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
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 englisch 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) deutsch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Analyse eines Forschungsthemas: Computational Logic INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Bachelorseminar: Computational Logic INF-25-BA-BASE 0/4/0 deutsch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Belegseminar: Computational Logic INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Einführung in die Formale Begriffsanalyse CMS-LM-ADV , INF-25-MA-FTK-ASAI , INF-BAS2 2/2/0 englisch Prof. Rudolph Künstliche Intelligenz V
Ü
Montag
Montag
3.
2.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Forschungsprojekt Computational Logic INF-MA-PR , INF-PM-FPA , INF-PM-FPG 0/0/8 deutsch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Forschungsprojekt Computational Logic (CMS) CMS-PRO 0/0/12 englisch Prof. Rudolph, Dr. Gaggl, Dr. habil. Straß Künstliche Intelligenz ZVZ AVO
Forschungsprojekt: Computational Logic INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Forschungsseminar Logik und KI INF-AQUA , INF-PM-FOR 0/2/0 englisch Prof. Rudolph, Dr. habil. Straß Künstliche Intelligenz ZVZ AVO
Großer Beleg: Computational Logic INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Großer Beleg: Computational Logic INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Introduction to Existential Rules CMS-LM-ADV , INF-25-MA-FTK-ASAI , INF-BAS2 2/2/0 englisch 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 englisch Dr. Gaggl Künstliche Intelligenz Ü Montag 6. APB/E005/U wöchentlich
Profilprojekt Anwendungsforschung in der Informatik: Computational Logic INF-PM-FPA 8P/PB deutsch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Computational Logic INF-PM-FPG 8P/PB deutsch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Project Group Computational Logic MCL-P 0/0/4 englisch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
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 englisch Dr. Lyon Künstliche Intelligenz V Freitag 3. APB/E001/U wöchentlich
Teamprojekt Computational Logic (CMS) CMS-LM-TEA 0/0/8 englisch Prof. Rudolph, Dr. Gaggl, Dr. habil. Straß Künstliche Intelligenz ZVZ AVO

Rechnergestützte Systemwissenschaften

nach oben
Dieser Lehrstuhl bietet in diesem Semester keine Lehrveranstaltungen an.

Datenwissenschaften (ScaDS.AI)

nach oben
Dieser Lehrstuhl bietet in diesem Semester keine Lehrveranstaltungen an.

Intelligente Informationssysteme (Honorarprofessur)

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Seminar Knowledge Graph Representation Learning CMS-AAI-AV , CMS-SEM-A , INF-PM-FOR 0/2/0 englisch Hon.-Prof. Dr. Lehmann Künstliche Intelligenz Ü Montag 4. APB/E007/U wöchentlich

Maschinelles Lernen für Computer Vision

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Analyse eines Forschungsthemas: Maschinelles Lernen für Computer Vision INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Analyse eines Forschungsthemas: Maschinelles Lernen für Computer Vision INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Bachelorseminar: Maschinelles Lernen für Computer Vision INF-25-BA-BASE 0/4/0 deutsch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Belegseminar: Maschinelles Lernen für Computer Vision INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
CMS Team Project Machine Learning and Computer Vision CMS-AAI-TEA 8P/PB englisch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Forschungsprojekt: Maschinelles Lernen für Computer Vision INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Großer Beleg: Maschinelles Lernen für Computer Vision INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Großer Beleg: Maschinelles Lernen für Computer Vision INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
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 englisch 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 englisch 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 deutsch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Maschinelles Lernen für Computer Vision INF-PM-FPG 8P/PB deutsch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO

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

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Analyse eines Forschungsthemas: Machine Learning for Robotics INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Analyse eines Forschungsthemas: Machine Learning for Robotics INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Bachelorseminar: Machine Learning for Robotics INF-25-BA-BASE 0/4/0 deutsch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Belegseminar: Machine Learning for Robotics INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
CMS Forschungsprojekt Roboter lernen CMS-LM-AI , CMS-PRO 0/0/12 englisch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Forschungsprojekt Roboter lernen INF-MA-PR , INF-PM-FPG 0/0/8 englisch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Forschungsprojekt: Machine Learning for Robotics INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Forschungsseminar Roboter Lernen CMS-SEM-B , INF-AQUA 0/2/0 englisch 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) deutsch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Großer Beleg: Machine Learning for Robotics INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Komplexpraktikum Roboter lernen CMS-LM-AI , INF-MA-PR , INF-PM-FPG 0/0/8 englisch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
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 englisch 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 deutsch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Machine Learning for Robotics INF-PM-FPG 8P/PB deutsch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO
Teamprojekt Roboter lernen CMS-AAI-TEA , CMS-VC-TEA 0/0/8 englisch Prof. Dr. Calandra Künstliche Intelligenz ZVZ AVO

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

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Analyse eines Forschungsthemas: Maschinelles Lernen für das Räumliche Verständnis INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Analyse eines Forschungsthemas: Maschinelles Lernen für das Räumliche Verständnis INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Bachelorseminar: Maschinelles Lernen für das Räumliche Verständnis INF-25-BA-BASE 0/4/0 deutsch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Belegseminar: Maschinelles Lernen für das Räumliche Verständnis INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
CMS Research Project Deep Learning CMS-PRO 0/0/12 englisch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Forschungsprojekt: Maschinelles Lernen für das Räumliche Verständnis INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Großer Beleg: Maschinelles Lernen für das Räumliche Verständnis INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Großer Beleg: Maschinelles Lernen für das Räumliche Verständnis INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Literature Studies in Applied Deep Learning for Vision CMS-SEM-B 0/2/0 englisch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Profilprojekt Anwendungsforschung in der Informatik: Maschinelles Lernen für das Räumliche Verst. INF-PM-FPA 8P/PB deutsch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Maschinelles Lernen für das Räumliche Verst. INF-PM-FPG 8P/PB deutsch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO
Team Project - Deep learning for bioimage analysis CMS-AAI-TEA , CMS-CLS-TEA 0/0/4 englisch Prof. Dr. Weigert Künstliche Intelligenz ZVZ AVO

Softwaremethoden zur Produkt-Virtualisierung

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
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 englisch Prof. Dr. Roller Künstliche Intelligenz Ü Freitag 8. AVO wöchentlich

Wissensbasierte Künstliche Intelligenz (ScaDS.AI)

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Analyse eines Forschungsthemas: Wissensbasierte Künstliche Intelligenz INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO
Analyse eines Forschungsthemas: Wissensbasierte Künstliche Intelligenz INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO
Bachelorseminar: Wissensbasierte Künstliche Intelligenz INF-25-BA-BASE 0/4/0 deutsch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO
Belegseminar: Wissensbasierte Künstliche Intelligenz INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO
Forschungsprojekt: Wissensbasierte Künstliche Intelligenz INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO
Großer Beleg: Wissensbasierte Künstliche Intelligenz INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO
Großer Beleg: Wissensbasierte Künstliche Intelligenz INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO
Profilprojekt Anwendungsforschung in der Informatik: Wissensbasierte Künstliche Intelligenz INF-PM-FPA 8P/PB deutsch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Wissensbasierte Künstliche Intelligenz INF-PM-FPG 8P/PB deutsch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO
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 englisch Prof. Dr. Razniewski Künstliche Intelligenz ZVZ AVO

Wissenschaftliches Rechnen für Systembiologie

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Analyse eines Forschungsthemas: Wissenschaftliches Rechnen für Systembiologie INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz ZVZ AVO
Analyse eines Forschungsthemas: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz ZVZ AVO
Bachelorseminar: Wissenschaftliches Rechnen für Systembiologie INF-25-BA-BASE 0/4/0 deutsch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz ZVZ AVO
Belegseminar: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz ZVZ AVO
Computational Life Science Seminar CMS-SEM-C 0/2/0 englisch Dr. Gopan Künstliche Intelligenz Ü Dienstag 4. APB/E009/U wöchentlich
Forschungsprojekt Algorithmen für die Systembiologie INF-PM-FPG 8P/PB englisch Prof. Sbalzarini Künstliche Intelligenz ZVZ AVO
Forschungsprojekt angewandte rechnergestützte Lebenswissenschaften INF-PM-FPA 8P/PB englisch Prof. Sbalzarini Künstliche Intelligenz ZVZ AVO
Forschungsprojekt Computational Biology CMS-PRO 0/0/12 englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz ZVZ AVO
Forschungsprojekt: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz ZVZ AVO
Großer Beleg: Wissenschaftliches Rechnen für Systembiologie INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Sbalzarini Künstliche Intelligenz ZVZ AVO
Großer Beleg: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz ZVZ AVO
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 englisch 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 deutsch Prof. Sbalzarini Künstliche Intelligenz ZVZ AVO
Profilprojekt Grundlagenforschung in der Informatik: Wissenschaftliches Rechnen für Systembiologie INF-PM-FPG 8P/PB deutsch Prof. Sbalzarini Künstliche Intelligenz ZVZ AVO
Spatiotemporal Modeling and Simulation of Biological Systems CMS-CLS-MOS , CMS-VC-ELV1 , CMS-VC-ELV2 2/2/0 englisch Dr. Gopan Künstliche Intelligenz V
Ü
Dienstag
Dienstag
5.
6.
APB/E010/U
APB/E010/U
wöchentlich
wöchentlich
Teamprojekt Computational Biology CMS-CLS-TEA 8P/PB englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz ZVZ AVO

Wissensverarbeitung

nach oben
Dieser Lehrstuhl bietet in diesem Semester keine Lehrveranstaltungen an.

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

nach oben
Dieser Lehrstuhl bietet in diesem Semester keine Lehrveranstaltungen an.

Anmerkungen

nach oben

Tag/Raum

  • ZVZ ... zur vereinbarten Zeit
  • AVO ... am vereinbarten Ort

Wochen

  • wöch. ... wöchentlich
  • 1. Wo ... ungerade Kalenderwoche
  • 2. Wo ... gerade Kalenderwoche

Semester im Sinne der Prüfungsordnung. Die Module werden mit dem jeweiligen Fachsemester ausgewiesen, in dem sie beginnen - Mehrsemestrige Module werden demzufolge mit einem ggf. niedrigeren Fachsemester ausgewiesen als die Studierenden tatsächlich sind..

Master-Niveau Die Lehrveranstaltung ist an Master- bzw. Diplomstudenten im Hauptstudium gerichtet. Diese Angebot ist optional und nur für fortgeschrittene Studenten empfohlen.

Module Zusätzlich zu den Modulen aus Bachelor/Master/Diplom Informatik, Medieninformatik und Informationssystemtechnik gibt es noch folgende Module für andere Studiengänge

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

und folgende Pseudo-Module für ältere Studiengänge und Sonstiges

  • INF-04* ... Diplom Informatik, Prüfungs-/ Studienordnung 2004
  • MINF-04* ... Diplom Medieninformatik, Prüfungs-/ Studienordnung 2004
  • IST-05* ... Diplom Informationssystemtechnik, Prüfungs-/ Studienordnung 2005-2010
  • INF-LE* ... Lehrexport an andere Fakultäten/Fachbereiche
  • FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Prüfungen Art und Dauer von Prüfungsleistungen sind den Modulbeschreibungen zu entnehmen. Ausnahmen hierfür sind die Module INF-AQUA, INF-B-510/20/30/40, INF-B-610 und INF-D-940 - hier wird die Prüfungsform der jeweiligen Lehrveranstaltung explizit angegeben. Mögliche Prüfungsformen sind:

  • Seminararbeit und Präsentation
  • P(m) ... mündliche Prüfung im angegebenen Umfang
  • P(s) ... schriftliche Prüfung im angegebenen Umfang
  • P(PP) ... Praktikumsprotokoll
  • P(sA) ... schriftliche Ausarbeitung
  • P(PA) ... Projektarbeit
  • P(PE) ... bewertbares Ergebnis des Praktikums

Lehrangebot Sommersemester 2026 - Institut Künstliche Intelligenz