Semantische Suche

Diese Seite oder Aktion benötigt JavaScript, um zu funktionieren. Bitte aktiviere JavaScript in deinem Browser oder verwende einen Browser, der dies unterstützt, damit die angeforderten Funktionen ausgeführt werden können. Weitere Informationen findest du auf der Hilfeseite zu „noscript“.

Suche Alle Einträge löschen

Sommersemester 2025

Titel	Dozent	Umfang (SWS)	Module
Database Theory	Markus Krötzsch	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“	Christel Baier	0/0/4	INF-MA-PR
Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“	Christel Baier	0/0/8	INF-MA-PR
Lab Course “Modeling and Automated Verification”	Christel Baier	0/2/0	MCL-PS, CMS-LM-MOC, CMS-LM-ADV
Lecture “Advanced Logics”	Christel Baier, Jakob Piribauer	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, CMS-LM-MOC, CMS-LM-ADV
Profilprojekt „Forschungsprojekt Formale Methoden“	Christel Baier	0/0/8	INF-PM-FPG
Proseminar „Binäre Entscheidungsgraphen“	Sascha Klüppelholz	0/2/0	INF-B-610, INF-D-520
Proseminar „Theoretische Informatik“	Sascha Klüppelholz	0/2/0	INF-B-610, INF-D-520
Recent Topics in Knowledge Graphs	Philipp Hanisch	0/2/0	INF-AQUA, INF-B-520, INF-D-940, MCL-PS, INF-B510, CMS-LM-MOC, CMS-LM-ADV, CMS-SEM, CMS-LM-AI
Research Seminar “Formal Methods”	Christel Baier	0/2/0	INF-PM-FOR
Seminar Large Language Models and Knowledge-aware AI	Simon Razniewski	0/2/0
Seminar Logic-Based Knowledge Representation	Sarah Alice Gaggl	0/2/0	INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, CMS-SEM-A
Seminar “Selected Topics in Logic and Verification”	Christel Baier	0/2/0	INF-AQUA, INF-B-510, INF-B-520, INF-D-940, MCL-PS, CMS-LM-MOC, CMS-LM-ADV, CMS-SEM
Team Project “Model Checking”	Sascha Klüppelholz	0/0/8	CMS-LM-TEA
Theoretische Informatik und Logik	Sebastian Rudolph	4/2/0	INF-B-290, INF-D-330

Wintersemester 2024

Titel	Dozent	Umfang (SWS)	Module
Advanced Problem Solving and Search	Sarah Alice Gaggl	2/2/0	INF-BAS2, INF-VERT2, CMS-COR-FAI
Behind the secrets of large language models	Simon Razniewski, Michael Färber	2/2/0
Complexity Theory	Markus Krötzsch	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV
Formale Systeme	Sebastian Rudolph	4/2/0	INF-B-270, INF-B-275, INF-LE-EuI, IST‑05‑PF‑HS
Foundations of Knowledge Representation	Hannes Straß	2/2/0	INF-BAS2, INF-VERT2, CMS-LM-BAS
Knowledge Graphs	Markus Krötzsch	2/2/0	INF-BAS2, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, CMS-COR-KM, INF-PM-ANW

Sommersemester 2024

Titel	Dozent	Umfang (SWS)	Module
Algorithmic Game Theory	Hannes Straß	2/2/0	INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-B510, INF-B520, CMS-LM-ADV, CMS-LM-AI
Concurrency Theory	Stephan Mennicke	2/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV, MCL-TCS
First-Order Logic – Semantic and Computational Properties	Dörthe Arndt	2/0/0
Introduction to Existential Rules	Sebastian Rudolph	2/2/0	INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, CMS-LM-ADV, CMS-LM-AI
Proof Theory and Sequent Systems	Tim Lyon	2/0/0	INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Seminar Logic-Based Knowledge Representation	Sebastian Rudolph	0/2/0	INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Theorem Proving with LEAN	Stephan Mennicke, Lukas Gerlach	0/0/4	INF-B-510, INF-B-520, INF-MA-PR
Theoretische Informatik und Logik	Markus Krötzsch	4/2/0

Wintersemester 2023

Titel	Dozent	Umfang (SWS)	Module
Advanced Problem Solving and Search	Sarah Alice Gaggl	2/2/0	INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, CMS-COR-FAI
Complexity Theory	Markus Krötzsch, Stephan Mennicke, Lukas Gerlach	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV
Formale Systeme	Markus Krötzsch	4/2/0
Foundations of Knowledge Representation	Sebastian Rudolph	2/2/0	INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Logic Programming	Hannes Straß	2/0/0	INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Semantic Web Technologies	Dörthe Arndt	2/2/0
Introduction to Formal Concept Analysis	Sebastian Rudolph	2/2/0	INF-BAS2, MCL-PI, MCL-KR, INF-E-3, CMS-LM-ADV, CMS-LM-AI
Knowledge Graphs	Markus Krötzsch	2/2/0	INF-BAS2, INF-B-510, INF-B-520, INF-BAS6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, CMS-COR-KM, INF-PM-ANW
Research Seminar Logic and AI	Sebastian Rudolph, Piotr Ostropolski-Nalewaja	0/2/0	INF-AQUA, INF-PM-FOR
Theorem Proving with LEAN	Stephan Mennicke, Lukas Gerlach	0/0/4	INF-B-510, INF-B-520, INF-MA-PR

Sommersemester 2023

Titel	Dozent	Umfang (SWS)	Module
Advanced Problem Solving and Search	Sarah Alice Gaggl, Lucía Gómez Álvarez	2/2/0	INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI
Algorithmic Game Theory	Hannes Straß	2/2/0	INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-B510, INF-B520, CMS-LM-ADV, CMS-LM-AI
Concurrency Theory	Stephan Mennicke	2/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Database Theory	Markus Krötzsch	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Introduction to Existential Rules	Sebastian Rudolph	2/0/0	INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, CMS-LM-ADV, CMS-LM-AI
Quotation in Formal Logics and the Web	Dörthe Arndt	2/2/0	INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, MCL-AI, CMS-LM-ADV, CMS-LM-AI
Research Seminar Logic and AI	Sebastian Rudolph, Piotr Ostropolski-Nalewaja	0/2/0	INF-AQUA, INF-PM-FOR
Seminar Logic-Based Knowledge Representation	Sebastian Rudolph	0/2/0	INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Theorem Proving with LEAN	Stephan Mennicke, Lukas Gerlach	0/0/4	INF-B-510, INF-B-520, INF-MA-PR

Wintersemester 2022

Titel	Dozent	Umfang (SWS)	Module
Advanced Problem Solving and Search	Sarah Alice Gaggl, Lucía Gómez Álvarez	2/2/0	INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI
Complexity Theory	Markus Krötzsch	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV