Lehrangebot Wintersemester 2025/2026 - Institut Künstliche Intelligenz

Version vom 28.08.2025

Computational Logic

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut
Advanced Problem Solving and Search CMS-CE-EL1 , CMS-CE-EL2 , CMS-CLS-ELG , CMS-CLS-ELV , CMS-COR-FAI , CMS-EE-EL1 , CMS-EE-EL2 , CMS-VC-ELV2 , INF-25-MA-FTK-APSS , INF-BAS2 , INF-VERT2 , MCL-AI , MCL-KR , MCL-PI 2/2/0 englisch Dr. Gaggl 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
Formale Systeme INF-25-BA-AUB , INF-B-270 , INF-B-275 , INF-LE-EUI 4/2/0 deutsch 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. 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 Künstliche Intelligenz
Foundations of Knowledge Representation CMS-LM-BAS , INF-25-MA-FTK-ASAI , INF-BAS2 , INF-VERT2 2/2/0 englisch Dr. habil. Straß Künstliche Intelligenz
Foundations of Logic Programming CMS-LM-BAS , INF-25-MA-FTK-ASAI , INF-BAS2 , INF-VERT2 , INF-VERT6 2/0/0 englisch 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-BAS , INF-25-MA-FTK-ASAI , INF-BAS2 , INF-VERT2 2/2/0 englisch Prof. Rudolph 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 INF-25-MA-FTK-ASAI , INF-BAS2 , INF-VERT2 2/0/0 englisch Dr. Lyon Künstliche Intelligenz
Teamprojekt Computational Logic (CMS) CMS-LM-TEA 0/0/8 englisch Prof. Rudolph, Dr. habil. Straß Künstliche Intelligenz

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
Atomistic Simulation Methods CMS-CE-EL1 , CMS-CE-EL2 , CMS-CLS-ELG , CMS-CLS-ELV 2/0/0 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 Conversational Artificial Intelligence CMS-AAI-AP , CMS-SEM-B 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 Research Project Machine Learning CMS-PRO 0/0/12 englisch Prof. Dr. Andres Künstliche Intelligenz
Computer Vision I CMS-AAI-CV , CMS-CE-EL1 , CMS-CE-EL2 , CMS-CLS-ELG , CMS-LM-AI , CMS-VC-ELG , CMS-VC-ELV1 , CMS-VC-ELV2 , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS7 , INF-LE-MA , INF-VERT2 , INF-VERT7 , MATH-MA-INFGDV 2/2/0 englisch Prof. Dr. Andres Künstliche Intelligenz
Forschungsprojekt Angewandtes Maschinelles Lernen INF-MA-PR , INF-PM-FPA 8P/PB deutsch/englisch Prof. Dr. Andres Künstliche Intelligenz
Forschungsprojekt Maschinelles Lernen INF-MA-PR , INF-PM-FPG 8P/PB deutsch/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
Forschungsseminar Kombinatorische Bildanalyse CMS-SEM-B , INF-AQUA 0/2/0 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 I CMS-AAI-AP , CMS-CE-EL1 , CMS-CE-EL2 , CMS-CLS-ELG , CMS-CLS-ELV , CMS-COR-MLD , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS7 , INF-PM-FOR , INF-VERT2 , INF-VERT7 , MCL-AI , MCL-PI 2/2/0 englisch Prof. Dr. Andres Künstliche Intelligenz
PProfilprojekt Grundlagenforschung in der Informatik: Maschinelles Lernen für Computer Vision INF-PM-FPG 8P/PB deutsch Prof. Dr. Andres, Jun.-Prof. McGinity 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

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
Deep Learning for Vision - Foundations and Applications CMS-AAI-AP 0/2/0 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-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
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

Softwaremethoden zur Produkt-Virtualisierung

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut
Introduction to Computational Aerodynamics CMS-CE-EL1 , CMS-CLS-ELG , CMS-CMA-ELG , FAK-INF-FF 3/1/0 englisch Prof. Dr. Roller, Dr.-Ing. Huismann Künstliche Intelligenz

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
Behind the Secrets of Large Language Models CMS-CE-EL1 , CMS-CE-EL2 , CMS-CLS-ELG , CMS-CLS-ELV , CMS-LM-ADV , CMS-LM-AI , CMS-LM-MOC , CMS-VC-ELV2 , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS7 , INF-PM-FOR , INF-VERT1 , INF-VERT2 , INF-VERT7 , MCL-AI , MCL-PI 2/2/0 englisch Prof. Dr. Färber, Prof. Dr. Razniewski Technische Informatik
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
Research project (CMS) Knowledge-aware Artificial Intelligence CMS-PRO 0/0/12 englisch Prof. Dr. Razniewski Künstliche Intelligenz
Research project Knowledge-aware Artificial Intelligence INF-PM-FPA , INF-PM-FPG 0/0/8 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
Basic Numerical Methods CMS-CLS-ELG , CMS-COR-NUM 2/2/0 englisch Dr. Gopan Künstliche Intelligenz
Belegseminar: Wissenschaftliches Rechnen für Systembiologie INF-25-MA-BSEM 0/4/0 deutsch Prof. Sbalzarini Künstliche Intelligenz
Forschungsprojekt Algorithms for Systems Biology INF-PM-FPG 8P/PB englisch Prof. Sbalzarini Künstliche Intelligenz
Forschungsprojekt Applied Computational Life Science 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
Philosophy of Science and good Scientific Practice CMS-SKL 2/0/0 englisch Dr. Gopan 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
Stochastic Modeling and Simulation CMS-CLS-ELG , CMS-CLS-ELV , CMS-COR-SAP 2/2/0 englisch Dr. Gopan Künstliche Intelligenz

Wissensverarbeitung

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

Explainable Artificial Intelligence

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 Wintersemester 2025/2026 - Institut Künstliche Intelligenz