Lehrveranstaltungen

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

Lehrveranstaltungen

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-ELG, CMS-VC-ELV1, CMS-VC-ELV2
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/1/1INF-BAS2, MCL-PI, MCL-KR, INF-VERT2
SAT-SolvingSteffen 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

 

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
Fuzzy Description LogicStefan Borgwardt2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-PM-FOR, MCL-AI
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-PM-FOR, INF-E-3
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Johannes Fichte0/2/0INF-AQUA, INF-04-HS, MCL-PS
LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F
Project Group "Theoretical Computer Science"Anni-Yasmin Turhan0/0/4MCL-P
Research Seminar Knowledge-Based SystemsMarkus Krötzsch, Irina Dragoste0/2/0INF-AQUA, INF-PM-FOR
Science of Computational LogicSteffen Hölldobler2/2/0INF-BAS2, MCL-F, EMCL-B-F
Semantic ComputingDagmar Gromann2/2/0INF-BAS2, MCL-KR, INF-VERT2, MCL-AI
Seminar "Learning in Description Logics"Franz Baader, Anni-Yasmin Turhan0/2/0INF-AQUA, INF-04-HS, INF-D-940, MCL-PS
Seminar Practical Planning for Angry BirdsSebastian Rudolph, Lukas Schweizer0/2/0
Seminar Selected Topics in Database TheoryMarkus Krötzsch, David Carral0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS
SudokuSATSteffen Hölldobler4/2/0INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS

Sommersemester 2018

 

TitelDozentUmfang (SWS)Module
Academic Skills in Computer ScienceSteffen Hölldobler2/2/0INF-AQUA, INF-04-FG-SWT, MCL-CS
Conditional ReasoningSteffen Hölldobler1/1/2MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR
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 SystemsMarkus Krötzsch1/1/0INF-BAS2, MCL-ILS
Existential RulesMarkus Krötzsch, David Carral0/2/0INF-AQUA, MCL-TCSL, INF-PM-FOR, INF-D-940, MCL-PS
Foundations for Machine LearningYohanes Stefanus2/1/0INF-BAS2, MCL-PI, INF-VERT2, MCL-AI
Knowledge Representation and Reasoning SeminarSteffen Hölldobler0/2/0INF-AQUA, INF-04-HS, MCL-PS
Lab Course “Modeling and Automated Verification”Christel Baier0/2/0MCL-PS
Lecture “Advanced Logics”Christel Baier4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, INF-04-FG-IS, INF-04-FG-TP
Logic-Based Ontology EngineeringStefan Borgwardt2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS
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, MCL-KR, INF-VERT2, MCL-AI
Seminar “Selected Topics in Logic and Verification”Christel Baier0/2/0INF-AQUA, INF-04-HS, INF-D-940, MCL-PS
Term Rewriting SystemsFranz Baader4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-AI
Theoretische Informatik und LogikMarkus Krötzsch4/2/0INF-B-290, INF-D-330

Wintersemester 2017

 

… weitere Ergebnisse
TitelDozentUmfang (SWS)Module
Complexity TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Description LogicFranz Baader4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, EMCL-A-PI, EMCL-A-TCSL
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, MCL-LCP, INF-VERT2