Lehrveranstaltungen
Aus International Center for Computational Logic
Lehrveranstaltungen
Wintersemester 2021
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Projekte und Studienarbeiten Wissensbasierte Systeme | Markus Krötzsch | –/–/– | CMS-PRO,CMS-TEA,MCL-P,INF-PM-FPA,INF-PM-FPG,INF-MA-PR,INF-B-510,INF-B-520,INF-D-950,INF-D-960 |
| Advanced Problem Solving and Search | 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 |
| Formale Systeme | Hannes Straß | 4/2/0 | INF-B-270, INF-B-275, IST-05-PF-HS, INF-LE-EuI |
| Foundations of Knowledge Representation | Hannes Straß | 2/2/0 | |
| Foundations of Logic Programming | Sarah Alice Gaggl | 2/0/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 |
| Seminar Rule-Based Paradigms in KR | Markus Krötzsch, Stefan Ellmauthaler | 0/2/0 | INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-LM-MOC, CMS-LM-ADV, CMS-SEM |
Sommersemester 2021
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Advanced Problem Solving and Search | Lucía Gómez Álvarez | 2/2/0 | INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI |
| Database Theory | Sebastian Rudolph | 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, CMS-LM-AI |
| Description Logic | Franz Baader | 4/2/0 | INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-AI, CMS-LM-ADV, CMS-LM-AI |
| Einführung in die (theoretische) Informatik | Anni-Yasmin Turhan | 2/2/0 | INF‑SEBS‑INF‑04, INF‑SEMS‑INF‑04, INF‑SEGY‑INF‑04, D‑WW‑EINF, INF‑BAWP‑INF‑04 |
| Finite and algorithmic model theory | 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 |
| Logic-Based Ontology Engineering | Patrick Koopmann | 2/2/0 | INF-B-510, INF-B-520, CMS-LM-ADV, INF‑BAS6, INF‑VERT6, CMS-LM-AI, INF‑PM‑FOR, MCL‑ILS |
| Projects Theoretical Computer Science | Franz Baader, Stefan Borgwardt, Anni-Yasmin Turhan, Anton Claußnitzer | 0/0/0 | INF‑MA‑PR, MCL‑P, INF‑PM‑FPG, CMS‑PRO |
| Proseminar "Perlen der theoretischen Informatik" | Anni-Yasmin Turhan | 0/2/0 | INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520 |
| Proseminar Anwendungen der Logik in der Informatik | Franz Baader, Patrick Koopmann | 0/2/0 | INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520 |
| Seminar Data-Aware Processes | Markus Krötzsch, Stephan Mennicke | 0/2/0 | INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-LM-MOC, CMS-LM-ADV, CMS-SEM |
| Seminar Theoretical Computer Science "Learning in Description logics" | 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 |
| Seminar: Knowledge Representation | Sebastian Rudolph, Jonas Karge | 0/2/0 | INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM |
| Theoretische Informatik und Logik | Markus Krötzsch | 4/2/0 | INF-D-330, INF-B290 |
Wintersemester 2020
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Automata and Logic | Franz Baader | 4/2/0 | INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL, MCL‑PI, CMS‑LM‑MOC, CMS‑LM‑ADV, MCL‑KR |
| Courses by the KRR Group | Steffen Hölldobler, Johannes Fichte, Marcos Cramer | 4/2/0 | |
| Formale Systeme | Markus Krötzsch | 4/2/0 | INF-B-270, INF-B-275, IST-05-PF-HS, INF-LE-EuI |
| Foundations of Complexity Theory | David Carral | 2/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV |
| Foundations of Knowledge Representation | Sebastian Rudolph | 2/2/0 | INF-BAS2, INF-VERT2, CMS-LM-BAS |
| Foundations of Logic Programming | Sebastian Rudolph | 2/0/0 | INF-BAS2, INF-VERT2, CMS-LM-BAS |
| Fuzzy Description Logic | Stefan Borgwardt | 2/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-PM-FOR, MCL-AI, CMS-LM-ADV, CMS‑LM‑AI |
| Introduction to Automatic Structures | Anni-Yasmin Turhan | 2/2/0 | INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL, MCL‑PI, CMS‑LM‑MOC, CMS‑LM‑ADV |
| Introduction to Formal Concept Analysis | Sebastian Rudolph | 2/2/0 | INF-BAS2, MCL-PI, MCL-KR |
| 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 |
| Problem Solving and Search in Artificial Intelligence | Lucía Gómez Álvarez | 2/2/0 | INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI |
| Research Seminar Logic and AI | Sebastian Rudolph, Thomas Feller | 0/2/0 | INF-AQUA, INF-PM-FOR |
Sommersemester 2020
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Academic Skills in Computer Science | Sebastian Rudolph | 2/2/0 | INF-AQUA, MCL-CS, INF-B510, INF-B520, INF-B530, INF-B540 |
| Database Theory | David Carral | 4/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR |
| Deduction Systems | Sebastian Rudolph | 1/1/0 | INF-BAS2, MCL-ILS |
| Knowledge Representation and Reasoning Seminar | Steffen Hölldobler, Johannes Fichte | 0/2/0 | INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940 |
| Logic-Based Ontology Engineering | Stefan Borgwardt | 2/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS |
| Parameterized Algorithms and Implementations for SAT and Generalizations | Johannes Fichte | 2/1/2 | MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3 |
| Problem Solving and Search in Artificial Intelligence | Sarah Alice Gaggl | 2/2/2 | INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI |
| Seminar: Logical Modelling | Sebastian Rudolph, Lukas Schweizer | 0/2/0 | INF-BAS2, INF-VERT2, MCL-PS |
Wintersemester 2019
… weitere Ergebnisse
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Complexity 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, INF-E-3 |
| Foundations of Constraint Programming | Sebastian Rudolph | 1/1/0 | INF-BAS2, MCL-LCP, INF-VERT2 |
| Foundations of Logic Programming | Sebastian Rudolph | 2/1/0 | |
| Human Reasoning and Computational Logic | Steffen Hölldobler, Emmanuelle Dietz | 2/2/0 | MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, MCL-AI, INF-E-3 |
| Introduction to Formal Concept Analysis | Sebastian Rudolph | 2/2/0 | INF-BAS2, MCL-PI, MCL-KR |
| 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 |
| Knowledge Representation and Reasoning Seminar | Steffen Hölldobler, Emmanuelle Dietz | 0/2/0 | INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940 |
| Logic | Steffen Hölldobler | 2/2/0 | MCL-F, EMCL-B-F |
| Problem Solving and Search in Artificial Intelligence | Sarah Alice Gaggl | 2/1/2 | INF-BAS2, MCL-PI, MCL-KR, INF-VERT2 |
| Science of Computational Logic | Steffen Hölldobler | 2/2/0 | INF-BAS2, MCL-F, EMCL-B-F |
