Lehrangebot Sommersemester 2023 - Institut Künstliche Intelligenz

Version vom 21.11.2024

Computational Logic

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
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-ELG , CMS-VC-ELV1 , CMS-VC-ELV2 , INF-BAS2 , INF-VERT2 , MCL-AI , MCL-KR , MCL-PI 2/2/0 englisch Dr. Gaggl, Dr. Gómez Álvarez Künstliche Intelligenz V
Ü
Ü
Montag
Freitag
Montag
2.
1.
1.
HSZ/0401/H
APB/E009/U
APB/E005/U
wöchentlich
wöchentlich
wöchentlich
Algorithmic Game Theory CMS-LM-ADV , CMS-LM-AI , 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
Ü
Montag
Montag
3.
6.
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, Karge Künstliche Intelligenz ZVZ AVO
Forschungsseminar Logik und KI INF-AQUA , INF-PM-FOR 0/2/0 englisch Dr. habil. Straß Künstliche Intelligenz ZVZ AVO
Introduction to Existential Rules CMS-LM-ADV , CMS-LM-AI , INF-PM-FOR , INF-VERT2 , INF-VERT6 , MCL-KR , MCL-TCSL 2/0/0 englisch Prof. Rudolph Künstliche Intelligenz V Montag 2. APB/E005/U wöchentlich
Logic-Based Knowledge Representation CMS-SEM , INF-04-HS , INF-AQUA , INF-D-940 , INF-PM-FOR , MCL-PS 0/2/0 englisch Prof. Rudolph Künstliche Intelligenz Ü Montag 5. APB/E005/U wöchentlich
Project Group Computational Logic MCL-P 0/0/4 englisch Prof. Rudolph Künstliche Intelligenz ZVZ AVO
Quotation in Formal Logics CMS-LM-ADV , CMS-LM-AI , INF-VERT2 , INF-VERT6 , MCL-AI , MCL-KR , MCL-TCSL 2/2/0 englisch Dr. Arndt Künstliche Intelligenz V
Ü
Dienstag
Mittwoch
2.
3.
MER/0003/U
BAR/0I89/U
wöchentlich
wöchentlich
Teamprojekt Computational Logic (CMS) CMS-LM-TEA 0/0/8 englisch Prof. Rudolph, 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
Dieser Lehrstuhl bietet in diesem Semester keine Lehrveranstaltungen an.

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-D-960 8P/PB dt,en Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Forschungsprojekt Anwendungen des Maschinellen Lernens INF-MA-PR , INF-PM-FPA 0/0/8 deutsch/englisch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Forschungsprojekt Grundlagen des Maschinellen Lernens INF-PM-FPG 0/0/8 deutsch/englisch Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Forschungsseminar Kombinatorische Bildanalyse CMS-SEM , INF-AQUA , INF-PM-FOR 0/2/0 englisch Prof. Dr. Andres Künstliche Intelligenz Ü Dienstag 2. VMB/0302/U wöchentlich
Großer Beleg Maschinelles Lernen für Computer Vision 0/0/0 dt,en Prof. Dr. Andres Künstliche Intelligenz ZVZ AVO
Linear Programming CMS-LM-ADV , CMS-LM-AI , INF-BAS2 , INF-BAS6 , INF-LE-MA , INF-VERT2 , INF-VERT6 3/1/0 englisch Dr. Di Gregorio Künstliche Intelligenz V
Ü
Freitag
Freitag
3.
2.
APB/E010/U
APB/E010/U
wöchentlich
wöchentlich
Seminar Knowledge Graph Representation Learning CMS-SEM , 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 das Räumliche Verständnis (ScaDS.AI)

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

Softwaremethoden zur Produkt-Virtualisierung

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

Wissensbasierte Künstliche Intelligenz (ScaDS.AI)

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

Wissenschaftliches Rechnen für Systembiologie

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
Computational Life Science Seminar CMS-SEM 0/2/0 englisch Dr. Gopan Künstliche Intelligenz ZVZ AVO
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 12P/PB englisch Prof. Sbalzarini 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 Dr. Gopan Künstliche Intelligenz V
Ü
Mittwoch
Freitag
3.
3.
APB/E023/U
APB/E009/U
wöchentlich
wöchentlich
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 Künstliche Intelligenz ZVZ AVO

Wissensverarbeitung

nach oben
Lehrveranstaltung Modul SWS Sprache Dozent Institut Art Tag DS Raum Woche
KRR-Reading Class INF-PM-FOR , INF-VERT2 , MCL-AI , MCL-KR , MCL-PI 2/2/0 englisch Dr. Cramer Künstliche Intelligenz V
Ü
Montag
Mittwoch
4.
4.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
Seminar Knowledge Representation and Reasoning CMS-LM-ADV , CMS-LM-AI , CMS-SEM , INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS 0/2/0 englisch Dr. Cramer Künstliche Intelligenz Ü Donnerstag 5. APB/E005/U wöchentlich

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 Sommersemester 2023 - Institut Künstliche Intelligenz