Semantische Suche

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Summer term 2022

 

TitleLecturerSWSModules
Advanced Problem Solving and SearchLucía Gómez Álvarez2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI
Database TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Description LogicFranz Baader4/2/0MCL-TCSL, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑PI, CMS‑LM‑ADV, INF‑04‑FG‑TP, INF‑BAS2, INF‑VERT2, MCL‑AI
Einführung in die (theoretische) InformatikAnni-Yasmin Turhan2/2/0INF‑SEBS‑INF‑04, INF‑SEMS‑INF‑04, INF‑SEGY‑INF‑04, D‑WW‑EINF, INF‑BAWP‑INF‑04, INF‑BBQ‑GY‑INF‑04, INF‑LE‑WW
Logic-Based Ontology EngineeringPatrick Koopmann2/2/0CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, CMS‑LM‑ADV, INF‑PM‑FOR, MCL‑ILS, INF‑BAS2, INF‑VERT2
Models of Concurrent SystemsStephan Mennicke2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Projects Theoretical Computer ScienceFranz Baader, Anni-Yasmin Turhan, Patrick Koopmann, Anton Claußnitzer0/0/0MCL-P, CMS-PRO, INF-PM-FPG, INF-MA-PR
Proseminar "Perlen der theoretischen Informatik"Anni-Yasmin Turhan, Patrick Koopmann0/2/0INF‑B‑510, INF‑B‑520, INF‑B‑610
Proseminar Anwendungen der Logik in der InformatikAnni-Yasmin Turhan, Patrick Koopmann0/2/0INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520
Research Seminar Logic and AIMarkus Krötzsch, Ali Elhalawati0/2/0INF-AQUA, INF-PM-FOR
Seminar Logic-Based Knowledge RepresentationHannes Straß0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting"Franz Baader, Anni-Yasmin Turhan0/2/0CMS‑LM‑AI, CMS‑LM‑ADV, CMS‑SEM, INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS
Theoretische Informatik und LogikHannes Straß4/2/0INF-B-290, INF-D-330

Winter term 2021

 

TitleLecturerSWSModules
Advanced Problem Solving and SearchLucía Gómez Álvarez2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI
Complexity TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV
Formale SystemeHannes Straß4/2/0INF-B-270, INF-B-275, IST-05-PF-HS, INF-LE-EuI
Foundations of Knowledge RepresentationHannes Straß2/2/0
Foundations of Logic ProgrammingSarah Alice Gaggl2/0/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Introduction to Non-monotonic ReasoningAnni-Yasmin Turhan2/2/0CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL, CMS‑LM‑ADV, MCL‑KR, INF‑PM‑FOR
Knowledge GraphsMarkus Krötzsch2/2/0INF-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
Research Seminar Logic and AIMarkus Krötzsch, Ali Elhalawati0/2/0INF-AQUA, INF-PM-FOR
Seminar Rule-Based Paradigms in KRMarkus Krötzsch, Stefan Ellmauthaler0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-LM-MOC, CMS-LM-ADV, CMS-SEM
Seminar Theoretical Computer Science "Automata for Description Logics"Franz Baader, Anni-Yasmin Turhan0/2/0CMS‑LM‑AI, CMS‑LM‑ADV, INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS
Term Rewriting SystemsFranz Baader4/2/0INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL, MCL‑PI, CMS‑LM‑MOC, CMS‑LM‑ADV, MCL‑AI

Summer term 2021

 

TitleLecturerSWSModules
Advanced Problem Solving and SearchLucía Gómez Álvarez2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI
Database TheorySebastian Rudolph4/2/0INF-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 LogicFranz Baader4/2/0INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-AI, CMS-LM-ADV, CMS-LM-AI
Einführung in die (theoretische) InformatikAnni-Yasmin Turhan2/2/0INF‑SEBS‑INF‑04, INF‑SEMS‑INF‑04, INF‑SEGY‑INF‑04, D‑WW‑EINF, INF‑BAWP‑INF‑04
Finite and algorithmic model theorySebastian Rudolph, Bartosz Bednarczyk2/2/0INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Logic-Based Ontology EngineeringPatrick Koopmann2/2/0INF-B-510, INF-B-520, CMS-LM-ADV, INF‑BAS6, INF‑VERT6, CMS-LM-AI, INF‑PM‑FOR, MCL‑ILS
Projects Theoretical Computer ScienceFranz Baader, Stefan Borgwardt, Anni-Yasmin Turhan, Anton Claußnitzer0/0/0INF‑MA‑PR, MCL‑P, INF‑PM‑FPG, CMS‑PRO
Proseminar "Perlen der theoretischen Informatik"Anni-Yasmin Turhan0/2/0INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520
Proseminar Anwendungen der Logik in der InformatikFranz Baader, Patrick Koopmann0/2/0INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520
Research Seminar Logic and AISebastian Rudolph, Thomas Feller0/2/0INF-AQUA, INF-PM-FOR
Seminar Data-Aware ProcessesMarkus Krötzsch, Stephan Mennicke0/2/0INF-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 Turhan0/2/0INF-AQUA, INF-04-HS, INF-D-940, MCL-PS, CMS-LM-ADV, CMS-SEM, CMS-LM-AI
Seminar: Knowledge RepresentationSebastian Rudolph, Jonas Karge0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Theoretische Informatik und LogikMarkus Krötzsch4/2/0INF-D-330, INF-B290

Winter term 2020

 

TitleLecturerSWSModules
Automata and LogicFranz Baader4/2/0INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL, MCL‑PI, CMS‑LM‑MOC, CMS‑LM‑ADV, MCL‑KR
Courses by the KRR GroupSteffen Hölldobler, Johannes Fichte, Marcos Cramer4/2/0
Formale SystemeMarkus Krötzsch4/2/0INF-B-270, INF-B-275, IST-05-PF-HS, INF-LE-EuI
Foundations of Complexity TheoryDavid Carral2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV
Foundations of Knowledge RepresentationSebastian Rudolph2/2/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Logic ProgrammingSebastian Rudolph2/0/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Fuzzy Description LogicStefan Borgwardt2/2/0INF-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 StructuresAnni-Yasmin Turhan2/2/0INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑TCSL, MCL‑PI, CMS‑LM‑MOC, CMS‑LM‑ADV
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-PI, MCL-KR
Knowledge GraphsMarkus Krötzsch2/2/0INF-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 IntelligenceLucía Gómez Álvarez2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI
Research Seminar Logic and AISebastian Rudolph, Thomas Feller0/2/0INF-AQUA, INF-PM-FOR