Courses

From International Center for Computational Logic
Toggle side column

Courses

Summer term 2018

 

TitleLecturerSWSModules
Academic Skills in Computer ScienceSteffen Hölldobler2/2/0INF-04-FG-SWT, INF-AQUA, MCL-CS
Conditional ReasoningSteffen Hölldobler1/1/2INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI
Database TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL
Deduction SystemsMarkus Krötzsch1/1/0MCL-ILS, INF-BAS2
Existential RulesDavid Carral, Markus Krötzsch0/2/0INF-PM-FOR, INF-AQUA, INF-D-940, MCL-PS, MCL-TCSL
Foundations for Machine LearningYohanes Stefanus4/2/0MCL-AI, MCL-PI, INF-BAS2, INF-VERT2
Knowledge Representation and Reasoning SeminarSteffen Hölldobler0/2/0INF-04-HS, INF-AQUA, MCL-PS
Lab Course “Modeling and Automated Verification”Christel Baier0/2/0MCL-PS
Lecture “Advanced Logics”Christel Baier4/2/0MCL-AL, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-04-FG-IS, INF-04-FG-TP
Logic-Based Ontology EngineeringStefan Borgwardt2/2/0MCL-ILS, INF-BAS6, INF-VERT6, INF-PM-FOR, INF-B-510, INF-B-520
Project Group "Theoretical Computer Science"Anni-Yasmin Turhan0/0/4MCL-P
Project Group “Model Checking”Christel Baier0/0/4MCL-P
Semantic ComputingDagmar Gromann2/2/0INF-BAS2, INF-VERT2, MCL-KR, MCL-AI
Seminar “Selected Topics in Logic and Verification”Christel Baier0/2/0MCL-PS, INF-AQUA, INF-D-940, INF-04-HS
Term Rewriting SystemsFranz Baader4/2/0MCL-AI, MCL-PI, MCL-TCSL, INF-BAS6, INF-VERT6, INF-B-510, INF-B-520
Theoretische Informatik und LogikMarkus Krötzsch4/2/0INF-B-290, INF-D-330

Winter term 2017

 

TitleLecturerSWSModules
Complexity TheoryMarkus Krötzsch4/2/0INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-B-510, INF-B-520
Description LogicFranz Baader4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, EMCL-A-TCSL, MCL-PI, EMCL-A-PI
Formale SystemeMarkus Krötzsch4/2/0INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS
Foundations RepetitionSteffen Hölldobler0/2/0MCL-F
Foundations of Constraint ProgrammingSebastian Rudolph1/1/0INF-BAS2, INF-VERT2, MCL-LCP
Foundations of Logic ProgrammingSebastian Rudolph2/1/0MCL-LCP, INF-BAS2
Human Reasoning and Computational LogicSteffen Hölldobler, Emmanuelle Dietz4/2/0INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-KR, MCL-PI
Introduction to Non-monotonic ReasoningAnni-Yasmin Turhan2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-TCSL, EMCL-A-TCSL, EMCL-A-KR
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Emmanuelle Dietz0/2/0INF-04-HS, INF-AQUA, INF-BAS2, INF-D-940, MCL-KR, MCL-PI, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS
LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F
Practical Planning for Angry BirdsSebastian Rudolph, Lukas Schweizer0/2/0MCL-PI, MCL-KR, MCL-PCS
Project Group Theoretical Computer ScienceAnni-Yasmin Turhan0/0/4MCL-P, EMCL-B-P
Science of Computational LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F, INF-BAS2
Seminar: Further Topics in Description LogicsFranz Baader, Anni-Yasmin Turhan0/2/0INF-D-940, INF-AQUA, MCL-PCS, EMCL-B-PCS, MCL-PI, EMCL-A-PI, MCL-TCSL, EMCL-A-TCSL

Summer term 2017

 

TitleLecturerSWSModules
Deduction SystemsSebastian Rudolph1/1/0MCL-ILS, INF-BAS2
Foundations of Semantic Web TechnologiesSebastian Rudolph4/2/0MCL-KR, MCL-PI, INF-BAS2
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Emmanuelle Dietz0/2/0INF-04-HS, INF-AQUA, INF-BAS2, INF-D-940, MCL-KR, MCL-PI, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS
Logical ModellingSebastian Rudolph, Lukas Schweizer0/2/0MCL-KR, MCL-PI, INF-BAS2, INF-VERT2
Problem Solving and Search in Artificial IntelligenceSarah Alice Gaggl2/1/1INF-BAS2, INF-VERT2, MCL-KR, MCL-PI
Programming Machine EthicsSteffen Hölldobler1/1/2INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI
SAT-SolvingSteffen Hölldobler3/1/0INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI
Theoretische Informatik und LogikMarkus Krötzsch4/2/0INF-B-290, INF-D-330

Winter term 2016

 

… weitere Ergebnisse
TitleLecturerSWSModules
Description LogicAnni-Yasmin Turhan4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Formale SystemeMarkus Krötzsch4/2/0INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS
Foundations of Constraint ProgrammingSebastian Rudolph1/1/0INF-BAS2, INF-VERT2, MCL-LCP
Foundations of Logic ProgrammingSebastian Rudolph2/1/0INF-BAS2, MCL-LCP
Human Reasoning and Computational LogicSteffen Hölldobler, Emmanuelle Dietz2/2/0INF-PM-FOR, INF-VERT2, MCL-KR, MCL-PI
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-KR, MCL-PI
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Peter Steinke0/2/0INF-04-HS, INF-AQUA, INF-BAS2, INF-D-940, MCL-KR, MCL-PI, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS
LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F
Practical Planning for Angry BirdsSebastian Rudolph0/2/0MCL-KR, MCL-PI, MCL-PCS
Science of Computational LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F, INF-BAS2
Seminar Abstract ArgumentationSarah Alice Gaggl0/2/0MCL-KR MCL-PCS APB-AQUA