Course Catalog Sommersemester 2022 - Institute Künstliche Intelligenz

Version Date 09.10.2022

Computational Logic

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Advanced Problem Solving and Search CMS-COR-FAI , INF-BAS2 , INF-VERT2 , MCL-AI , MCL-KR , MCL-PI 2/2/0 english Dr. Gómez Álvarez Künstliche Intelligenz P
Ü
Ü
Ü
TBA
TBA
Montag
Montag


2.
3.
APB/E005/U
APB/E005/U
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
wöchentlich
wöchentlich
Forschungsprojekt Computational Logic INF-MA-PR , INF-PM-FPA , INF-PM-FPG 0/0/8 german Prof. Rudolph Künstliche Intelligenz TBA TBA
Logic-Based Knowledge Representation CMS-SEM , INF-04-HS , INF-AQUA , INF-D-940 , INF-PM-FOR , MCL-PS 0/2/0 english Dr. habil. Straß Künstliche Intelligenz Ü Montag 5. APB/E005/U wöchentlich
Project Group Computational Logic MCL-P 0/0/4 english Prof. Rudolph Künstliche Intelligenz TBA TBA
Theoretical Computer Science and Logic INF-B-290 , INF-D-330 4/2/0 german Dr. habil. Straß Künstliche Intelligenz V
V
V
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
Ü
TBA
Donnerstag
Montag
Dienstag
Dienstag
Donnerstag
Freitag
Freitag
Freitag
Mittwoch
Mittwoch
Mittwoch
Montag

4.
3.
1.
1.
1.
1.
2.
4.
1.
3.
5.
3.
VMB/0E02/U
HSZ/0002/E
HSZ/0003/H
APB/E008/U
APB/E010/U
APB/E010/U
APB/E010/U
APB/E009/U
APB/E001/U
APB/E001/U
APB/E008/U
APB/E010/U
APB/E001/U
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich
wöchentlich

Maschinelles Lernen für Computer Vision

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Analysis of a Research Topic: Machine Learning for Computer Vision INF-D-960 8P/PB dt,en Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Research Project Applications of Machine Learning INF-MA-PR , INF-PM-FPA 0/0/8 german/english Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Großer Beleg Maschinelles Lernen für Computer Vision INF-D-950 0/0/0 dt,en Prof. Dr. Andres Künstliche Intelligenz TBA TBA
Image Analysis Algorithms in C++ INF-MA-PR , INF-PM-FPA , INF-PM-FPG 8P/PB german/english Prof. Dr. Andres Künstliche Intelligenz Ü Montag 2. TBA wöchentlich
Linear Programming CMS-LM-ADV , CMS-LM-AI , INF-BAS2 , INF-BAS6 , INF-VERT2 , INF-VERT6 3/1/0 english Dr. Di Gregorio Künstliche Intelligenz V
Ü
Freitag
Freitag
5.
2.
APB/E005
APB/E010/U
wöchentlich
wöchentlich

Wissenschaftliches Rechnen für Systembiologie

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Computational Life Science Seminar CMS-SEM 0/2/0 english Dr. Gopan Künstliche Intelligenz Ü Dienstag 4. APB/E009/U wöchentlich
Research project Algorithms for Systems Biology INF-PM-FPG 8P/PB english Prof. Sbalzarini Künstliche Intelligenz TBA TBA
Research Project Applied Computational Life Science INF-PM-FPA 8P/PB english Prof. Sbalzarini Künstliche Intelligenz TBA TBA
Research Project Computational Biology CMS-PRO , CMS-PROJ 12P/PB english Prof. Sbalzarini Künstliche Intelligenz TBA TBA
Particle Methods CMS-CLS-ELG , CMS-VC-ELV1 , CMS-VC-ELV2 2/2/0 english 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 2/2/0 english Dr. Gopan Künstliche Intelligenz V
Ü
Dienstag
Dienstag
5.
6.
APB/E010/U
APB/E010/U
wöchentlich
wöchentlich
Team Project Computational Biology CMS-CLS-TEA 8P/PB english Prof. Sbalzarini Künstliche Intelligenz TBA TBA

Wissensverarbeitung

back to top
Course Module hours per week Language Lecturer Institute Type Day Slot Room Week
Answer Set Programming INF-B-510 , INF-B-520 2/2/0 english/german Prof. Hölldobler Künstliche Intelligenz V
Ü
Montag
Freitag
2.
2.
APB/E001/U
APB/E005/U
wöchentlich
wöchentlich
Human Reasoning and the Weak Completion Semantics II CMS-LM-ADV , CMS-LM-AI , INF-E-3 , INF-PM-FOR , INF-VERT2 , MCL-AI , MCL-KR , MCL-PI 4/2/0 english Prof. Hölldobler Künstliche Intelligenz V
Ü
Montag
Mittwoch
4.
4.
APB/E005/U
APB/E005/U
wöchentlich
wöchentlich
KRR-Reading Class INF-PM-FOR , INF-VERT2 , MCL-AI , MCL-KR , MCL-PI 2/2/0 english Prof. Hölldobler Künstliche Intelligenz V
Ü
Donnerstag
Freitag
4.
4.
APB/E005/U
APB/E008/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 english Prof. Hölldobler Künstliche Intelligenz Ü Donnerstag 5. APB/E005/U wöchentlich

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 Sommersemester 2022 - Institute Künstliche Intelligenz