Semantische Suche
Aus International Center for Computational Logic
Wintersemester 2025
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Forschungsprojekt | Christel Baier | Projekte (100 Stunden) | INF-25-MA-FP |
| Foundations of Knowledge Representation | Sebastian Rudolph | 2/2/0 | INF-BAS2, INF-VERT2, CMS-LM-BAS, INF-25-Ma-FTK-ASAI |
| Foundations of Logic Programming | Hannes Straß | 2/0/0 | INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, CMS-LM-MOC, CMS-LM-BAS, INF-25-Ma-FTK-ASAI |
| Introduction to Existential Rules | Sebastian Rudolph | 2/0/0 | INF-BAS2, INF-VERT2, CMS-LM-MOC, CMS-LM-BAS, INF-25-Ma-FTK-ASAI |
| Knowledge Graphs | Markus Krötzsch | 2/2/0 | INF-BAS2, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-B510, INF-B520, CMS-COR-KM, INF-PM-ANW, INF-25-MA-FTK-KM |
| Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ | Christel Baier | 0/0/8 | INF-MA-PR |
| Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ | Christel Baier | 0/0/4 | INF-MA-PR |
| Laborkurs „Modeling and Automated Verification“ | Christel Baier | 0/2/0 | MCL-PS, CMS-LM-MOC, CMS-LM-ADV |
| Lecture “Modal Logic” | Jakob Piribauer | 2/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, CMS-LM-BAS, INF-25-Ma-FTK-ASAI |
| Lecture “Model Checking” | Christel Baier, Sascha Klüppelholz | 4/4/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, CMS-LM-MOC, CMS-LM-ADV, CMS-LM-AI, INF-25-MA-FTK-MC |
| Profilprojekt Anwendungsforschung | Christel Baier | 8P/PB | INF-PM-FPA |
| Profilprojekt Grundlagenforschung | Christel Baier | 8P/PB | INF-PM-FPG |
| Proof Theory and Sequent Systems | Tim Lyon | 2/0/0 | INF-BAS2, INF-VERT2, INF-25-Ma-FTK-ASAI |
| 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, INF-25-BA-WIA |
| Research Seminar “Formal Methods” (WS2025) | Christel Baier | 0/2/0 | INF-PM-FOR |
| 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-A |
| Teamprojekt „Model Checking“ | Sascha Klüppelholz | 0/0/8 | CMS-LM-TEA |
Sommersemester 2025
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 |
