Lehrveranstaltungen

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

Lehrveranstaltungen


Wintersemester 2020

 

TitelDozentUmfang (SWS)Module
Projekte und Studienarbeiten Wissensbasierte Systeme Markus Krötzsch, David Carral–/–/– 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
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
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

Sommersemester 2020

 

TitelDozentUmfang (SWS)Module
Academic Skills in Computer ScienceSebastian Rudolph2/2/0INF-AQUA, MCL-CS, INF-B510, INF-B520, INF-B530, INF-B540
Database TheoryDavid Carral4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR
Deduction SystemsSebastian Rudolph1/1/0INF-BAS2, MCL-ILS
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Johannes Fichte0/2/0INF-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 EngineeringStefan Borgwardt2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS
Parameterized Algorithms and Implementations for SAT and GeneralizationsJohannes Fichte2/1/2MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3
Problem Solving and Search in Artificial IntelligenceSarah Alice Gaggl2/2/2INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI
Seminar: Logical ModellingSebastian Rudolph, Lukas Schweizer0/2/0INF-BAS2, INF-VERT2, MCL-PS

Wintersemester 2019

 

TitelDozentUmfang (SWS)Module
Complexity TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, INF-E-3
Foundations of Constraint ProgrammingSebastian Rudolph1/1/0INF-BAS2, MCL-LCP, INF-VERT2
Foundations of Logic ProgrammingSebastian Rudolph2/1/0
Human Reasoning and Computational LogicSteffen Hölldobler, Emmanuelle Dietz2/2/0MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, MCL-AI, INF-E-3
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
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Emmanuelle Dietz0/2/0INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940
LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F
Problem Solving and Search in Artificial IntelligenceSarah Alice Gaggl2/1/2INF-BAS2, MCL-PI, MCL-KR, INF-VERT2
Science of Computational LogicSteffen Hölldobler2/2/0INF-BAS2, MCL-F, EMCL-B-F
Seminar Selected Topics in Database TheoryMarkus Krötzsch, David Carral0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS
Seminar Selected Topics of Computational LogicSebastian Rudolph, Sarah Alice Gaggl0/2/0MCL-PS

Sommersemester 2019

 

TitelDozentUmfang (SWS)Module
Academic Skills in Computer ScienceMarkus Krötzsch2/2/0INF-AQUA, INF-B-510, INF-B-520, MCL-CS, INF-B-530, INF-B-540
Database TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR
Deduction SystemsSebastian Rudolph1/1/0INF-BAS2, MCL-ILS
Foundations for Machine LearningYohanes Stefanus2/0/0INF-BAS2, MCL-PI, INF-VERT2, MCL-AI, CMS-VC-ELV1, CMS-VC-ELV2, CMS-CLS-ELG
Fuzzy InformationsverarbeitungKhang Tran Dinh2/0/0INF-BAS2, INF-VERT2, INF-PM-FOR
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Marcos Cramer0/2/0INF-AQUA, INF-04-HS, MCL-PS
Logic-Based Ontology EngineeringStefan Borgwardt2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS
Problem Solving and Search in Artificial IntelligenceSarah Alice Gaggl2/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI
SAT-SolvingSteffen Hölldobler2/2/0MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3
SAT-Solving (SudokuSAT)Steffen Hölldobler2/2/0MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3
Seminar Selected Topics on Existential RulesMarkus Krötzsch, David Carral0/2/0INF-AQUA, INF-PM-FOR, INF-D-940, MCL-PS
Seminar: Logical ModellingSebastian Rudolph, Lukas Schweizer0/2/0INF-BAS2, INF-VERT2, MCL-PS
Theoretische Informatik und LogikSteffen Hölldobler4/2/0INF-B-290

Wintersemester 2018

 

… weitere Ergebnisse
TitelDozentUmfang (SWS)Module
Automata and LogicAnni-Yasmin Turhan4/2/0INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Complexity TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, INF-E-3
Formale SystemeSteffen Hölldobler4/2/0INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS
Foundations of Constraint ProgrammingSebastian Rudolph1/1/0INF-BAS2, MCL-LCP, INF-VERT2
Foundations of Logic ProgrammingSebastian Rudolph2/2/0INF-BAS2, MCL-LCP