Contents Computational Logic Rechnergestützte Systemwissenschaften Datenwissenschaften (ScaDS.AI) Intelligente Informationssysteme (Honorarprofessur) Maschinelles Lernen für Computer Vision Maschinelles Lernen für das Räumliche Verständnis (ScaDS.AI) Softwaremethoden zur Produkt-Virtualisierung Wissensbasierte Künstliche Intelligenz (ScaDS.AI) Wissenschaftliches Rechnen für Systembiologie Wissensverarbeitung Explainable Artificial Intelligence

Course Catalog Wintersemester 2022/2023 - Institute Künstliche Intelligenz

Version Date 22.11.2024

Computational Logic

back to top
Course Module hours per week Language Lecturer Institute
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 english Dr. Gaggl, Dr. Gómez Álvarez Künstliche Intelligenz
Introduction to Formal Concept Analysis CMS-LM-ADV , CMS-LM-AI , INF-BAS2 , INF-E-3 , MCL-KR , MCL-PI 2/2/0 english 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 english Prof. Rudolph Künstliche Intelligenz
Forschungsprojekt Computational Logic INF-MA-PR , INF-PM-FPA , INF-PM-FPG 0/0/8 german Prof. Rudolph Künstliche Intelligenz
Research Project Com-putational Logic (CMS) CMS-PRO , CMS-PROJ 0/0/12 english Prof. Rudolph, Dr. habil. Straß Künstliche Intelligenz
Research Seminar Logic and AI INF-AQUA , INF-PM-FOR 0/2/0 english Prof. Rudolph Künstliche Intelligenz
Foundations of Knowledge Representation CMS-LM-BAS , INF-BAS2 , INF-VERT2 2/2/0 english Dr. habil. Straß Künstliche Intelligenz
Foundations of Logic Programming CMS-LM-BAS , INF-BAS2 , INF-VERT2 2/0/0 english 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 english Dr. Arndt Künstliche Intelligenz
Project Group Computational Logic MCL-P 0/0/4 english Prof. Rudolph Künstliche Intelligenz
Team Project Computational Logic (CMS) CMS-LM-TEA 0/0/8 english Prof. Rudolph, Dr. habil. Straß Künstliche Intelligenz

Rechnergestützte Systemwissenschaften

back to top
This chair offers no courses within the current semester

Datenwissenschaften (ScaDS.AI)

back to top
This chair offers no courses within the current semester

Intelligente Informationssysteme (Honorarprofessur)

back to top
This chair offers no courses within the current semester

Maschinelles Lernen für Computer Vision

back to top
Course Module hours per week Language Lecturer Institute
CMS Research Project Machine Learning CMS-PRO , CMS-PROJ 0/12/0 english Prof. Dr. Andres Künstliche Intelligenz
Computer Vision I CMS-CLS-ELG , 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 english Prof. Dr. Andres Künstliche Intelligenz
Research Project Applied Machine Learning INF-MA-PR , INF-PM-FPA 8P/PB german/english Prof. Dr. Andres Künstliche Intelligenz
Research Project Machine Learning INF-MA-PR , INF-PM-FPG 8P/PB german/english Prof. Dr. Andres Künstliche Intelligenz
Integer Programming CMS-LM-ADV , CMS-LM-AI , INF-BAS2 , INF-BAS6 , INF-LE-MA , INF-VERT2 , INF-VERT6 3/1/0 english Dr. Di Gregorio Künstliche Intelligenz
Machine Learning I 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 english Prof. Dr. Andres Künstliche Intelligenz

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

back to top
This chair offers no courses within the current semester

Softwaremethoden zur Produkt-Virtualisierung

back to top
This chair offers no courses within the current semester

Wissensbasierte Künstliche Intelligenz (ScaDS.AI)

back to top
This chair offers no courses within the current semester

Wissenschaftliches Rechnen für Systembiologie

back to top
Course Module hours per week Language Lecturer Institute
Basic Numerical Methods CMS-CLS-ELG , CMS-COR-NUM 2/2/0 english Prof. Sbalzarini Künstliche Intelligenz
Research project Algorithms for Systems Biology INF-PM-FPG 8P/PB english Prof. Sbalzarini Künstliche Intelligenz
Research Project Applied Computational Life Science INF-PM-FPA 8P/PB english Prof. Sbalzarini Künstliche Intelligenz
Research Project Computational Life Science CMS-PRO , CMS-PROJ 0/0/12 english Prof. Sbalzarini Künstliche Intelligenz
Philosophy of Science and good Scientific Practice CMS-SKL 2/0/0 english Prof. Sbalzarini Künstliche Intelligenz
Stochastic Modeling and Simulation CMS-CLS-ELG , CMS-CLS-ELV , CMS-COR-SAP 2/2/0 english Prof. Sbalzarini Künstliche Intelligenz

Wissensverarbeitung

back to top
Course Module hours per week Language Lecturer Institute
Formal Argumentation and Artificial Intelligence CMS-LM-ADV , CMS-LM-AI , INF-BAS2 , INF-PM-FOR , MCL-KR , MCL-PI 2/2/0 english Dr. Cramer Künstliche Intelligenz
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 english Dr. Cramer Künstliche Intelligenz

Explainable Artificial Intelligence

back to top
This chair offers no courses within the current semester

Notes

back to top

Day/Room

  • ZVZ ... Time is to be announced or will be set on agreement between course participants
  • AVO ... Room is to be announced or will be set on agreement between course participants

Weeks

  • wöch. ... weekly
  • 1. Wo ... odd calendar week
  • 2. Wo ... even calendar week

semester as defined in the exam regulation. The modules are shown with their starting semester, thus modules taking more than one semester to complete may be shown with a lower semester number than the students actually have..

master level This course is intended for students in the master and diploma programs. This course is optional and only recommended for students with advanced knowledge.

module In addition to the modules of the Bachelor/Master/Diplom Informatik, Medieninformatik and Informationssystemtechnik programs the following modules for other study programs have been defined:

  • MCL-* ... Master Computational Logic
  • DSE-10* ... Master Distributed Systems Engineering (PO 2010)
  • DSE-14* ... Master Distributed Systems Engineering (PO 2014)
  • INF-LA* ... Bachelor/Master in Teachers Study Program
  • INF-SE* ... Staatsexamen Lehramt (Gymnasium, Mittelschule, berufsbildende Schulen)

and the following pseudo modules for older non-modularized study programs

  • INF-04* ... Diplom Informatik, exam and/or study regulation as of 2004
  • MINF-04* ... Diplom Medieninformatik, exam and/or study regulation as of 2004
  • IST-05* ... Diplom Informationssystemtechnik, exam and/or study regulations as of 2005-2010
  • INF-LE* ... Courses offered to students of other departments
  • FAK-INF-FF ... Fakultative Lehrveranstaltungen für alle Studierende an der Fakultät Informatik

Exams The type and duration of exams are defined in the module handbook. Exceptions thereof are modules INF-AQUA, INF-B-510/20/30/40, INF-B-610 and INF-D-940 - the offered courses explicitly state the exam type and duration. Possible exam types are as follows::

  • Presentation and seminar paper
  • P(m) ... oral Exam (with stated duration)
  • P(s) ... written exam (with stated duration)
  • P(PP) ... Practical course protocol / Lab protocol
  • P(sA) ... written excerpt
  • P(PA) ... project paper
  • P(PE) ... gradeable outcome of a internship or project
Course Catalog Wintersemester 2022/2023 - Institute Künstliche Intelligenz