Sommersemester 2013
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 die künstliche Intelligenz VU):
- Dienstag, 5.3.2013, 17:30, Zemanek Hörsaal
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.700 | 2.0 | VO | Deklaratives Problemlösen | Uwe Egly, Thomas Krennwallner, Hans Tompits |
| 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.711 | 2.0 | VU | Proof Systems in Modal Logic | Hans Tompits |
| 184.748 | 2.0 | VU | Planning in Artificial Intelligence | Wolfgang Faber |
| 185.291 | 4.0 | VU | Formale Methoden der Informatik | Uwe Egly, Reinhard Pichler, Gernot Salzer, Helmut Veith |
| 195.065 | 2.0 | VU | Description Logics, Ontology-based Data Access, and Reasoning | Diego Calvanese (Univ. Bozen-Bolzano) |
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.226 | 2.0 | SE | Seminar Kryptographie | Uwe Egly |
| 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.720 | 2.0 | SE | Wissenschaftliches Arbeiten | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.721 | 2.0 | SE | Seminar für DissertantInnen | Uwe Egly, Thomas Eiter, Hans Tompits |
| 184.746 | 2.0 | SE | Seminar für Dissertanten Interdisziplinäres Forschungsseminar II | Thomas Eiter, Alexander Leitsch Stefan Szeider Helmut Veith Stefan Woltran |
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.