Winter Term 2016/17

Note: 3 advanced modules have to be chosen out of the 4 ones. Courses summing up to min. 8 SWS have to be assigned for each of the 3 modules. Any course may be chosen for max. one module.

Module MCL-F Foundations (Basic)

Person in charge: Prof. Steffen Hölldobler

Course Title	SWS (l/ts/p)	Lecturer	Institute
Logic	2/2/0	Prof. Hölldobler	AI
Science of CL	2/2/0	Prof. Hölldobler	AI

Module MCL-LCP Logic and Constraint Programming (Basic)

Person in charge: Prof. Sebastian Rudolph

Course Title	SWS (l/ts/p)	Lecturer	Institute
Foundations of Logic Programming	2/1/0	Prof. Rudolph	AI
Foundations of Constraint Programming	1/1/0	Prof. Rudolph	AI
LP Engineering	0/2/0	Dr. Klüppelholz	ThCS

Module MCL-AL Advanced Logic (Basic)

Person in charge: Prof. Sebastian Rudolph
This module is not covered by any courses in winter terms.
From summer semester 2017 on this module is offered at the Free University of Bozen-Bolzano, Italy.

Module MCL-ILS Integrated Logic Systems (Basic)

Person in charge: Prof. Michael Schroeder
This module is not covered by any courses in winter terms.
From summer semester 2017 on this module is offered at the Free University of Bozen-Bolzano, Italy.

Module MCL-KR Knowledge Representation (Advanced)

Person in charge: Prof. Steffen Hölldobler

Course Title	SWS (l/ts/p)	Lecturer	Institute
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	AI
Human Reasoning and Computational Logic	2/2/0	Prof. Hölldobler	AI
Introduction to Formal Concept Analysis	2/2/0	Prof. Rudolph	AI
Seminar Abstract Argumentation	0/2/0	Dr. Gaggl	AI
Practical Planning for Angry Birds	0/2/0	Prof. Rudolph	AI

Module MCL-TCSL Theoretical Computer Science and Logic (Advanced)

Person in charge: Prof. Franz Baader

Course Title	SWS (l/ts/p)	Lecturer	Institute
Model Checking	4/4/0	Prof. Baier, Dr. Klüppelholz	ThCS
Description Logic	4/2/0	Dr. Turhan	ThCS
Theoretical Computer Science	0/2/0	Dr. Turhan	ThCS

Module MCL-PI Principles of Inference (Advanced)

Person in charge: Prof. Steffen Hölldobler

Course Title	SWS (l/ts/p)	Lecturer	Institute
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	AI
Human Reasoning and Computational Logic	2/2/0	Prof. Hölldobler	AI
Introduction to Formal Concept Analysis	2/2/0	Prof. Rudolph	AI
Practical Planning for Angry Birds	0/2/0	Prof. Rudolph	AI
Description Logic	4/2/0	Dr. Turhan	ThCS
Theoretical Computer Science	0/2/0	Dr. Turhan	ThCS
Machine Learning 1	2/2/0	Dr. Schlesinger	CVLD

Module MCL-CSE Computer Science Engineering (Advanced)

Person in charge: head of the study course

Course Title	SWS (l/ts/p)	Lecturer	Institute
Distributed Systems	2/2/0	Prof. Schill	SyA
Mobile Communication/Computation	2/0/0	Prof. Schill	SyA
Transactional Information Systems	2/2/0	Prof. Lehner	SyA
Security & Cryptography I	2/2/0	Prof. Strufe	SyA
Design Patterns and Frameworks	2/2/0	Prof. Assmann	SMT

Module MCL-PCS Presentation and Communication Skills (Basic)

Person in charge: head of the study course

Course Title	SWS (l/ts/p)	Lecturer	Institute
German	0/2/0	N. N.	TUDIAS
Selected Topics in Logics and Verification	0/2/0	Prof. Baier	ThCS
Lab Course Modeling and Automated Verification	0/2/0	Prof. Baier	ThCS
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	AI
Seminar Abstract Argumentation	0/2/0	Dr. Gaggl	AI
Practical Planning for Angry Birds	0/2/0	Prof. Rudolph	AI

Module MCL-P Project (Basic)

Person in charge: head of the study course

Course Title	SWS (l/ts/p)	Lecturer	Institute
Project Group Computational Logic	0/0/4	Prof. Rudolph	AI
Project Group Knowledge Representation and Reasoning	0/0/4	Prof. Hölldobler	AI
Project Group Model Checking	0/0/4	Prof. Baier	ThCS
Project Group Theoretical Computer Science	0/0/4	Prof. Baader, Dr. Turhan	ThCS

Here you can find the description of the modules as well as the timetable of the courses.

To discuss questions concerning logic and computational logic, you may contact Prof. Hölldobler during his consultation hours mentioned on his homepage.

For questions concerning exams etc., please consult the web pages of the Service Center for International Students (SCIS).