Lehrangebot Sommersemester 2026 - Institut Künstliche Intelligenz

Version vom 19.02.2026

Computational Logic

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut
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
Analyse eines Forschungsthemas: Computational Logic INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Rudolph Künstliche Intelligenz
Analyse eines Forschungsthemas: Computational Logic INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Rudolph Künstliche Intelligenz
Bachelorseminar: Computational Logic INF-25-BA-BASE 0/4/0 deutsch Prof. Rudolph Künstliche Intelligenz
Belegseminar: Computational Logic INF-25-MA-BSEM 0/4/0 deutsch Prof. Rudolph Künstliche Intelligenz
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
Forschungsprojekt Computational Logic INF-MA-PR , INF-PM-FPA , INF-PM-FPG 0/0/8 deutsch Prof. Rudolph Künstliche Intelligenz
Forschungsprojekt Computational Logic (CMS) CMS-PRO 0/0/12 englisch Prof. Rudolph, Dr. Gaggl, Dr. habil. Straß Künstliche Intelligenz
Forschungsprojekt: Computational Logic INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Rudolph Künstliche Intelligenz
Forschungsseminar Logik und KI INF-AQUA , INF-PM-FOR 0/2/0 englisch Prof. Rudolph, Dr. habil. Straß Künstliche Intelligenz
Großer Beleg: Computational Logic INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Rudolph Künstliche Intelligenz
Großer Beleg: Computational Logic INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Rudolph Künstliche Intelligenz
Introduction to Existential Rules CMS-LM-ADV , INF-25-MA-FTK-ASAI , INF-BAS2 2/2/0 englisch Prof. Rudolph Künstliche Intelligenz
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
Profilprojekt Anwendungsforschung in der Informatik: Computational Logic INF-PM-FPA 8P/PB deutsch Prof. Rudolph Künstliche Intelligenz
Profilprojekt Grundlagenforschung in der Informatik: Computational Logic INF-PM-FPG 8P/PB deutsch Prof. Rudolph Künstliche Intelligenz
Project Group Computational Logic MCL-P 0/0/4 englisch Prof. Rudolph Künstliche Intelligenz
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
Teamprojekt Computational Logic (CMS) CMS-LM-TEA 0/0/8 englisch Prof. Rudolph, Dr. Gaggl, Dr. habil. Straß Künstliche Intelligenz
Theoretische Informatik und Logik INF-25-BA-LUK , INF-B-290 , INF-D-330 , INF-LE-EUI 4/2/0 deutsch Prof. Krötzsch Theoretische Informatik

Rechnergestützte Systemwissenschaften

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut
Analyse eines Forschungsthemas: Rechnergestützte Systemwissenschaften INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Dr. Kühne Künstliche Intelligenz
Analyse eines Forschungsthemas: Rechnergestützte Systemwissenschaften INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Dr. Kühne Künstliche Intelligenz
Bachelorseminar: Rechnergestützte Systemwissenschaften INF-25-BA-BASE 0/4/0 deutsch Prof. Dr. Kühne Künstliche Intelligenz
Belegseminar: Rechnergestützte Systemwissenschaften INF-25-MA-BSEM 0/4/0 deutsch Prof. Dr. Kühne Künstliche Intelligenz
Forschungsprojekt: Rechnergestützte Systemwissenschaften INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Dr. Kühne Künstliche Intelligenz
Großer Beleg: Rechnergestützte Systemwissenschaften INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Dr. Kühne Künstliche Intelligenz
Großer Beleg: Rechnergestützte Systemwissenschaften INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Dr. Kühne Künstliche Intelligenz
Profilprojekt Anwendungsforschung in der Informatik: Rechnergestützte Systemwissenschaften INF-PM-FPA 8P/PB deutsch Prof. Dr. Kühne Künstliche Intelligenz
Profilprojekt Grundlagenforschung in der Informatik: Rechnergestützte Systemwissenschaften INF-PM-FPG 8P/PB deutsch Prof. Dr. Kühne Künstliche Intelligenz

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
Seminar Knowledge Graph Representation Learning CMS-SEM-A , INF-PM-FOR 0/2/0 englisch Hon.-Prof. Dr. Lehmann Künstliche Intelligenz

Maschinelles Lernen für Computer Vision

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

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

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

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

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut
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
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
Bachelorseminar: Maschinelles Lernen für das Räumliche Verständnis INF-25-BA-BASE 0/4/0 deutsch Prof. Dr. Weigert Künstliche Intelligenz
Belegseminar: Maschinelles Lernen für das Räumliche Verständnis INF-25-MA-BSEM 0/4/0 deutsch Prof. Dr. Weigert Künstliche Intelligenz
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
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
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
Literature Studies in Applied Deep Learning for Vision CMS-SEM-B 0/2/0 englisch Prof. Dr. Weigert Künstliche Intelligenz
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
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
Team project CMS-AAI-TEA , CMS-CLS-TEA 0/0/4 englisch Prof. Dr. Weigert Künstliche Intelligenz

Softwaremethoden zur Produkt-Virtualisierung

Wissensbasierte Künstliche Intelligenz (ScaDS.AI)

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

Wissenschaftliches Rechnen für Systembiologie

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut
Analyse eines Forschungsthemas: Wissenschaftliches Rechnen für Systembiologie INF-D-960 Projektbearbeitungen (15 Wochen) deutsch Prof. Sbalzarini Künstliche Intelligenz
Analyse eines Forschungsthemas: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Sbalzarini Künstliche Intelligenz
Bachelorseminar: Wissenschaftliches Rechnen für Systembiologie INF-25-BA-BASE 0/4/0 deutsch Prof. Sbalzarini Künstliche Intelligenz
Belegseminar: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-BSEM 0/4/0 deutsch Prof. Sbalzarini Künstliche Intelligenz
Computational Life Science Seminar CMS-SEM-C 0/2/0 englisch Dr. Gopan Künstliche Intelligenz
Forschungsprojekt Algorithmen für die Systembiologie INF-PM-FPG 8P/PB englisch Prof. Sbalzarini Künstliche Intelligenz
Forschungsprojekt angewandte rechnergestützte Lebenswissenschaften INF-PM-FPA 8P/PB englisch Prof. Sbalzarini Künstliche Intelligenz
Forschungsprojekt Computational Biology CMS-PRO 0/0/12 englisch Prof. Sbalzarini Künstliche Intelligenz
Forschungsprojekt: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Sbalzarini Künstliche Intelligenz
Großer Beleg: Wissenschaftliches Rechnen für Systembiologie INF-D-950 Projektbearbeitungen (20 Wochen) deutsch Prof. Sbalzarini Künstliche Intelligenz
Großer Beleg: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Sbalzarini Künstliche Intelligenz
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 Künstliche Intelligenz
Profilprojekt Anwendungsforschung in der Informatik: Wissenschaftliches Rechnen für Systembiologie INF-PM-FPA 8P/PB deutsch Prof. Sbalzarini Künstliche Intelligenz
Profilprojekt Grundlagenforschung in der Informatik: Wissenschaftliches Rechnen für Systembiologie INF-PM-FPG 8P/PB deutsch Prof. Sbalzarini Künstliche Intelligenz
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
Teamprojekt Computational Biology CMS-CLS-TEA 8P/PB englisch Prof. Sbalzarini Künstliche Intelligenz

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