Winter Term 2016/17

From International Center for Computational Logic
Toggle side column

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).