Wintersemester 2011/2012
Vorbesprechungstermin der Lehrveranstaltungen
Preliminary Discussion of Lectures
(ausgenommen/except Formale Methoden der Informatik VU, KBS for Business Informatics VU ):
-
Mittwoch, 5.10.2011, 17:30, SEM Gödel
Anmeldung zu den LVAs über TISS erforderlich / Enrollment to
the courses via TISS required!!!
Vorlesungen (mit Übung) und Konversatorien
| 184.186 |
2.0 |
VU |
Theory of Knowledge Representation |
Thomas Eiter |
| 184.188 |
2.0 |
VU |
Nonmontonic Reasoning |
Hans Tompits |
| 184.189 |
2.0 |
VU |
Cryptography |
Uwe Egly |
| 184.208 |
2.0 |
VO |
Logik für Wissensrepräsentation |
Michael Fink,
Hans Tompits |
| 184.266 |
2.0 |
VO |
History of Logic |
Michael Fink, Hans Tompits |
| 184.682 |
3.0 |
VU |
Abstract Argumentation |
Uwe Egly,
Wolfgang Dvorak,
Sarah Alice Gaggl,
Stefan Woltran |
| 184.698 |
4.0 |
VU |
KBS for Business Informatics |
Uwe Egly,
Thomas Eiter,
Thomas Krennwallner |
| 184.700 |
2.0 |
VO |
Deklaratives Problemlösen |
Uwe Egly,
Thomas Krennwallner,
Hans Tompits |
| 184.722 |
2.0 |
VU |
Diagrams and Knowledge Representation |
Luis Pineda |
| 185.291 |
4.0 |
VU |
Formale Methoden der Informatik |
Uwe Egly,
Reinhard Pichler,
Gernot Salzer,
Helmut Veith |
| 195.037 |
2.0 |
VU |
Foundations of Data and Knowledge Systems |
Thomas Eiter,
Reinhard Pichler |
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.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 |
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
|
Übungen
Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen Diplomarbeits- und Dissertationsthemen.
