MCL-AL Advanced Logics

Modulverantwortlicher: Prof. Baier

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Dozent	Institut	Lehrstuhl
Advanced Logics: Model Checking	4/2/0	Prof. Baier	ThI	Algebraische und logische Grundlagen der Informatik

MCL-CSE Computer Science Engineering

Modulverantwortlicher: Fakultät Informatik

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Lehrveranstaltung	SWS	Dozent	Institut	Lehrstuhl
Component Based Software Engineering	2/2/0	Prof. Aßmann	SMT	Softwaretechnologie
Foundations of Concurrent and Distributed Systems	4/0/0	Prof. Fetzer	SyA	Systems Engineering
Internet and Web Applications	2/2/0	Prof. Schill	SyA	Rechnernetze
Security and Cryptography II	2/2/0	Dr. Köpsell	SyA	Datenschutz und Datensicherheit
Wireless Sensor Networks	2/2/0	Prof. Schill, Dr. Dargie	SyA	Rechnernetze

MCL-F Foundations

Modulverantwortlicher: Prof. Hölldobler

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Im SS 2014 werden in diesem Modul keine Veranstaltungen angeboten.

MCL-ILS Integrated Logic Systems

Modulverantwortlicher: Dr. Schröder

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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

MCL-KR Knowledge Representation

Modulverantwortlicher: N.N.

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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

MCL-LCP Logic and Constraint Programming

Modulverantwortlicher: N.N.

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Im SS 2014 werden in diesem Modul keine Veranstaltungen angeboten.

MCL-MV Modeling and Verification

Modulverantwortlicher: Prof. Baier

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Im SS 2014 werden in diesem Modul keine Veranstaltungen angeboten.

MCL-NLPA Natural Language Processing and Automata

Modulverantwortlicher: Fakultät Informatik

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

Im SS 2014 werden in diesem Modul keine Veranstaltungen angeboten.

MCL-P Project

Modulverantwortlicher: Fakultät Informatik

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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

MCL-PCS Presentation and Communication Skills

Modulverantwortlicher: Fakultät Informatik

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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

MCL-PI Principles of Inference

Modulverantwortlicher: Prof. Hölldobler

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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

MCL-TCSL Theoretical Computer Science and Logic

Modulverantwortlicher: Prof. Baader

Studienordnung: Study Regulations

Dieses Modul ist Bestandteil der Studiengänge:

• Computational Logic

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