Sommersemester 2018
Anmeldung zu den LVAs über TISS erforderlich / Enrollment to the courses via TISS required!!!
Diplomarbeiten und Projekte
Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen Themen für Diplomarbeiten oder Projekte. Insbesondere lassen sich jederzeit Themen im Rahmen unserer Forschungsprojekte finden.
Vorlesungen (mit Übung)
| 184.090 | 2.0 | VU | SAT Solving und Erweiterungen | Uwe Egly, Florian Lonsing |
| 184.215 | 2.0 | VU | Complexity Analysis | Thomas Eiter |
| 184.682 | 3.0 | VU | Abstract Argumentation | Uwe Egly, Stefan Woltran |
| 184.729 | 2.0 | VU | Semantic Web Technologies | Yazmin Ibanez Garcia, Sebastian Skritek, Magdalena Ortiz |
| 184.730 | 4.0 | VU | Knowledge Based Systems | Uwe Egly, Thomas Eiter, Hans Tompits, Christoph Redl, Yazmin Ibanez Garcia |
| 184.735 | 2.0 | VU | Einführung in die künstliche Intelligenz | Thomas Eiter, Hans Tompits, Christoph Redl, Yazmin Ibanez Garcia |
| 184.711 | 2.0 | VU | Proof Systems in Modal Logic | Hans Tompits |
| 184.765 | 2.0 | VU | Argumentieren und Beweisen | Uwe Egly, Peter Schüller |
| 185.291 | 4.0 | VU | Formale Methoden der Informatik | Gernot Salzer, Uwe Egly, Stefan Woltran |
| 192.052 | 2.0 | VU | Introduction to Natural Language Processing | Peter Schüller |
Seminare
| 184.010 | 2.0 | SE | Seminar für DiplomandInnen | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.067 | 2.0 | SE | Seminar in Theoretical Computer Science | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.068 | 2.0 | SE | Seminar in Artificial Intelligence | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.226 | 2.0 | SE | Seminar Kryptographie | Uwe Egly |
| 184.264 | 2.0 | SE | Seminar in Logic | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.712 | 2.0 | SE | Seminar in Knowledge Representation and Reasoning | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.721 | 2.0 | SE | Seminar für DissertantInnen | Uwe Egly, Thomas Eiter, Hans Tompits |
Bachelorarbeit und Projekte
| 184.713 | 5.0 | PR | Bachelorarbeit für Informatik und Wirtschaftsinformatik | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.191 | 8.0 | PR | Project in Computational Logic | Uwe Egly, Thomas Eiter, Christoph Redl, Hans Tompits |
| 184.718 | 4.0 | PR | Project in Computer Science 1 | Uwe Egly, Thomas Eiter, Christoph Redl, Hans Tompits |
| 184.719 | 4.0 | PR | Project in Computer Science 2 | Uwe Egly, Thomas Eiter, Christoph Redl, Hans Tompits |
Dissertationen
Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen Dissertationsthemen.