Lehrveranstaltungen

Sommersemester 2020

Titel	Dozent	Umfang (SWS)	Module
Academic Skills in Computer Science	Sebastian Rudolph	2/2/0	INF-AQUA, MCL-CS, INF-B510, INF-B520, INF-B530, INF-B540
Database Theory	David Carral	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR
Knowledge Representation and Reasoning Seminar	Steffen Hölldobler, Johannes Fichte	0/2/0	INF-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 Engineering	Stefan Borgwardt	2/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS
Parameterized Algorithms and Implementations for SAT and Generalizations	Johannes Fichte	2/1/2	MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3

Wintersemester 2019

Titel	Dozent	Umfang (SWS)	Module
Complexity Theory	Markus Krötzsch	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, INF-E-3
Foundations of Constraint Programming	Sebastian Rudolph	1/1/0	INF-BAS2, MCL-LCP, INF-VERT2
Foundations of Logic Programming	Sebastian Rudolph	2/1/0
Human Reasoning and Computational Logic	Steffen Hölldobler, Emmanuelle Dietz	2/2/0	MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, MCL-AI, INF-E-3
Introduction to Formal Concept Analysis	Sebastian Rudolph	2/2/0	INF-BAS2, MCL-PI, MCL-KR
Knowledge Graphs	Markus Krötzsch	2/2/0	INF-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 Seminar	Steffen Hölldobler, Emmanuelle Dietz	0/2/0	INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940
Logic	Steffen Hölldobler	2/2/0	MCL-F, EMCL-B-F
Problem Solving and Search in Artificial Intelligence	Sarah Alice Gaggl	2/1/2	INF-BAS2, MCL-PI, MCL-KR, INF-VERT2
Science of Computational Logic	Steffen Hölldobler	2/2/0	INF-BAS2, MCL-F, EMCL-B-F
Seminar Selected Topics in Database Theory	Markus Krötzsch, David Carral	0/2/0	INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS
Seminar Selected Topics of Computational Logic	Sebastian Rudolph, Sarah Alice Gaggl	0/2/0	MCL-PS

Sommersemester 2019

Titel	Dozent	Umfang (SWS)	Module
Academic Skills in Computer Science	Markus Krötzsch	2/2/0	INF-AQUA, INF-B-510, INF-B-520, MCL-CS, INF-B-530, INF-B-540
Database Theory	Markus Krötzsch	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR
Deduction Systems	Sebastian Rudolph	1/1/0	INF-BAS2, MCL-ILS
Foundations for Machine Learning	Yohanes Stefanus	2/0/0	INF-BAS2, MCL-PI, INF-VERT2, MCL-AI, CMS-VC-ELV1, CMS-VC-ELV2, CMS-CLS-ELG
Fuzzy Informationsverarbeitung	Khang Tran Dinh	2/0/0	INF-BAS2, INF-VERT2, INF-PM-FOR
Knowledge Representation and Reasoning Seminar	Steffen Hölldobler, Marcos Cramer	0/2/0	INF-AQUA, INF-04-HS, MCL-PS
Logic-Based Ontology Engineering	Stefan Borgwardt	2/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS
Problem Solving and Search in Artificial Intelligence	Sarah Alice Gaggl	2/1/1	INF-BAS2, MCL-PI, MCL-KR, INF-VERT2
SAT-Solving	Steffen Hölldobler	2/2/0	MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3
SAT-Solving (SudokuSAT)	Steffen Hölldobler	2/2/0	MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3
Seminar Selected Topics on Existential Rules	Markus Krötzsch, David Carral	0/2/0	INF-AQUA, INF-PM-FOR, INF-D-940, MCL-PS
Seminar: Logical Modelling	Sebastian Rudolph, Lukas Schweizer	0/2/0	INF-BAS2, INF-VERT2, MCL-PS
Theoretische Informatik und Logik	Steffen Hölldobler	4/2/0	INF-B-290

Wintersemester 2018

Titel	Dozent	Umfang (SWS)	Module
Automata and Logic	Anni-Yasmin Turhan	4/2/0	INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Complexity Theory	Markus Krötzsch	4/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, INF-E-3
Formale Systeme	Steffen Hölldobler	4/2/0	INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS
Foundations of Constraint Programming	Sebastian Rudolph	1/1/0	INF-BAS2, MCL-LCP, INF-VERT2
Foundations of Logic Programming	Sebastian Rudolph	2/2/0	INF-BAS2, MCL-LCP
Fuzzy Description Logic	Stefan Borgwardt	2/2/0	INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-PM-FOR, MCL-AI
Introduction to Formal Concept Analysis	Sebastian Rudolph	2/2/0	INF-BAS2, MCL-PI, MCL-KR
Knowledge Graphs	Markus Krötzsch	2/2/0	INF-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 Seminar	Steffen Hölldobler, Johannes Fichte	0/2/0	INF-AQUA, INF-04-HS, MCL-PS
Logic	Steffen Hölldobler	2/2/0	MCL-F, EMCL-B-F
Project Group "Theoretical Computer Science"	Anni-Yasmin Turhan	0/0/4	MCL-P
Research Seminar Knowledge-Based Systems	Markus Krötzsch, Irina Dragoste	0/2/0	INF-AQUA, INF-PM-FOR
Science of Computational Logic	Steffen Hölldobler	2/2/0	INF-BAS2, MCL-F, EMCL-B-F
Semantic Computing	Dagmar Gromann	2/2/0	INF-BAS2, MCL-KR, INF-VERT2, MCL-AI
Seminar "Learning in Description Logics"	Franz Baader, Anni-Yasmin Turhan	0/2/0	INF-AQUA, INF-04-HS, INF-D-940, MCL-PS
Seminar Practical Planning for Angry Birds	Sebastian Rudolph, Lukas Schweizer	0/2/0
Seminar Selected Topics in Database Theory	Markus Krötzsch, David Carral	0/2/0	INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS
SudokuSAT	Steffen Hölldobler	4/2/0	INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS

Sommersemester 2018

… weitere Ergebnisse

Titel	Dozent	Umfang (SWS)	Module
Academic Skills in Computer Science	Steffen Hölldobler	2/2/0	INF-AQUA, INF-04-FG-SWT, MCL-CS
Conditional Reasoning	Steffen Hölldobler	1/1/2	MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR