Lehrveranstaltungen
Aus International Center for Computational Logic
Lehrveranstaltungen
Wintersemester 2024
Titel | Dozent | Umfang (SWS) | Module |
---|---|---|---|
Projekte und Studienarbeiten Wissensbasierte Systeme | Markus Krötzsch | –/–/– | INF-B-510,INF-B-520,MCL-P,CMS-PRO,CMS-TEA,INF-PM-FPA,INF-PM-FPG,INF-MA-PR,INF-D-950,INF-D-960 |
Projekte und Studienarbeiten Computational Logic | Sebastian Rudolph | –/–/– | MCL-P,INF-PM-FPA,INF-PM-FPG,INF-MA-PR |
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, INF-PM-ANW, CMS-KOR-KM |
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
… weitere Ergebnisse
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 |
Finite and algorithmic model theory (22/23) | Sebastian Rudolph, Bartosz Bednarczyk | 2/2/0 | INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV |
Formale Systeme | Franz Baader | 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 |
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 | INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-PM-ANW |
Fuzzy Description Logic | Stefan Borgwardt | 2/2/0 | CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL, CMS‑LM‑ADV, MCL‑KR, INF‑PM‑FOR, INF‑BAS2, INF‑VERT2, MCL‑AI |
Introduction to Formal Concept Analysis | Sebastian Rudolph | 2/2/0 | INF-BAS2, MCL-PI, MCL-KR, INF-E-3, CMS-LM-ADV |
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 |
Projects Theoretical Computer Science | Franz Baader, Stefan Borgwardt, Anni-Yasmin Turhan, Anton Claußnitzer | 0/0/0 | MCL-P, CMS-PRO, INF-PM-FPG, INF-MA-PR |
Proseminar "Perlen der theoretischen Informatik" | Anni-Yasmin Turhan, Patrick Koopmann | 0/2/0 | INF-B-510, INF-B-520, INF‑B‑610, INF‑D‑520 |
Proseminar Anwendungen der Logik in der Informatik | Patrick Koopmann | 0/2/0 | INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520 |
Research Seminar Logic and AI | Sebastian Rudolph, Piotr Ostropolski-Nalewaja | 0/2/0 | INF-AQUA, INF-PM-FOR |
Seminar Theoretical Computer Science | Franz Baader, Anni-Yasmin Turhan | 0/2/0 | INF-AQUA, INF-04-HS, INF-D-940, MCL-PS, CMS-LM-ADV, CMS-SEM, CMS-LM-AI |
Theorem Proving with LEAN | Stephan Mennicke, Lukas Gerlach | 0/0/4 | INF-B-510 |
Unification in Modal and Description Logics | Oliver Fernández Gil | 2/2/0 | CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL, MCL‑PI, CMS‑LM‑MOC, CMS‑LM‑ADV, MCL‑KR, INF‑PM‑FOR, INF‑BAS2, INF‑VERT2, MCL‑AI |