Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Advanced Logic |
4/2/0 |
Prof. Dr. Baier |
ThI |
Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Deduction Systems |
1/1/0 |
Prof. Bruscoli |
KI |
Semantic Search: Algorithms and Applications |
2/2/0 |
Prof. Schroeder |
BIOTEC |
Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Project Group Computational Logic |
0/0/4 |
N.N. |
KI |
Project Group Knowledge Representation and Reasoning |
0/0/4 |
Prof. Dr. Hölldobler |
KI |
Project Group Model Checking |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
Project Group Semantic Search |
0/0/4 |
N.N. |
KI |
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.
Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Knowledge Representation and Reasoning |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
Automata and Logic |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
Selected Topics in Proof Theory |
0/2/0 |
Prof. Bruscoli |
KI |
Structured Proof Theory and Abstract Logic Programming |
2/2/0 |
Prof. Bruscoli |
KI |
Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Fuzzy Description Logic |
2/1/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
Lab Course Modeling and Automated Verification |
0/0/4 |
Prof. Dr. Baier, Dr. Klüppelholz |
ThI |
Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Weighted Tree Automata |
4/2/0 |
Prof. Dr. Vogler |
ThI |
Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Fuzzy Description Logic |
2/1/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
Seminar Theoretical Computer Science |
0/2/0 |
Prof. Dr. Baader, Dr. Turhan |
ThI |
Automata and Logic |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
Selected Topics in Proof Theory |
0/2/0 |
Prof. Bruscoli |
KI |
Structured Proof Theory and Abstract Logic Programming |
2/2/0 |
Prof. Bruscoli |
KI |
Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Fuzzy Description Logic |
2/1/0 |
Prof. Dr. Baader, Dr. Distel |
ThI |
Knowledge Representation and Reasoning |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
Automata and Logic |
4/2/0 |
Prof. Dr. Baader, Dr. Penaloza |
ThI |
Selected Topics in Proof Theory |
0/2/0 |
Prof. Bruscoli |
KI |
Structured Proof Theory and Abstract Logic Programming |
2/2/0 |
Prof. Bruscoli |
KI |
Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Component Based Software Engineering |
2/2/0 |
Prof. Dr. Aßmann |
SMT |
Distributed Operating Systems |
2/1/0 |
Prof. Dr. Härtig |
SyA |
Internet and Web Applications |
2/2/0 |
Prof. Dr. Schill |
SyA |
Security and Cryptography II |
2/2/0 |
Dr. Kerschbaum, Dr. Köpsell |
SyA |
Wireless Sensor Networks |
2/2/0 |
Prof. Dr. Schill, Dr. Dargie |
SyA |
Lehrveranstaltung | SWS | Dozent | Institut |
---|---|---|---|
Knowledge Representation and Reasoning |
0/2/0 |
Prof. Dr. Hölldobler |
KI |
Seminar Theoretical Computer Science |
0/2/0 |
Prof. Dr. Baader, Dr. Turhan |
ThI |
Selected Topics in Proof Theory |
0/2/0 |
Prof. Bruscoli |
KI |