Sommersemester 2012
Vorbesprechungstermin der Lehrveranstaltungen
Preliminary Discussion of Lectures
(ausgenommen/except Formale Methoden der Informatik VU, Knowledge Based Systems VU, Logic and Computability VU, Einführung in wissensbasierte Systeme VU, Einführung in die künstliche Intelligenz VU):
- Wird bekannt gegeben/to be announced
Anmeldung zu den LVAs über TISS erforderlich / Enrollment to the courses via TISS required!!!
Vorlesungen (mit Übung) und Konversatorien
| 184.090 | 2.0 | VU | SAT Solving and Extensions | Uwe Egly |
| 184.215 | 2.0 | VU | Complexity Analysis | Thomas Eiter |
| 184.684 | 2.0 | VU | Discrete Reasoning Methods | Stefan Szeider |
| 184.698 | 4.0 | VU | KBS for Business Informatics | Uwe Egly, Thomas Eiter, Thomas Krennwallner |
| 184.729 | 2.0 | VU | Semantic Web Technologies | Axel Polleres |
| 184.730 | 4.0 | VU | Knowledge Based Systems | Uwe Egly, Thomas Eiter, Thomas Krennwallner, Hans Tompits |
| 184.735 | 2.0 | VU | Einführung in die künstliche Intelligenz | Thomas Eiter, Hans Tompits |
| 184.737 | 3.0 | VU | Einführung in wissensbasierte Systeme | Uwe Egly, Hans Tompits |
| 184.711 | 2.0 | VU | Proof Systems in Modal Logic | Hans Tompits |
| 185.291 | 4.0 | VU | Formale Methoden der Informatik | Uwe Egly, Reinhard Pichler, Gernot Salzer, Helmut Veith |
| 185.A45 | 4.0 | VU | Logic and Computability | Uwe Egly, Hans Tompits, Christian Fermüller, Agata Ciabattoni |
Seminare
| 184.010 | 2.0 | SE | Seminar für DiplomandInnen | Uwe Egly, Thomas Eiter, Stefan Szeider, 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.264 | 2.0 | SE | Seminar in Logic | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.708 | 2.0 | SE | Seminar in Complexity Theory | Stefan Szeider |
| 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, Thomas Krennwallner, Hans Tompits |
| 184.718 | 4.0 | PR | Project in Computer Science 1 | Uwe Egly, Thomas Eiter, Thomas Krennwallner, Hans Tompits |
| 184.719 | 4.0 | PR | Project in Computer Science 2 | Uwe Egly, Thomas Eiter, Thomas Krennwallner, Stefan Szeider, Hans Tompits |
Diplomarbeiten und Dissertationen
Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen Diplomarbeits- und Dissertationsthemen.