Lehrveranstaltungen

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

Lehrveranstaltungen


Wintersemester 2024

 

TitelDozentUmfang (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 SearchSarah Alice Gaggl2/2/0INF-BAS2, INF-VERT2, CMS-COR-FAI
Behind the secrets of large language modelsSimon Razniewski, Michael Färber2/2/0
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 SystemeSebastian Rudolph4/2/0INF-B-270, INF-B-275, INF-LE-EuI, IST‑05‑PF‑HS
Foundations of Knowledge RepresentationHannes Straß2/2/0INF-BAS2, INF-VERT2, CMS-LM-BAS
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, INF-PM-ANW, CMS-KOR-KM

Sommersemester 2024

 

TitelDozentUmfang (SWS)Module
Algorithmic Game TheoryHannes Straß2/2/0INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-B510, INF-B520, CMS-LM-ADV, CMS-LM-AI
Concurrency TheoryStephan Mennicke2/2/0INF-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 PropertiesDörthe Arndt2/0/0
Introduction to Existential RulesSebastian Rudolph2/2/0INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, CMS-LM-ADV, CMS-LM-AI
Proof Theory and Sequent SystemsTim Lyon2/0/0INF-BAS6, INF-VERT6, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
Seminar Logic-Based Knowledge RepresentationSebastian Rudolph0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Theorem Proving with LEANStephan Mennicke, Lukas Gerlach0/0/4INF-B-510, INF-B-520, INF-MA-PR
Theoretische Informatik und LogikMarkus Krötzsch4/2/0

Wintersemester 2023

 

TitelDozentUmfang (SWS)Module
Advanced Problem Solving and SearchSarah Alice Gaggl2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, CMS-COR-FAI
Complexity TheoryMarkus Krötzsch, Stephan Mennicke, Lukas Gerlach4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, CMS-LM-MOC, CMS-LM-ADV
Formale SystemeMarkus Krötzsch4/2/0
Foundations of Knowledge RepresentationSebastian Rudolph2/2/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Logic ProgrammingHannes Straß2/0/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Semantic Web TechnologiesDörthe Arndt2/2/0
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-E-3, CMS-LM-ADV, CMS-LM-AI
Knowledge GraphsMarkus Krötzsch2/2/0INF-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 AISebastian Rudolph, Piotr Ostropolski-Nalewaja0/2/0INF-AQUA, INF-PM-FOR
Theorem Proving with LEANStephan Mennicke, Lukas Gerlach0/0/4INF-B-510, INF-B-520, INF-MA-PR

Sommersemester 2023

 

TitelDozentUmfang (SWS)Module
Advanced Problem Solving and SearchSarah Alice Gaggl, Lucía Gómez Álvarez2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI, CMS-COR-FAI
Algorithmic Game TheoryHannes Straß2/2/0INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-B510, INF-B520, CMS-LM-ADV, CMS-LM-AI
Concurrency TheoryStephan Mennicke2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, INF-PM-FOR, CMS-LM-MOC, CMS-LM-ADV
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
Introduction to Existential RulesSebastian Rudolph2/0/0INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, CMS-LM-ADV, CMS-LM-AI
Quotation in Formal Logics and the WebDörthe Arndt2/2/0INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, MCL-AI, CMS-LM-ADV, CMS-LM-AI
Research Seminar Logic and AISebastian Rudolph, Piotr Ostropolski-Nalewaja0/2/0INF-AQUA, INF-PM-FOR
Seminar Logic-Based Knowledge RepresentationSebastian Rudolph0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS, CMS-SEM
Theorem Proving with LEANStephan Mennicke, Lukas Gerlach0/0/4INF-B-510, INF-B-520, INF-MA-PR

Wintersemester 2022

 

… weitere Ergebnisse
TitelDozentUmfang (SWS)Module
Advanced Problem Solving and SearchSarah Alice Gaggl, Lucí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
Finite and algorithmic model theory (22/23)Sebastian 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
Formale SystemeFranz Baader4/2/0INF‑B‑270, INF‑B‑275, INF‑LE‑EUI, IST‑05‑PF‑HS
Foundations of Knowledge RepresentationHannes Straß2/2/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Logic ProgrammingHannes Straß2/0/0INF-BAS2, INF-VERT2, CMS-LM-BAS
Foundations of Semantic Web TechnologiesDörthe Arndt2/2/0INF-BAS2, INF-BAS6, INF-VERT6, INF-VERT2, INF-PM-FOR, INF-PM-ANW
Fuzzy Description LogicStefan Borgwardt2/2/0CMS‑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 AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-E-3, CMS-LM-ADV
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
Projects Theoretical Computer ScienceFranz Baader, Stefan Borgwardt, Anni-Yasmin Turhan, 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, INF‑D‑520
Proseminar Anwendungen der Logik in der InformatikPatrick Koopmann0/2/0INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520
Research Seminar Logic and AISebastian Rudolph, Piotr Ostropolski-Nalewaja0/2/0INF-AQUA, INF-PM-FOR
Seminar Theoretical Computer ScienceFranz Baader, Anni-Yasmin Turhan0/2/0INF-AQUA, INF-04-HS, INF-D-940, MCL-PS, CMS-LM-ADV, CMS-SEM, CMS-LM-AI
Theorem Proving with LEANStephan Mennicke, Lukas Gerlach0/0/4INF-B-510
Unification in Modal and Description LogicsOliver Fernández Gil2/2/0CMS‑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