Internationaler Master-Studiengang Computational Logic

Studienablaufplan Master Computational Logic

Pflichtmodule

MCL-AL Advanced Logics

Lehrveranstaltung	SWS	Dozent	Institut
Advanced Logics: Model Checking	4/2/0	Prof. Baier	ThI

MCL-ILS Integrated Logic Systems

Lehrveranstaltung	SWS	Dozent	Institut
Deduction Systems	1/1/0	Prof. Rudolph	KI
Semantic Search: Algorithms and Applications	2/2/0	Prof. Schroeder	BIOTEC

MCL-P Project

Lehrveranstaltung	SWS	Dozent	Institut
Project Group Computational Logic	0/0/4	Prof. Rudolph	KI
Project Group Knowledge Representation and Reasoning	0/0/4	Prof. Hölldobler	KI
Project Group Model Checking	0/0/4	Prof. Baier, Dr. Klüppelholz	ThI
Project Group Semantic Search	0/0/4	Prof. Schroeder	BIOTEC
Project Group Theoretical Computer Science	0/0/4	Prof. Baader, Dr. Penaloza	ThI

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
Component Based Software Engineering	2/2/0	Prof. Aßmann	SMT
Internet and Web Applications	2/2/0	Prof. Schill	SyA
Security and Cryptography II	2/2/0	Dr. Köpsell	SyA
Wireless Sensor Networks	2/2/0	Prof. Schill, Dr. Dargie	SyA
Foundations of Concurrent and Distributed Systems	4/0/0	Prof. Fetzer	SyA

MCL-KR Knowledge Representation

Lehrveranstaltung	SWS	Dozent	Institut
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI
Foundations of Semantic Web Technologies	4/2/0	Prof. Rudolph	KI
Problem Solving and Search in AI	2/1/0	Dr. Gaggl	KI
Natural Language Processing for Knowledge Representation	2/2/0	Dr. Thomazo	KI
Logical Approach to Physical Data Independence and Query Compilation	1/1/0	Prof. Baader, Prof. Toman	ThI
Applying Deduction Systems	1/1/0	Dr. Wernhard	KI

MCL-PCS Presentation and Communication Skills

Lehrveranstaltung	SWS	Dozent	Institut
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI
Seminar Theoretical Computer Science	0/2/0	Prof. Baader, Dr. Turhan	ThI
Lab Course Modeling and Automated Verification	0/2/0	Prof. Baier, Dr. Klüppelholz	ThI
Seminar Selected Topics in Logic and Verification	0/2/0	Prof. Baier, Dr. Klüppelholz	ThI

MCL-PI Principles of Inference

Lehrveranstaltung	SWS	Dozent	Institut
Knowledge Representation and Reasoning	0/2/0	Prof. Hölldobler	KI
Seminar Theoretical Computer Science	0/2/0	Prof. Baader, Dr. Turhan	ThI
Term Rewriting Systems	4/2/0	Prof. Baader, Dr. Penaloza	ThI
Foundations of Semantic Web Technologies	4/2/0	Prof. Rudolph	KI
Problem Solving and Search in AI	2/1/0	Dr. Gaggl	KI
Natural Language Processing for Knowledge Representation	2/2/0	Dr. Thomazo	KI
Logical Approach to Physical Data Independence and Query Compilation	1/1/0	Prof. Baader, Prof. Toman	ThI
Applying Deduction Systems	1/1/0	Dr. Wernhard	KI

MCL-TCSL Theoretical Computer Science and Logic

Lehrveranstaltung	SWS	Dozent	Institut
Seminar Theoretical Computer Science	0/2/0	Prof. Baader, Dr. Turhan	ThI
Term Rewriting Systems	4/2/0	Prof. Baader, Dr. Penaloza	ThI
Design and Analysis of Petri Nets	2/2/0	Dr. Nauber	ThI
Logical Approach to Physical Data Independence and Query Compilation	1/1/0	Prof. Baader, Prof. Toman	ThI