Lehrangebot Wintersemester 2022/2023 - Institut Künstliche Intelligenz

Version vom 21.11.2024

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-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
Einführung in die Formale Begriffsanalyse CMS-LM-ADV , CMS-LM-AI , INF-BAS2 , INF-E-3 , MCL-KR , MCL-PI 2/2/0 englisch Prof. Rudolph Künstliche Intelligenz
Finite and Algorithmic Model Theory CMS-LM-ADV , CMS-LM-MOC , INF-B-520 , INF-BAS6 , INF-PM-FOR , INF-VERT6 , MCL-KR , MCL-PI , MCL-TCSL 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 , CMS-PROJ 0/0/12 englisch Prof. Rudolph, Dr. habil. Straß 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-BAS2 , INF-VERT2 2/2/0 englisch Dr. habil. Straß Künstliche Intelligenz
Foundations of Logic Programming CMS-LM-BAS , INF-BAS2 , INF-VERT2 2/0/0 englisch Dr. habil. Straß Künstliche Intelligenz
Foundations of Semantic Web Technologies CMS-LM-ADV , INF-B-510 , INF-B-520 , INF-BAS2 , INF-BAS6 , INF-E-3 , INF-PM-ANW , INF-PM-FOR , INF-VERT2 , INF-VERT6 , MCL-KR , MCL-TCSL 2/2/0 englisch Dr. Arndt Künstliche Intelligenz
Project Group Computational Logic MCL-P 0/0/4 englisch Prof. Rudolph 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
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 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.

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