Sommersemester 2021
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 |
| 184.215 | 2.0 | VU | Complexity Analysis | Thomas Eiter |
| 184.730 | 4.0 | VU | Knowledge-Based Systems | Uwe Egly, Thomas Eiter, Hans Tompits, Antonius Weinzierl, Zeynep G. Saribatur |
| 184.735 | 2.0 | VU | Einführung in die künstliche Intelligenz | Thomas Eiter, Hans Tompits, Antonius Weinzierl, Rafael Peter David Kiesel, Zeynep G. Saribatur |
| 184.711 | 2.0 | VU | Proof Systems in Modal Logic | Hans Tompits |
| 184.765 | 2.0 | VU | Argumentieren und Beweisen | Uwe Egly, Wolfgang Dvorak |
| 184.772 | 2.0 | VU | Description Logics and Ontologies | Magdalena Ortiz |
| 185.291 | 4.0 | VU | Formale Methoden der Informatik | Uwe Egly, Stefan Woltran Florian Zuleger Laura Kovács |
Seminare
| 184.067 | 2.0 | SE | Seminar in Theoretical Computer Science | Uwe Egly, Thomas Eiter, Hans Tompits, Magdalena Ortiz |
| 184.068 | 2.0 | SE | Seminar in Artificial Intelligence | Uwe Egly, Thomas Eiter, Hans Tompits, Magdalena Ortiz |
| 184.264 | 2.0 | SE | Seminar in Logic | Uwe Egly, Thomas Eiter, Hans Tompits, Magdalena Ortiz |
| 184.712 | 2.0 | SE | Seminar in Knowledge Representation and Reasoning | Uwe Egly, Thomas Eiter, Hans Tompits, Magdalena Ortiz |
| 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.718 | 4.0 | PR | Project in Computer Science 1 | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.719 | 4.0 | PR | Project in Computer Science 2 | Uwe Egly, Thomas Eiter, Hans Tompits |
Dissertationen
Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen Dissertationsthemen.