Modulverantwortlicher: Prof. Baier
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
Im WS 2013/14 werden in diesem Modul keine Veranstaltungen angeboten.
Modulverantwortlicher: Fakultät Informatik
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Design Patterns and Frameworks |
2/2/0 |
Prof. Aßmann |
SMT |
Softwaretechnologie |
| Distributed Systems |
2/2/0 |
Prof. Schill |
SyA |
Rechnernetze |
| Mobile Communication and Mobile Computing |
2/0/0 |
Prof. Schill |
SyA |
Rechnernetze |
| Security and Cryptography I |
2/2/0 |
Dr. Köpsell |
SyA |
Datenschutz und Datensicherheit |
| Transactional Information Systems |
2/2/0 |
Prof. Lehner |
SyA |
Datenbanken |
Modulverantwortlicher: Prof. Hölldobler
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Logic |
2/2/0 |
Prof. Hölldobler |
KI |
Wissensverarbeitung |
| Science of Computational Logic |
2/2/0 |
Prof. Hölldobler |
KI |
Wissensverarbeitung |
Modulverantwortlicher: Dr. Schröder
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
Im WS 2013/14 werden in diesem Modul keine Veranstaltungen angeboten.
Modulverantwortlicher: N.N.
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Existential Rules |
2/2/0 |
Prof. Rudolph |
KI |
Computational Logic |
| Introduction to Formal Concept Analysis |
2/2/0 |
Prof. Rudolph |
KI |
Computational Logic |
| Knowledge Representation and Reasoning |
0/2/0 |
Prof. Hölldobler |
KI |
Wissensverarbeitung |
| SAT Solving |
2/2/0 |
Prof. Hölldobler |
KI |
Wissensverarbeitung |
| Seminar Abstract Argumentation |
0/2/0 |
Dr. Gaggl |
KI |
Computational Logic |
Modulverantwortlicher: N.N.
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Foundations of Constraint Programming |
1/1/0 |
Prof. Rudolph |
KI |
Computational Logic |
| Foundations of Logic Programming |
2/1/0 |
Prof. Rudolph |
KI |
Computational Logic |
| Tutorial Logic Programming Engineering |
0/2/0 |
Dr. Nauber |
ThI |
Algebraische und logische Grundlagen der Informatik |
Modulverantwortlicher: Prof. Baier
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
Im WS 2013/14 werden in diesem Modul keine Veranstaltungen angeboten.
Modulverantwortlicher: Fakultät Informatik
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
Im WS 2013/14 werden in diesem Modul keine Veranstaltungen angeboten.
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 |
Dr. Klüppelholz |
ThI |
Algebraische und logische Grundlagen der Informatik |
| Project Group Theoretical Computer Science |
0/0/4 |
Dr. Penaloza |
ThI |
Automatentheorie |
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 |
| Seminar Abstract Argumentation |
0/2/0 |
Dr. Gaggl |
KI |
Computational Logic |
| Academic Skills in Computer Science |
2/2/0 |
Prof. Hölldobler, Prof. Aßmann |
KI, SMT |
Wissensverarbeitung, Softwaretechnologie |
| Lab Course Modeling and Automated Verification |
0/2/0 |
Dr. Klüppelholz |
ThI |
Algebraische und logische Grundlagen der Informatik |
| Seminar Selected Topics in Logic and Verification |
0/2/0 |
Dr. Klüppelholz |
ThI |
Algebraische und logische Grundlagen der Informatik |
| Seminar Theoretical Computer Science |
0/2/0 |
Dr. Turhan |
ThI |
Automatentheorie |
Modulverantwortlicher: Prof. Hölldobler
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Existential Rules |
2/2/0 |
Prof. Rudolph |
KI |
Computational Logic |
| Introduction to Formal Concept Analysis |
2/2/0 |
Prof. Rudolph |
KI |
Computational Logic |
| Knowledge Representation and Reasoning |
0/2/0 |
Prof. Hölldobler |
KI |
Wissensverarbeitung |
| SAT Solving |
2/2/0 |
Prof. Hölldobler |
KI |
Wissensverarbeitung |
| Description Logic |
4/2/0 |
Dr. Penaloza |
ThI |
Automatentheorie |
| Seminar Theoretical Computer Science |
0/2/0 |
Dr. Turhan |
ThI |
Automatentheorie |
Modulverantwortlicher: Prof. Baader
Studienordnung: Study Regulations
Dieses Modul ist Bestandteil der Studiengänge:
Computational Logic
| Lehrveranstaltung |
SWS |
Dozent |
Institut |
Lehrstuhl |
|---|---|---|---|---|
| Description Logic |
4/2/0 |
Dr. Penaloza |
ThI |
Automatentheorie |
| Design and Analysis of Petri Nets |
1/1/0 |
Dr. Nauber |
ThI |
Algebraische und logische Grundlagen der Informatik |
| Seminar Theoretical Computer Science |
0/2/0 |
Dr. Turhan |
ThI |
Automatentheorie |