Internationaler Master-Studiengang Computational Logic

Studienablaufplan Master Computational Logic

Pflichtmodule

MCL-AL Advanced Logics

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Advanced Logics: Model Checking	4/2/0	Prof. Baier	ThI	V	ZVZ	ZVZ	AVO

MCL-ILS Integrated Logic Systems

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Deduction Systems	1/1/0	Prof. Rudolph	KI	V	Donnerstag	4.	INF/E005	wöch.
Semantic Search: Algorithms and Applications	2/2/0	Prof. Schroeder	BIOTEC	V U	Mittwoch Mittwoch	2. 3.	INF/E005 INF/E046	wöch. wöch.

MCL-P Project

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Project Group Computational Logic	0/0/4	Prof. Rudolph	KI	P	ZVZ	ZVZ	INF/E005	wöch.
Project Group Knowledge Representation and Reasoning	0/0/4	Prof. Hölldobler	KI	P	ZVZ	ZVZ	INF/E005	wöch.
Project Group Model Checking	0/0/4	Prof. Baier, Dr. Klüppelholz	ThI	P	ZVZ	ZVZ	AVO
Project Group Semantic Search	0/0/4	Prof. Schroeder	BIOTEC	P	ZVZ	ZVZ	INF/E005	wöch.
Project Group Theoretical Computer Science	0/0/4	Prof. Baader, Dr. Penaloza	ThI	P	ZVZ	ZVZ	INF/E005	wöch.

Wahlpflichtmodule

Von den 5 Wahlpflichtmodulen müssen 3 ausgewählt werden. In jedem ausgewählten Wahlpflichtmodul müssen Lehrveranstaltungen im Umfang von mindestens 8 SWS belegt werden. Dabei darf jede Lehrveranstaltung für höchstens ein Modul ausgewählt werden.

MCL-CSE Computer Science Engineering

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Component Based Software Engineering	2/2/0	Prof. Aßmann	SMT	V U	Mittwoch Freitag	2. 5.	INF/E023 INF/E023	wöch. wöch.
Internet and Web Applications	2/2/0	Prof. Schill	SyA	V	Donnerstag	5., 6.	INF/E023	wöch.
Security and Cryptography II	2/2/0	Dr. Köpsell	SyA	V U	Dienstag Donnerstag	3. 5.	INF/E008 INF/E001	wöch. wöch.
Wireless Sensor Networks	2/2/0	Prof. Schill, Dr. Dargie	SyA	V U	Dienstag Donnerstag	3. 2.	INF/E006 INF/E007	wöch. wöch.
Foundations of Concurrent and Distributed Systems	4/0/0	Prof. Fetzer	SyA	V V	Dienstag Dienstag	1. 2.	INF/E006 INF/E006	wöch. wöch.

MCL-KR Knowledge Representation

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI	S	Montag	2.	INF/E005	wöch.
Foundations of Semantic Web Technologies	4/2/0	Prof. Rudolph	KI	V U	Freitag Mittwoch	5., 6. 6.	INF/E005 INF/E005	wöch. wöch.
Problem Solving and Search in AI	2/1/0	Dr. Gaggl	KI	V V	Montag Dienstag	5. 2.	INF/E005 INF/E005	wöch. wöch.
Natural Language Processing for Knowledge Representation	2/2/0	Dr. Thomazo	KI	V U	Montag Montag	3. 4.	INF/E005 INF/E005	wöch. wöch.
Logical Approach to Physical Data Independence and Query Compilation	1/1/0	Prof. Baader, Prof. Toman	ThI	V	Blockveranstaltung	ZVZ	AVO
Applying Deduction Systems	1/1/0	Dr. Wernhard	KI	V	Dienstag	3.	INF/E005	wöch.

MCL-PCS Presentation and Communication Skills

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI	S	Montag	2.	INF/E005	wöch.
Seminar Theoretical Computer Science	0/2/0	Prof. Baader, Dr. Turhan	ThI	U	Montag	6.	INF/E005	wöch.
Lab Course Modeling and Automated Verification	0/2/0	Prof. Baier, Dr. Klüppelholz	ThI	U	ZVZ	ZVZ	AVO
Seminar Selected Topics in Logic and Verification	0/2/0	Prof. Baier, Dr. Klüppelholz	ThI	U	Donnerstag	3.	AVO	wöch.

MCL-PI Principles of Inference

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI	S	Montag	2.	INF/E005	wöch.
Seminar Theoretical Computer Science	0/2/0	Prof. Baader, Dr. Turhan	ThI	U	Montag	6.	INF/E005	wöch.
Term Rewriting Systems	4/2/0	Prof. Baader, Dr. Penaloza	ThI	V V U	Dienstag Donnerstag Mittwoch	6. 6. 5.	INF/E005 INF/E005 INF/E005	wöch. wöch. wöch.
Foundations of Semantic Web Technologies	4/2/0	Prof. Rudolph	KI	V U	Freitag Mittwoch	5., 6. 6.	INF/E005 INF/E005	wöch. wöch.
Problem Solving and Search in AI	2/1/0	Dr. Gaggl	KI	V V	Montag Dienstag	5. 2.	INF/E005 INF/E005	wöch. wöch.
Natural Language Processing for Knowledge Representation	2/2/0	Dr. Thomazo	KI	V U	Montag Montag	3. 4.	INF/E005 INF/E005	wöch. wöch.
Logical Approach to Physical Data Independence and Query Compilation	1/1/0	Prof. Baader, Prof. Toman	ThI	V	Blockveranstaltung	ZVZ	AVO
Applying Deduction Systems	1/1/0	Dr. Wernhard	KI	V	Dienstag	3.	INF/E005	wöch.

MCL-TCSL Theoretical Computer Science and Logic

Lehrveranstaltung	SWS	Dozent	Institut	Art	Tag	DS	Raum	Woche
Seminar Theoretical Computer Science	0/2/0	Prof. Baader, Dr. Turhan	ThI	U	Montag	6.	INF/E005	wöch.
Term Rewriting Systems	4/2/0	Prof. Baader, Dr. Penaloza	ThI	V V U	Dienstag Donnerstag Mittwoch	6. 6. 5.	INF/E005 INF/E005 INF/E005	wöch. wöch. wöch.
Design and Analysis of Petri Nets	2/2/0	Dr. Nauber	ThI	V U	Mittwoch Freitag	4. 4.	INF/E005 INF/E005	wöch. wöch.
Logical Approach to Physical Data Independence and Query Compilation	1/1/0	Prof. Baader, Prof. Toman	ThI	V	Blockveranstaltung	ZVZ	AVO