Sommersemester 2024
Anmeldung zu den LVAs über TISS erforderlich / Enrollment to
the courses via TISS required!!!
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,
Katalin Fazekas |
184.215 |
2.0 |
VU |
Complexity Analysis |
Thomas Eiter |
184.188 |
2.0 |
VU |
Nonmontonic Reasoning |
Hans Tompits |
184.729 |
2.0 |
VU |
Semantic Technologies |
Shqiponja Ahmetaj,
Magdalena Ortiz
|
184.730 |
4.0 |
VU |
Knowledge-Based Systems |
Uwe Egly,
Thomas Eiter,
Hans Tompits,
Xinghan Liu,
Sanja Lukumbzya,
Anouk Michelle Oudshoorn
|
184.765 |
2.0 |
VU |
Argumentieren und Beweisen |
Uwe Egly,
Wolfgang Dvorak |
192.027 |
4.0 |
VU |
Einführung in Artificial Intelligence |
Thomas Eiter,
Hans Tompits,
Xinghan Liu,
Michele Collevati,
Tobias Geibinger,
Sanja Lukumbzya,
Davide Solda
|
192.036/tt> |
4.0 |
VU |
Einführung in Quantencomputing |
Uwe Egly,
Hans Tompits
|
Seminare
184.067 |
2.0 |
SE |
Seminar in Theoretical Computer Science |
Uwe Egly,
Thomas Eiter,
Magdalena Ortiz,
Hans Tompits
|
184.068 |
2.0 |
SE |
Seminar in Artificial Intelligence |
Uwe Egly,
Thomas Eiter,
Magdalena Ortiz,
Hans Tompits
|
184.264 |
2.0 |
SE |
Seminar in Logic |
Uwe Egly,
Thomas Eiter,
Magdalena Ortiz,
Hans Tompits
|
184.712 |
2.0 |
SE |
Seminar in Knowledge Representation and Reasoning |
Uwe Egly,
Thomas Eiter,
Magdalena Ortiz,
Hans Tompits
|
184.721 |
2.0 |
SE |
Seminar für DissertantInnen |
Uwe Egly,
Thomas Eiter,
Magdalena Ortiz,
Hans Tompits
|
Bachelorarbeit und Projekte
Bitte erkundigen Sie sich direkt bei den Mitarbeitern der Abteilung wegen
Dissertationsthemen.