EMCL Course Assignments to Modules in Past Semesters
- Summer Semester 2016
- Winter Semester 2015/2016
- Summer Semester 2015
- Winter Semester 2014/2015
- Summer Semester 2014
- Winter Semester 2013/2014
- Summer Semester 2013
- Winter Semester 2012/2013
- Summer Semester 2012
- Winter Semester 2011/2012
- Summer Semester 2011
- Winter Semester 2010/2011
Summer Semester 2016
| Course Title | Lecturer |
|---|---|
| Advanced Logic | Prof. Ryzhikov |
| Course Title | Lecturer |
|---|---|
| Integrated Logic Systems | Prof. Tessaris |
| Course Title | Lecturer |
|---|---|
| Foundations of Databases | Prof. Nutt |
| Knowledge Representation and Ontologies | Prof. Calvanese |
| Course Title | Lecturer |
|---|---|
| Data and Process Modeling | Dr. Montali |
| Seminars in Data Seamantics | Prof. Franconi, Prof. Kutz, Dr. Penaloza |
| Course Title | Lecturer |
|---|---|
| Component-based Software Engineering | Prof. Assmann |
| Foundations of Concurrent and Distributed Systems | Prof. Fetzer |
| Internet & Web Applications | Prof. Schill |
| Security and Cryptography II | Dr. Köpsell |
| Wireless Sensor Networks | Dr. Dargie |
| Course Title | Lecturer |
|---|---|
| Database Theory | Dr. Krötzsch |
| Foundations of Semantic Web Technologies | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Logical Modelling | Prof. Rudolph |
| Problem Solving and Search in AI | Dr. Gaggl |
| Course Title | Lecturer |
|---|---|
| Advanced Topics in Complexity Theory | Prof. Baader, Dr. Borchmann |
| Database Theory | Dr. Krötzsch |
| Foundations of Semantic Web Technologies | Prof. Rudolph |
| Introduction to Automatic Structures | Dr. Turhan |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Logical Modelling | Prof. Rudolph |
| Problem Solving and Search in AI | Dr. Gaggl |
| Term Rewriting Systems | Prof. Baader |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Advanced Topics in Complexity Theory | Prof. Baader, Dr. Borchmann |
| Database Theory | Dr. Krötzsch |
| Introduction to Automatic Structures | Dr. Turhan |
| Term Rewriting Systems | Prof. Baader |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Project Group Computational Logic | Prof. Rudolph |
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Model Checking | Prof. Baier |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Lab Course Modelling and Automated Verification | Prof. Baier, Dr. Klüppelholz |
| Selected Topics in Logics and Verification | Prof. Baier |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Applied Web Data Extraction and Integration | Dr. Baumgartner |
| Database Theory | Prof. Pichler |
| Foundations of Information Integration | Prof. Pichler |
| Problem Solving and Search in Artificial Intelligence | Dr. Musliu |
| Seminar of Artificial Intelligence | Prof. Woltran |
| Course Title | Lecturer |
|---|---|
| Complexity Analysis | Prof. Eiter |
| Database Theory | Prof. Pichler |
| Discrete Reasoning Methods | Prof. Szeider |
| Seminar of Artificial Intelligence | Dr. Musliu |
| Course Title | Lecturer |
|---|---|
| Advanced Mathematical Logic | Dr. Weller |
| Automated Deduction | Prof. Hetzl |
| Computability Theory | Prof. Leitsch |
| Proof Theory 2 | Prof. Baaz |
| Seminar in Logic | Christian Fermüller |
| Unification Theory | Prof. Salzer |
| Course Title | Lecturer |
|---|---|
| Computer Aided Verification LU (exercises) | Dr. Zuleger et. al. |
| Computer Aided Verification VO | Prof. Veith |
| Deductive Verification of Software | Prof. Futschek, Prof. Salzer |
| Model Checking | Prof. Veith |
| Course Title | Lecturer |
|---|---|
| Complexity Analysis | Prof. Eiter |
| Complexity Theory | Prof. Pichler |
| Computability Theory | Prof. Leitsch |
| Discrete Reasoning Methods | Prof. Szeider |
| Course Title | Lecturer |
|---|---|
| Automated Deduction | Prof. Hetzl |
| Proof Theory 2 | Prof. Baaz |
| Seminar in Logic | Christian Fermüller |
| Unification Theory | Prof. Salzer |
| Course Title | Lecturer |
|---|---|
| Design of Algorithms for Optimization Problems | Prof. Barahona, Prof. Mamede and Prof. Barbosa |
| Course Title | Lecturer |
|---|---|
| Software Construction and Verification | Prof. Caires |
| Course Title | Lecturer |
|---|---|
| Computational Game Theory | Prof. Leite |
| Data Modelling | Prof. Damásio |
| Interactive Data Visualization | Prof. Pires and Prof. Correia |
| Knowledge Representation and Reasoning Systems | Prof. Damásio |
| Stream Processing | Prof. Alferes and Dr. Duarte |
Winter Semester 2015/2016
| Course Title | Lecturer |
|---|---|
| Data Mining | Mouna Kacimi |
| Seminars in Human-Machine Interaction | Rosella Gennari |
| Course Title | Lecturer |
|---|---|
| Foundations of Databases | Werner Nutt |
| Knowledge Representation and Ontologies | Diego Calvanese |
| Course Title | Lecturer |
|---|---|
| Research Project in Foundations of Knowledge Representation Languages | Diego Calvanese |
| Theory of Computing | Diego Calvanese |
| Course Title | Lecturer |
|---|---|
| Data and Process Modeling | Marco Montali |
| Seminars in Data Semantics | Enrico Franconi, Oliver Kutz, Raphael Penaloza |
| Course Title | Lecturer |
|---|---|
| Semantic Technologies | Enrico Franconi |
| Seminars in Data and Knowledge Engineering | Werner Nutt |
| Course Title | Lecturer |
|---|---|
| Language Course: Italian or German | NN |
| Research Methods | Mouzhi Ge |
| Course Title | Lecturer |
|---|---|
| Logic | Prof. Hölldobler |
| Science of Computational Logic | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Foundations of Constraint Programming | Prof. Rudolph |
| Foundations of Logic Programming | Prof. Rudolph |
| Logic Programming Engineering | Dr. Klüppelholz |
| Course Title | Lecturer |
|---|---|
| Design Patterns and Frameworks | Prof. Assmann |
| Distributed Systems | Prof. Schill |
| Mobile Communication/Computation | Prof. Schill |
| Security & Cryptography I | Prof. Strufe |
| Transactional Information Systems | Prof. Lehner |
| Course Title | Lecturer |
|---|---|
| Complexity Theory | Dr. Borchmann, Dr. Krötzsch |
| Introduction to Formal Concept Analysis | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Planning for Angry Birds | Prof. Rudolph |
| Seminar Abstract Argumentation | Dr. Gaggl |
| Course Title | Lecturer |
|---|---|
| Complexity Theory | Dr. Borchmann, Dr. Krötzsch |
| Description Logic | Dr. Turhan |
| Introduction to Formal Concept Analysis | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Planning for Angry Birds | Prof. Rudolph |
| Theoretical Computer Science | Prof. Baader, Dr. Lippmann |
| Course Title | Lecturer |
|---|---|
| Complexity Theory | Dr. Borchmann, Dr. Krötzsch |
| Description Logic | Dr. Turhan |
| Model Checking | Prof. Baier |
| Theoretical Computer Science | Prof. Baader, Dr. Lippmann |
| Course Title | Lecturer |
|---|---|
| Project Group Computational Logic | Prof. Rudolph |
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Model Checking | Prof. Baier |
| Project Group Theoretical Computer Science | Prof. Baader, Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| German Course | TUDIAS |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Lab Course Modeling and Automated Verification | Dr. Baier, Dr. Klüppelholz |
| Planning for Angry Birds | Prof. Rudolph |
| Seminar Abstract Argumentation | Dr. Gaggl |
| Seminar Selected Topics in Logics and Verification | Prof. Baier |
| Course Title | Lecturer |
|---|---|
| Machine Learning | Nysret Musliu |
| Web Data Extraction and Integration | Robert Baumgartner |
| Course Title | Lecturer |
|---|---|
| Abstract Argumentation | Stefan Woltran |
| Knowledge Management UE (exercise) | Jürgen Dorn |
| Knowledge Management VO | Jürgen Dorn |
| Machine Learning | Nysret Musliu |
| Seminar in Knowledge Representation and Reasoning | Uwe Egly et. al. |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| History of Logic | Hans Tompits |
| Lambda Calculus | Mathias Baaz |
| Non-classical Logics | Christian Fermüller |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| Seminar Formal Methods | Helmut Veith |
| Course Title | Lecturer |
|---|---|
| Artificial Intelligence Seminar | Uwe Egly et. al. |
| Lambda Calculus | Mathias Baaz |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Seminar on Artificial Intelligence | Christian Fermüller |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Lambda Calculus | Mathias Baaz |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Constraint Programming | |
| Design of Algorithms for Optimization Problems |
| Course Title | Lecturer |
|---|---|
| Computational Games Theory | |
| Knowledge Representation and Reasoning Systems |
| Course Title | Lecturer |
|---|---|
| Computational Games Theory | |
| Data Modelling |
Summer Semester 2015
| Course Title | Lecturer |
|---|---|
| Formal Methods | Vladislav Ryzhikov |
| Course Title | Lecturer |
|---|---|
| Integrated Logic Systems | Sergio Tessaris |
| Course Title | Lecturer |
|---|---|
| Data and Process Modeling | Marco Montali |
| Research Project in Computer Science Engineering | Marco Montali |
| Course Title | Lecturer |
|---|---|
| Foundations of Databases | Diego Calvanese, Werner Nutt |
| Knowledge Representation and Ontologies | Diego Calvanese, Werner Nutt |
| Course Title | Lecturer |
|---|---|
| Language Course | NN |
| Course Title | Lecturer |
|---|---|
| Component-based Software Engineering | Prof. Assmann |
| Foundations of Concurrent and Distributed Systems | Prof. Fetzer |
| Internet & Web Applications | Prof. Schill |
| Security and Cryptography II | Dr. Köpsell |
| Wireless Sensor Networks | Dr. Dargie |
| Course Title | Lecturer |
|---|---|
| Automata and Logic | Dr. Peñaloza |
| Foundations of Data Bases and Query Languages | Dr. Krötzsch |
| Foundations of Semantic Web Technologies | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Problem Solving and Search in AI | Dr. Gaggl |
| SAT Solving | Prof. Steffen Hölldobler |
| Course Title | Lecturer |
|---|---|
| Automata and Logic | Dr. Peñaloza |
| Foundations of Data Bases and Query Languages | Dr. Krötzsch |
| Foundations of Semantic Web Technologies | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Problem Solving and Search in AI | Dr. Gaggl |
| SAT Solving | Prof. Steffen Hölldobler |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Automata and Logic | Dr. Peñaloza |
| Foundations of Data Bases and Query Languages | Dr. Krötzsch |
| Introduction to Theorem Proving with Isabelle/HOL | Dr. Peters |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Project Group Computational Logic | Prof. Rudolph |
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Model Checking | Prof. Baier |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Lab Course Modelling and Automated Verification | Prof. Baier, Dr. Klüppelholz |
| Selected Topics in Logics and Verification | Prof. Baier, Dr. Klüppelholz |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Applied Web Data Extraction and Integration | Robert Baumgartner |
| Database Theory | Reinhard Pichler |
| Foundations of Information Integration | Reinhard Pichler |
| Problem Solving and Search in Artificial Intelligence | Nysret Musliu |
| Seminar of Artificial Intelligence | Stefan Woltran |
| Course Title | Lecturer |
|---|---|
| Complexity Analysis | Thomas Eiter |
| Database Theory | Reinhard Pichler |
| Discrete Reasoning Methods | Stefan Szeider |
| Seminar of Artificial Intelligence | Nysret Musliu |
| Course Title | Lecturer |
|---|---|
| Advanced Mathematical Logic | Daniel Weller |
| Automated Deduction | Stefan Hetzl |
| Computability Theory | Alexander Leitsch |
| Proof Theory 2 | Mathias Baaz |
| Seminar in Logic | Christian Fermüller |
| Unification Theory | Gernot Salzer |
| Course Title | Lecturer |
|---|---|
| Computer Aided Verification LU (exercises) | Florian Zuleger et. al. |
| Computer Aided Verification VO | Helmut Veith |
| Deductive Verification of Software | Gerald Futschek, Gernot Salzer |
| Model Checking | Helmut Veith |
| Course Title | Lecturer |
|---|---|
| Complexity Analysis | Thomas Eiter |
| Complexity Theory | Reinhard Pichler |
| Computability Theory | Alexander Leitsch |
| Discrete Reasoning Methods | Stefan Szeider |
| Course Title | Lecturer |
|---|---|
| Automated Deduction | Stefan Hetzl |
| Proof Theory 2 | Mathias Baaz |
| Seminar in Logic | Christian Fermüller |
| Unification Theory | Gernot Salzer |
| Course Title | Lecturer |
|---|---|
| Constraint Programming | Prof. Pedro Barahona |
| Course Title | Lecturer |
|---|---|
| Semantic Web | Carlos Damásio |
Winter Semester 2014/2015
| Course Title | Lecturer |
|---|---|
| Data and Process Modeling | Marco Montali |
| Research Project in Computer Science Engineering | NN |
| Course Title | Lecturer |
|---|---|
| Foundations of Databases | NN |
| Knowledge Representation and Onotlogies | NN |
| Course Title | Lecturer |
|---|---|
| Research Project in Principles of Computation | NN |
| Theory of Computing | Diego Calvanese |
| Course Title | Lecturer |
|---|---|
| Advanced Database Management Technologies | Johann Gamper |
| Seminar in Data and Knowledge Engineering | Sven Helmer |
| Course Title | Lecturer |
|---|---|
| Research Project in Semantic Technologies | NN |
| Semantic Technologies | Werner Nutt |
| Course Title | Lecturer |
|---|---|
| Logic | Prof. Kurfess, Prof. Hölldobler |
| Science of Computational Logic | Prof. Rudolph |
| Course Title | Lecturer |
|---|---|
| Foundations of Constraint Programming | Prof. Rudolph |
| Foundations of Logic Programming | Prof. Rudolph |
| Logic Programming Engineering | Dr. Klüppelholz |
| Course Title | Lecturer |
|---|---|
| Design Patterns and Frameworks | Prof. Assmann |
| Distributed Systems | Prof. Schill |
| Mobile Communication/Computation | Prof. Schill |
| Security & Cryptography I | Dr. Köpsell |
| Transactional Information Systems | Prof. Lehner |
| Course Title | Lecturer |
|---|---|
| Abstract Argumentation | Dr. Gaggl |
| Introduction to Formal Concept Analysis | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Advanced Topics in Term Rewriting | Prof. Baader |
| Description Logic | Dr. Turhan |
| Introduction to Complexity Theory | Prof. Baader, Dr. Rafael Peñaloza |
| Introduction to Formal Concept Analysis | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Advanced Topics in Term Rewriting | Prof. Baader |
| Description Logic | Dr. Turhan |
| Introduction to Complexity Theory | Prof. Baader, Dr. Rafael Peñaloza |
| Course Title | Lecturer |
|---|---|
| Project Group Computational Logic | Prof. Rudolph |
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Model Checking | Dr. Klüppelholz |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Dr. Rafael Peñaloza |
| Course Title | Lecturer |
|---|---|
| Abstract Argumentation | Dr. Gaggl |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Lab Course Modeling and Automated Verification | Dr. Klüppelholz |
| Seminar Model Checking | Dr. Klüppelholz |
| Course Title | Lecturer |
|---|---|
| Machine Learning | Nysret Musliu |
| Web Data Extraction and Integration | Robert Baumgartner |
| Course Title | Lecturer |
|---|---|
| Abstract Argumentation | Stefan Woltran |
| Knowledge Management UE (exercise) | Jürgen Dorn |
| Knowledge Management VO | Jürgen Dorn |
| Machine Learning | Nysret Musliu |
| Seminar in Knowledge Representation and Reasoning | Uwe Egly et. al. |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| History of Logic | Hans Tompits |
| Lambda Calculus | Mathias Baaz |
| Non-classical Logics | Christian Fermüller |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| Seminar Formal Methods | Helmut Veith |
| Course Title | Lecturer |
|---|---|
| Artificial Intelligence Seminar | Uwe Egly et. al. |
| Lambda Calculus | Mathias Baaz |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Seminar on Artificial Intelligence | Christian Fermüller |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Lambda Calculus | Mathias Baaz |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Search and Optimization |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | |
| Multi-Agent Systems |
| Course Title | Lecturer |
|---|---|
| Concepts and Technology of XML | Carlos Damásio |
Summer Semester 2014
| Course Title | Lecturer |
|---|---|
| Formal Methods | Vladislav Ryzhikov |
| Course Title | Lecturer |
|---|---|
| Integrated Logic Systems | Sergio Tessaris |
| Course Title | Lecturer |
|---|---|
| Data and Process Modeling | Marco Montali |
| Seminar in Knowledge Representation | Diegeo Calvanese |
| Course Title | Lecturer |
|---|---|
| Ontology and Database Systems | Diego Calvanese, Werner Nutt |
| Course Title | Lecturer |
|---|---|
| Language Course | NN |
| Course Title | Lecturer |
|---|---|
| Component-based Software Engineering | Prof. Assmann |
| Foundations of Concurrent and Distributed Systems | Prof. Fetzer |
| Internet & Web Applications | Prof. Schill |
| Security and Cryptography II | Dr. Köpsell |
| Wireless Sensor Networks | Dr. Dargie |
| Course Title | Lecturer |
|---|---|
| Applying Deduction Systems | Dr. Wernhard |
| Foundations of Semantic Web Technologies | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Logical Approach to Physical Data Independence and Query Compilation | Prof. Toman |
| Natural Language Processing for Knowledge Representation | Dr. Thomazo |
| Problem Solving and Search in AI | Dr. Gaggl |
| Course Title | Lecturer |
|---|---|
| Applying Deduction Systems | Dr. Wernhard |
| Foundations of Semantic Web Technologies | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Logical Approach to Physical Data Independence and Query Compilation | Prof. Toman |
| Natural Language Processing for Knowledge Representation | Dr. Thomazo |
| Problem Solving and Search in AI | Dr. Gaggl |
| Term Rewriting Systems | Dr. Peñaloza |
| Theoretical Computer Science | Prof. Baader, Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| Design and Analysis of Petri Nets | Dr. Nauber |
| Logical Approach to Physical Data Independence and Query Compilation | Prof. Toman |
| Term Rewriting Systems | Dr. Peñaloza |
| Theoretical Computer Science | Prof. Baader, Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| Project Group Computational Logic | Prof. Rudolph |
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Model Checking | Prof. Baier |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Lab Course Modelling and Automated Verification | Prof. Baier, Dr. Klüppelholz |
| Selected Topics in Logics and Verification | Prof. Baier, Dr. Klüppelholz |
| Theoretical Computer Science | Prof. Baader, Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| Applied Web Data Extraction and Integration | Robert Baumgartner |
| Database Theory | Reinhard Pichler |
| Foundations of Information Integration | Reinhard Pichler |
| Problem Solving and Search in Artificial Intelligence | Nysret Musliu |
| Seminar of Artificial Intelligence | Stefan Woltran |
| Course Title | Lecturer |
|---|---|
| Complexity Analysis | Thomas Eiter |
| Database Theory | Reinhard Pichler |
| Discrete Reasoning Methods | Stefan Szeider |
| Seminar of Artificial Intelligence | Nysret Musliu |
| Course Title | Lecturer |
|---|---|
| Computer Aided Verification LU (exercises) | Florian Zuleger et. al. |
| Computer Aided Verification VO | Helmut Veith |
| Formal Verification of Software | Gernot Salzer |
| Model Checking | Helmut Veith |
| Course Title | Lecturer |
|---|---|
| Complexity Analysis | Thomas Eiter |
| Complexity Theory | Reinhard Pichler |
| Computability Theory | Alexander Leitsch |
| Discrete Reasoning Methods | Stefan Szeider |
| Course Title | Lecturer |
|---|---|
| Proof Theory 2 | Mathias Baaz |
| Seminar in Logic | Christian Fermüller |
| Unification Theory | Gernot Salzer |
| Course Title | Lecturer |
|---|---|
| Complements of Constraints | Prof. Pedro Barahona |
| Course Title | Lecturer |
|---|---|
| Semantic Web | Carlos Damásio |
Winter Semester 2013/2014
| Course Title | Lecturer |
|---|---|
| Project in Computer Science Engineering | NN |
| Seminars in Human-Computer Interaction | Rosella Gennari |
| Statistical Methods | Rosella Gennari |
| Course Title | Lecturer |
|---|---|
| Advanced Algorithms | NN |
| Theory of Computing | Diego Calvanese |
| Course Title | Lecturer |
|---|---|
| Advanced Database Management Technologies | Johann Gamper |
| Seminar in Databases | Sven Helmer |
| XML Data Management | Werner Nutt |
| Course Title | Lecturer |
|---|---|
| Computational Linguistics | NN |
| Semantic Web Technologies | Giuseppe Pirrò |
| Course Title | Lecturer |
|---|---|
| Language Course | NN |
| Research Methods | NN |
| Course Title | Lecturer |
|---|---|
| Logic | Prof. Hölldobler |
| Science of Computational Logic | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Foundations of Constraint Programming | Prof. Rudolph |
| Foundations of Logic Programming | Prof. Rudolph |
| Logic Programming Engineering | Dr. Nauber |
| Course Title | Lecturer |
|---|---|
| Design Patterns and Frameworks | Prof. Assmann |
| Distributed Systems | Prof. Schill |
| Mobile Communication/Computation | Prof. Schill |
| Security & Cryptography I | Dr. Köpsell; |
| Transactional Information Systems | Prof. Lehner |
| Course Title | Lecturer |
|---|---|
| Existential Rules | Dr. Thomazo |
| Introduction to Formal Concept Analysis | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| SAT-Solving | Prof. Hölldobler |
| Seminar Abstract Argumentation | Dr. Gaggl |
| Course Title | Lecturer |
|---|---|
| Description Logic | Dr. Rafael Peñaloza Nyssen |
| Existential Rules | Dr. Thomazo |
| Introduction to Formal Concept Analysis | Prof. Rudolph |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| SAT-Solving | Prof. Hölldobler |
| Theoretical Computer Science | Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| Description Logic | Dr. Rafael Peñaloza Nyssen |
| Design and Analysis of Petri Nets | Dr. Nauber |
| Theoretical Computer Science | Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| Project Group Computational Logic | Prof. Rudolph |
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Model Checking | Dr. Klüppelholz |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Dr. Peñaloza |
| Course Title | Lecturer |
|---|---|
| Academic Skills in Computer Science | Prof. Hölldobler |
| German Course | TUDIAS |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Lab Course Modeling and Automated Verification | Dr. Klüppelholz |
| Selected Topics in Logics and Verification | Dr. Klüppelholz |
| Seminar Abstract Argumentation | Dr. Gaggl |
| Theoretical Computer Science | Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| Machine Learning | Nysret Musliu et. al. |
| Web Data Extraction and Integration | Robert Baumgartner |
| Course Title | Lecturer |
|---|---|
| Abstract Argumentation | Stefan Woltran |
| Knowledge Management UE (exercise) | Jürgen Dorn |
| Knowledge Management VO | Jürgen Dorn |
| Machine Learning | Nysret Musliu et. al. |
| Seminar in Knowledge Representation and Reasoning | Uwe Egly et. al. |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| History of Logic | Hans Tompits |
| Lambda Calculus | Mathias Baaz |
| Non-classical Logics | Christian Fermüller |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| Seminar Formal Methods | Helmut Veith |
| Course Title | Lecturer |
|---|---|
| Artificial Intelligence Seminar | Uwe Egly et. al. |
| Lambda Calculus | Mathias Baaz |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Seminar on Artificial Intelligence | Christian Fermüller |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Lambda Calculus | Mathias Baaz |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Search and Optimisation | Pedro Barahona |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | João Leite |
| Course Title | Lecturer |
|---|---|
| Concepts and Technology of XML | Carlos Damásio |
| Course Title | Lecturer |
|---|---|
| Scientific and Technical Communication |
Summer Semester 2013
| Course Title | Lecturer |
|---|---|
| Formal Methods | NN |
| Non-classical Logic | NN |
| Course Title | Lecturer |
|---|---|
| Computational Logic | NN |
| Course Title | Lecturer |
|---|---|
| Conceptual Modeling for Information Systems | NN |
| Information Integration | NN |
| Knowledge Representation and Ontologies | NN |
| Course Title | Lecturer |
|---|---|
| Language Course | NN |
| Course Title | Lecturer |
|---|---|
| Component-based Software Engineering | Prof. Assmann |
| Foundations of Concurrent and Distributed Systems | Prof. Fetzer |
| Internet & Web Applications | Prof. Schill |
| Security and Cryptography II | Dr. Kerschbaum |
| Wireless Sensor Networks | Dr. Dargie |
| Course Title | Lecturer |
|---|---|
| Automata and Logic | Dr. Peñaloza |
| Foundations of Semantic Web Technologies | N.N. |
| Fuzzy Description Logic | Dr. Distel |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Neural Symbolic Integration | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Weighted Tree Automata | Prof. Vogler |
| Course Title | Lecturer |
|---|---|
| Automata and Logic | Dr. Peñaloza |
| Foundations of Semantic Web Technologies | N.N. |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Neural Symbolic Integration | Prof. Hölldobler |
| Theoretical Computer Science | Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| Automata and Logic | Dr. Peñaloza |
| Foundations of Semantic Web Technologies | N.N. |
| Theoretical Computer Science | Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Model Checking | Prof. Baier |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Lab Course Modelling and Automated Verification | Prof. Baier, Dr. Klüppelholz |
| Model Checking | Prof. Baier, Dr. Klüppelholz |
| Theoretical Computer Science | Dr. Turhan |
| Course Title | Lecturer |
|---|---|
| Applied Web Data Extraction and Integration | Robert Baumgartner |
| Database Theory | Reinhard Pichler |
| Problem Solving and Search in Artificial Intelligence | Nysret Musliu |
| Seminar of Artificial Intelligence | Stefan Woltran |
| Course Title | Lecturer |
|---|---|
| Complexity Analysis | Thomas Eiter |
| Database Theory | Reinhard Pichler |
| Seminar of Artificial Intelligence | Nysret Musliu |
| Course Title | Lecturer |
|---|---|
| Computational Equational Logic | Bernhard Gramlich |
| Proof Theory 2 | Mathias Baaz |
| Seminar in Logic | Christian Fermüller |
| Course Title | Lecturer |
|---|---|
| Computer Aided Verification LU (exercises) | Florian Zuleger et. al. |
| Computer Aided Verification VO | Helmut Veith |
| Formal Verification of Software | Gernot Salzer |
| Model Checking | Helmut Veith |
| Course Title | Lecturer |
|---|---|
| Complexity Theory | Reinhard Pichler |
| Computability Theory | Alexander Leitsch |
| Discrete Reasoning Methods | Stefan Szeider |
| Course Title | Lecturer |
|---|---|
| Proof Theory 2 | Mathias Baaz |
| Seminar in Logic | Christian Fermüller |
| Unification Theory | Gernot Salzer |
| Course Title | Lecturer |
|---|---|
| Complements of Constraints | Jorge Cruz |
| Course Title | Lecturer |
|---|---|
| Multi-Agent Systems | João Leite |
| Course Title | Lecturer |
|---|---|
| Concepts and Technology of XML | João Moura Pires |
Winter Semester 2012/2013
| Course Title | Lecturer |
|---|---|
| Seminars in Human-Computer Interaction | NN |
| Theories and Techniques of Optimization | NN |
| Course Title | Lecturer |
|---|---|
| Advanced Algorithms | NN |
| Theory of Computing | NN |
| Course Title | Lecturer |
|---|---|
| Data Warehousing and Data Mining | NN |
| XML Data Management | NN |
| Course Title | Lecturer |
|---|---|
| Digital Libraries | NN |
| Semantic Web Technologies | NN |
| Course Title | Lecturer |
|---|---|
| Research Methods | NN |
| Course Title | Lecturer |
|---|---|
| Logic | Prof. Hölldobler |
| Science of CL | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Foundations of Constraint Programming | Dr. Morawska |
| Foundations of Logic Programming | Dr. Morawska |
| LP Engineering | Dr. Nauber |
| Course Title | Lecturer |
|---|---|
| Design Patterns and Frameworks | Prof. Assmann |
| Distributed Systems | Prof. Schill |
| Mobile Communication/Computation | Prof. Schill |
| Security & Cryptography I | Dr. Köpsell |
| Transactional Information Systems | Prof. Lehner |
| Course Title | Lecturer |
|---|---|
| Angewandte Systeme der KI (in German) | Dr. Petersohn |
| Introduction to Formal Concept Analysis | Prof. Obiedkov |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Machine Learning | Prof. Vogler |
| Machine Translation Lab | Prof. Vogler |
| Course Title | Lecturer |
|---|---|
| Angewandte Systeme der KI (in German) | Dr. Petersohn |
| Description Logic | Dr. Turhan |
| Fuzzy Logic | Dr. Distel |
| Introduction to Formal Concept Analysis | Prof. Obiedkov |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Machine Learning | Prof. Vogler |
| Theorem Proving with Equality | Dr. Morawska |
| Theoretical Computer Science | Dr. Peñaloza |
| Course Title | Lecturer |
|---|---|
| Description Logic | Dr. Turhan |
| Fuzzy Logic | Dr. Distel |
| Theorem Proving with Equality | Dr. Morawska |
| Theoretical Computer Science | Dr. Peñaloza |
| Course Title | Lecturer |
|---|---|
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Model Checking | Prof. Baier |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Dr. Peñaloza |
| Course Title | Lecturer |
|---|---|
| Academic Writing and Presenting | Prof. Hölldobler |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Machine Learning | Prof. Vogler |
| Selected Topics in Logics and Complexity | Prof. Baier |
| Theoretical Computer Science | Dr. Peñaloza |
| Course Title | Lecturer |
|---|---|
| Deductive Databases | Stefan Woltran |
| Machine Learning | Nysret Musliu et. al. |
| Web Data Extraction and Integration | Robert Baumgartner |
| Course Title | Lecturer |
|---|---|
| Abstract Argumentation | Stefan Woltran |
| Deductive Databases | Stefan Woltran |
| Knowledge Management UE (exercise) | Jürgen Dorn |
| Knowledge Management VO | Jürgen Dorn |
| Machine Learning | Nysret Musliu et. al. |
| Nonmonotonic Reasoning | Hans Tompits |
| Processing of Declarative Knowledge | Magdalena Ortiz |
| Seminar in Knowledge Representation and Reasoning | Uwe Egly et. al. |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| History of Logic | Hans Tompits |
| Lambda Calculus | Mathias Baaz |
| Modal Logic and Epistemic Logic | Christian Fermüller |
| Non-classical Logics | Christian Fermüller |
| Nonmonotonic Reasoning | Hans Tompits |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| Seminar Formal Methods | Helmut Veith |
| Course Title | Lecturer |
|---|---|
| Artificial Intelligence Seminar | Uwe Egly et. al. |
| Lambda Calculus | Mathias Baaz |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Seminar on Artificial Intelligence | Christian Fermüller |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Lambda Calculus | Mathias Baaz |
| Nonmonotonic Reasoning | Hans Tompits |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Search and Optimisation | Pedro Barahona |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | João Leite |
| Course Title | Lecturer |
|---|---|
| Semantic Web | Carlos Damásio |
Summer Semester 2012
| Course Title | Lecturer |
|---|---|
| Formal Methods | Vladislav Ryzhikov |
| Non-Classical Logics | Dr. Mosca |
| Course Title | Lecturer |
|---|---|
| Computational Logic | Prof. Tessaris |
| Course Title | Lecturer |
|---|---|
| Conceptual Modeling for Information Systems | Marco Montali |
| Functional and Logic Programming Languages | Sillitti Alberto |
| Course Title | Lecturer |
|---|---|
| Information Integration | N.N. |
| Knowledge Representation and Ontologies | N.N. |
| Course Title | Lecturer |
|---|---|
| Information Search and Retrieval | Francesco Ricci |
| Machine Learning: Algorithms and Applications | Floriano Zini |
| Course Title | Lecturer |
|---|---|
| Language Course | various lecturers |
| Research Methods | Davide La Torre |
| Course Title | Lecturer |
|---|---|
| Component-based Software Engineering | Prof. Assmann |
| Foundations of Concurrent and Distributed Systems | Prof. Fetzer |
| Internet & Web Applications | Prof. Schill |
| Security and Cryptography II | Dr. Köpsell |
| Wireless Sensor Networks | Dr. Dargie |
| Course Title | Lecturer |
|---|---|
| Automata and Logic | Prof. Baader |
| Formal Concept Analysis and Logic | Dr. Distel |
| Introduction to Complexity Theory | Dr. Peñaloza |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Selected Topics in Proof Theory | Prof. Bruscoli |
| Structural Proof Theory and Abstract Logic Programming | Prof. Bruscoli |
| Course Title | Lecturer |
|---|---|
| Advanced Topics in Weighted Tree Automata | Prof. Vogler |
| Course Title | Lecturer |
|---|---|
| Advanced Topics in Automatic Structures | Prof. Baader |
| Automata and Logic | Prof. Baader |
| Introduction to Complexity Theory | Dr. Peñaloza |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Selected Topics in Proof Theory | Prof. Bruscoli |
| Structural Proof Theory and Abstract Logic Programming | Prof. Bruscoli |
| Course Title | Lecturer |
|---|---|
| Advanced Topics in Automatic Structures | Prof. Baader |
| Automata and Logic | Prof. Baader |
| Deduction Systems | Prof. Bruscoli |
| Formal Concept Analysis and Logic | Dr. Distel |
| Introduction to Complexity Theory | Dr. Peñaloza |
| Structural Proof Theory and Abstract Logic Programming | Prof. Bruscoli |
| Course Title | Lecturer |
|---|---|
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Machine Translation and Automata Theory | Prof. Vogler |
| Project Group Model Checking | Prof. Baier |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Advanced Topics in Automatic Structures | Prof. Baader |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Selected Topics in Proof Theory | Prof. Bruscoli |
| Course Title | Lecturer |
|---|---|
| Advanced Database Systems | Reinhard Pichler |
| Applied Web Data Extraction and Integration | Robert Baumgartner |
| Database Theory | Georg Gottlob |
| Problem Solving and Search in Artificial Intelligence | Nysret Musliu |
| Seminar of Artificial Intelligence | Stefan Woltran |
| Course Title | Lecturer |
|---|---|
| Advanced Database Systems | Reinhard Pichler |
| Complexity Analysis | Thomas Eiter |
| Database Theory | Georg Gottlob |
| Logic-oriented Programming | Uwe Egly et. al. |
| Seminar of Artificial Intelligence | Nysret Musliu |
| Course Title | Lecturer |
|---|---|
| Automated Deduction | Alexander Leitsch |
| Computational Equational Logic | Bernhard Gramlich |
| Fuzzy Logic | Mathias Baaz |
| Higher-order Logic | Christian Fermüller |
| Mathematical Logic 2 | Stefan Hetzl |
| Proof Theory 2 | Mathias Baaz |
| Seminar in Logic | Christian Fermüller |
| Temporal Logic | Mathias Baaz |
| Course Title | Lecturer |
|---|---|
| Computer Aided Verification LU (exercises) | Florian Zuleger et. al. |
| Computer Aided Verification VO | Helmut Veith |
| Formal Verification of Software | Gernot Salzer |
| Course Title | Lecturer |
|---|---|
| Advanced Functional Programming | Jens Knoop |
| Complexity Theory | Reinhard Pichler |
| Computability Theory | Alexander Leitsch |
| Discrete Reasoning Methods | Stefan Szeider |
| Semantics of Programming Languages | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Automated Deduction | Alexander Leitsch |
| Fuzzy Logic | Mathias Baaz |
| Proof Theory 2 | Mathias Baaz |
| Seminar in Logic | Christian Fermüller |
| Unification Theory | Gernot Salzer |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | João Leite |
| Multi-Agent Systems | Marco Alberti |
| Course Title | Lecturer |
|---|---|
| Concepts and Technology of XML | João Moura Pires |
| Reasoning on the Semantic Web | Carlos Damásio |
Winter Semester 2011/2012
| Course Title | Lecturer |
|---|---|
| Formal Methods | NN |
| Non-classical Logic | NN |
| Course Title | Lecturer |
|---|---|
| Computational Logic | NN |
| Course Title | Lecturer |
|---|---|
| Advanced Internet Technologies | NN |
| Seminars in Human-Computer Interaction | NN |
| Course Title | Lecturer |
|---|---|
| Advanced Algorithms | NN |
| Theory of Computing | NN |
| Course Title | Lecturer |
|---|---|
| Digital Libraries | NN |
| Seminar in Databases | NN |
| XML Data Management | NN |
| Course Title | Lecturer |
|---|---|
| Computational Linguistics | NN |
| Semantic Web Technologies | NN |
| Course Title | Lecturer |
|---|---|
| Language Course | NN |
| Research Methods | NN |
| Course Title | Lecturer |
|---|---|
| Logic | Prof. Hölldobler |
| Science of Computational Logic | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Foundations of Constraint Programming | Prof. Bruscoli |
| Foundations of Logic Programming | Prof. Bruscoli |
| Logic Programming Engineering | Prof. Bruscoli |
| Course Title | Lecturer |
|---|---|
| Design Patterns and Frameworks | Prof. Assmann |
| Distributed Systems | Prof. Schill |
| Mobile Communication/Computation | Prof. Schill |
| Security & Cryptography I | Dr. Köpsell |
| Systems Engineering 1 | Prof. Fetzer |
| Systems Engineering 2 | Prof. Fetzer |
| Transactional Information Systems | Prof. Lehner |
| Course Title | Lecturer |
|---|---|
| Angewandte Systeme der KI (in German) | Dr. Petersohn |
| Fuzzy Description Logic | Dr. Rafael Peñaloza Nyssen |
| Interactive Theorem Proving | Dr. Posegga |
| Introduction to Automatic Structures | Dr. Turhan |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Neural Symbolic Integration | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Natural Language Processing | Prof. Vogler |
| Verarbeitung natürlicher Sprache - Sprachmodelle (in German) | Prof. Vogler |
| Weighted Tree Automata | Prof. Vogler |
| Course Title | Lecturer |
|---|---|
| Angewandte Systeme der KI (in German) | Dr. Petersohn |
| Interactive Theorem Proving | Dr. Posegga |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Neural Symbolic Integration | Prof. Hölldobler |
| SAT-Solving | Prof. Hölldobler |
| Term Rewriting Systems | Prof. Baader |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Fuzzy Description Logic | Dr. Rafael Peñaloza Nyssen |
| Introduction to Automatic Structures | Dr. Turhan |
| Term Rewriting Systems | Prof. Baader |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Project Group Computational Logic | Prof. Bruscoli |
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Machine Translation and Automata Theory | Prof. Vogler |
| Project Group Model Checking | Prof. Baier |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| German Course | TUDIAS |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Natural Language Processing | Prof. Vogler |
| Selected Topics in Logic and Complexity | Prof. Baier |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Cryptography | Uwe Egly |
| Deductive Databases | Stefan Woltran |
| Machine Learning | Nysret Musliu et. al. |
| Modeling and Solving Constrained Optimization Problems | Luca Di Gaspero |
| Web Data Extraction and Integration | Robert Baumgartner |
| Course Title | Lecturer |
|---|---|
| Abstract Argumentation | Stefan Woltran |
| Deductive Databases | Stefan Woltran |
| Knowledge Management UE (exercise) | Jürgen Dorn |
| Knowledge Management VO | Jürgen Dorn |
| Machine Learning | Nysret Musliu et. al. |
| Nonmonotonic Reasoning | Hans Tompits |
| Seminar in Knowledge Representation and Reasoning | Uwe Egly et. al. |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| Advanced Mathematical Logic | Libor Behounek |
| Lambda Calculus | Mathias Baaz |
| Modal Logic and Epistemic Logic | Christian Fermüller |
| Non-classical Logics | Christian Fermüller |
| Nonmonotonic Reasoning | Hans Tompits |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Theory of Knowledge Representation | Thomas Eiter |
| Course Title | Lecturer |
|---|---|
| Model Checking | Helmut Veith |
| Seminar Formal Methods | Helmut Veith |
| Course Title | Lecturer |
|---|---|
| Artificial Intelligence Seminar | Uwe Egly et. al. |
| Lambda Calculus | Mathias Baaz |
| Seminar in Theoretical Computer Science | Uwe Egly et. al. |
| Seminar in Theoretical Computer Science | Reinhard Pichler |
| Seminar on Artificial Intelligence | Christian Fermüller |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Lambda Calculus | Mathias Baaz |
| Nonmonotonic Reasoning | Hans Tompits |
| Proof Systems in Modal Logic | Hans Tompits |
| Proof Theory 1 | Mathias Baaz |
| Seminar in Logic | Uwe Egly et. al. |
| Seminar in Logic | Alexander Leitsch |
| Term Rewriting | Bernhard Gramlich |
| Course Title | Lecturer |
|---|---|
| Complements of Constraints | Jorge Cruz and Francisco Azevedo |
| Search and Optimisation | Pedro Barahona |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | João Leite |
| Multi-Agent Systems | N.N. |
| Course Title | Lecturer |
|---|---|
| Concepts and Technology of XML | João Moura Pires |
| Reasoning on the Semantic Web | Carlos Damásio |
Summer Semester 2011
| Course Title | Lecturer |
|---|---|
| Formal Methods | Prof. Artale |
| Non-Classical Logics | Dr. Mosca |
| Course Title | Lecturer |
|---|---|
| Computational Logic | Prof. Tessaris |
| Course Title | Lecturer |
|---|---|
| Information Integration | Prof. Nutt |
| Knowledge Representation and Ontologies | Prof. Calvanese |
| Course Title | Lecturer |
|---|---|
| Language Course | various lecturers |
| Course Title | Lecturer |
|---|---|
| Component-based Software Engineering | Prof. Assmann |
| Distributed Operating Systems | Prof. Härtig |
| Course Title | Lecturer |
|---|---|
| Category Theory for Computer Science | Dr. Posegga |
| Description Logic | Dr. Turhan |
| Introduction to Many-Valued Logics | Dr. Fronhöfer |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Selected Topics in Proof Theory | Prof. Bruscoli |
| Structural Proof Theory and Abstract Logic Programming | Prof. Bruscoli |
| Course Title | Lecturer |
|---|---|
| Advanced Topics in Weighted Tree Automata | Prof. Vogler |
| Natural Language Processing | Prof. Vogler |
| Course Title | Lecturer |
|---|---|
| Category Theory for Computer Science | Dr. Posegga |
| Description Logic | Dr. Turhan |
| Fuzzy Logic | Dr. Peñaloza |
| Introduction to Many-Valued Logics | Dr. Fronhöfer |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Selected Topics in Proof Theory | Prof. Bruscoli |
| Structural Proof Theory and Abstract Logic Programming | Prof. Bruscoli |
| Theoretical Computer Science | Dr. Peñaloza |
| Course Title | Lecturer |
|---|---|
| Description Logic | Dr. Turhan |
| Fuzzy Logic | Dr. Peñaloza |
| Introduction to Many-Valued Logics | Dr. Fronhöfer |
| Selected Topics in Proof Theory | Prof. Bruscoli |
| Structural Proof Theory and Abstract Logic Programming | Prof. Bruscoli |
| Theoretical Computer Science | Dr. Peñaloza |
| Course Title | Lecturer |
|---|---|
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Machine Translation and Automata Theory | Prof. Vogler |
| Project Group Model Checking | Prof. Baier |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Natural Language Processing | Prof. Vogler |
| Selected Topics in Proof Theory | Prof. Bruscoli |
| Theoretical Computer Science | Dr. Peñaloza |
Winter Semester 2010/2011
| Course Title | Lecturer |
|---|---|
| Logic | Prof. Hölldobler |
| Science of Computational Logic | Prof. Hölldobler |
| Course Title | Lecturer |
|---|---|
| Foundations of Constraint Programming | Prof. Hölldobler, Mr. Haufe |
| Foundations of Logic Programming | Prof. Reichel, Mr. Haufe |
| Logic Programming Engineering | Dr. Nauber |
| Course Title | Lecturer |
|---|---|
| Design Patterns and Frameworks | Prof. Assmann |
| Distributed Systems | Prof. Schill |
| Mobile Communication/Computation | Prof. Schill |
| Security & Cryptography I | Dr. Köpsell, Dr. Clauß |
| Systems Engineering 1 | Prof. Fetzer |
| Systems Engineering 2 | Prof. Fetzer |
| Transactional Information Systems | Prof. Lehner |
| Course Title | Lecturer |
|---|---|
| Interactive Theorem Proving | Dr. Posegga |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Neural Symbolic Integration | Prof. Hölldobler |
| Projection Computation in Knowledge Representation | Dr. Wernhard |
| Course Title | Lecturer |
|---|---|
| Verarbeitung natürlicher Sprache (in German) | Prof. Vogler |
| Weighted Tree Automata | Prof. Vogler |
| Course Title | Lecturer |
|---|---|
| Interactive Theorem Proving | Dr. Posegga |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Model Checking | Prof. Baier |
| Neural Symbolic Integration | Prof. Hölldobler |
| Projection Computation in Knowledge Representation | Dr. Wernhard |
| SAT-Solving | Prof. Hölldobler |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Model Checking | Prof. Baier |
| Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| Project Group Computational Logic | Prof. NN, Mr. Haufe |
| Project Group Knowledge Representation and Reasoning | Prof. Hölldobler |
| Project Group Machine Translation and Automata Theory | Prof. Vogler |
| Project Group Model Checking | Prof. Baier |
| Project Group Semantic Search | Prof. Schroeder |
| Project Group Theoretical Computer Science | Prof. Baader |
| Course Title | Lecturer |
|---|---|
| German Course | TUDIAS |
| Knowledge Representation and Reasoning | Prof. Hölldobler |
| Selected Topics in Logic and Complexity | Prof. Baier, Dr. Größer |
| Theoretical Computer Science | Prof. Baader |