Lehrangebot Sommersemester 2026 - Institut Künstliche Intelligenz

Version vom 13.03.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/englisch 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 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-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
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

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
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

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/englisch 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-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

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/englisch 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 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-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Dr. Calandra Künstliche Intelligenz
Komplexpraktikum Roboter lernen CMS-LM-AI , INF-MA-PR 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-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
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/englisch Prof. Dr. Weigert Künstliche Intelligenz
CMS Research Project Deep Learning CMS-PRO 0/0/12 englisch 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-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
Team Project - Deep learning for bioimage analysis 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/englisch 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-25-MA-GB Projekte (100 Stunden) deutsch/englisch 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, Dr. Gopan Künstliche Intelligenz
Analyse eines Forschungsthemas: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-AFT Projekte (40 Stunden) deutsch/englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz
Bachelorseminar: Wissenschaftliches Rechnen für Systembiologie INF-25-BA-BASE 0/4/0 deutsch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz
Belegseminar: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-BSEM 0/4/0 deutsch/englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz
Computational Life Science Seminar CMS-SEM-C 0/2/0 englisch Dr. Gopan Künstliche Intelligenz
Forschungsprojekt Computational Biology CMS-PRO 0/0/12 englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz
Forschungsprojekt: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-FP Projekte (100 Stunden) deutsch/englisch Prof. Sbalzarini, Dr. Gopan Künstliche Intelligenz
Großer Beleg: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-GB Projekte (100 Stunden) deutsch/englisch Prof. Sbalzarini, Dr. Gopan 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, Dr. Gopan 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, Dr. Gopan 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