Semantische Suche
Aus International Center for Computational Logic
Wintersemester 2018
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Seminar Selected Topics in Database Theory | Markus Krötzsch, David Carral | 0/2/0 | INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS |
| SudokuSAT | Steffen Hölldobler | 4/2/0 | INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS |
Sommersemester 2018
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Academic Skills in Computer Science | Steffen Hölldobler | 2/2/0 | INF-AQUA, INF-04-FG-SWT, MCL-CS |
| Conditional Reasoning | Steffen Hölldobler | 1/1/2 | MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR |
| Database Theory | Markus Krötzsch | 4/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR |
| Deduction Systems | Markus Krötzsch | 1/1/0 | INF-BAS2, MCL-ILS |
| Existential Rules | Markus Krötzsch, David Carral | 0/2/0 | INF-AQUA, MCL-TCSL, INF-PM-FOR, INF-D-940, MCL-PS |
| Foundations for Machine Learning | Yohanes Stefanus | 2/1/0 | INF-BAS2, MCL-PI, INF-VERT2, MCL-AI |
| Knowledge Representation and Reasoning Seminar | Steffen Hölldobler | 0/2/0 | INF-AQUA, INF-04-HS, MCL-PS |
| Lab Course “Modeling and Automated Verification” | Christel Baier | 0/2/0 | MCL-PS |
| Lecture “Advanced Logics” | Christel Baier | 4/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, INF-04-FG-IS, INF-04-FG-TP |
| Logic-Based Ontology Engineering | Stefan Borgwardt | 2/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS |
| Project Group "Theoretical Computer Science" | Anni-Yasmin Turhan | 0/0/4 | MCL-P |
| Project Group “Model Checking” | Christel Baier | 0/0/4 | MCL-P |
| Semantic Computing | Dagmar Gromann | 2/2/0 | INF-BAS2, MCL-KR, INF-VERT2, MCL-AI |
| Seminar “Selected Topics in Logic and Verification” | Christel Baier | 0/2/0 | INF-AQUA, INF-04-HS, INF-D-940, MCL-PS |
| Term Rewriting Systems | Franz Baader | 4/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-AI |
| Theoretische Informatik und Logik | Markus Krötzsch | 4/2/0 | INF-B-290, INF-D-330 |
Wintersemester 2017
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Complexity Theory | Markus Krötzsch | 4/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR |
| Description Logic | Franz Baader | 4/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, EMCL-A-PI, EMCL-A-TCSL |
| Formale Systeme | Markus Krötzsch | 4/2/0 | INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS |
| Foundations Repetition | Steffen Hölldobler | 0/2/0 | MCL-F |
| Foundations of Constraint Programming | Sebastian Rudolph | 1/1/0 | INF-BAS2, MCL-LCP, INF-VERT2 |
| Foundations of Logic Programming | Sebastian Rudolph | 2/1/0 | INF-BAS2, MCL-LCP |
| Human Reasoning and Computational Logic | Steffen Hölldobler, Emmanuelle Dietz | 4/2/0 | MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR |
| Introduction to Formal Concept Analysis | Sebastian Rudolph | 2/2/0 | INF-BAS2, MCL-PI, MCL-KR |
| Introduction to Non-monotonic Reasoning | Anni-Yasmin Turhan | 2/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, EMCL-A-KR, INF-PM-FOR, EMCL-A-TCSL |
| Knowledge Representation and Reasoning Seminar | Steffen Hölldobler, Emmanuelle Dietz | 0/2/0 | INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940 |
| Logic | Steffen Hölldobler | 2/2/0 | MCL-F, EMCL-B-F |
| Practical Planning for Angry Birds | Sebastian Rudolph, Lukas Schweizer | 0/2/0 | MCL-PI, MCL-KR, MCL-PCS |
| Project Group Theoretical Computer Science | Anni-Yasmin Turhan | 0/0/4 | MCL-P, EMCL-B-P |
| Science of Computational Logic | Steffen Hölldobler | 2/2/0 | INF-BAS2, MCL-F, EMCL-B-F |
| Seminar: Further Topics in Description Logics | Franz Baader, Anni-Yasmin Turhan | 0/2/0 | INF-AQUA, MCL-TCSL, MCL-PI, MCL-PCS, INF-D-940, EMCL-A-PI, EMCL-A-TCSL, EMCL-B-PCS |
Sommersemester 2017
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Deduction Systems | Sebastian Rudolph | 1/1/0 | INF-BAS2, MCL-ILS |
| Foundations of Semantic Web Technologies | Sebastian Rudolph | 4/2/0 | INF-BAS2, MCL-PI, MCL-KR |
| Knowledge Representation and Reasoning Seminar | Steffen Hölldobler, Emmanuelle Dietz | 0/2/0 | INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940 |
| Logical Modelling | Sebastian Rudolph, Lukas Schweizer | 0/2/0 | INF-BAS2, MCL-PI, MCL-KR, INF-VERT2 |
| Problem Solving and Search in Artificial Intelligence | Sarah Alice Gaggl | 2/1/1 | INF-BAS2, MCL-PI, MCL-KR, INF-VERT2 |
| Programming Machine Ethics | Steffen Hölldobler | 1/1/2 | MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR |
| SAT-Solving | Steffen Hölldobler | 3/1/0 | MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR |
| Theoretische Informatik und Logik | Markus Krötzsch | 4/2/0 | INF-B-290, INF-D-330 |
Wintersemester 2016
| Titel | Dozent | Umfang (SWS) | Module |
|---|---|---|---|
| Description Logic | Anni-Yasmin Turhan | 4/2/0 | INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR |
| Formale Systeme | Markus Krötzsch | 4/2/0 | INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS |
| Foundations of Constraint Programming | Sebastian Rudolph | 1/1/0 | INF-BAS2, MCL-LCP, INF-VERT2 |
| Foundations of Logic Programming | Sebastian Rudolph | 2/1/0 | INF-BAS2, MCL-LCP |
| Human Reasoning and Computational Logic | Steffen Hölldobler, Emmanuelle Dietz | 2/2/0 | MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR |
| Introduction to Formal Concept Analysis | Sebastian Rudolph | 2/2/0 | INF-BAS2, MCL-PI, MCL-KR |
| Knowledge Representation and Reasoning Seminar | Steffen Hölldobler, Peter Steinke | 0/2/0 | INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940 |
| Logic | Steffen Hölldobler | 2/2/0 | MCL-F, EMCL-B-F |
| Practical Planning for Angry Birds | Sebastian Rudolph | 0/2/0 | MCL-PI, MCL-KR, MCL-PCS |
