Summer Semester 2024

Lectures (with exercises) and conversations

184.090 VU SAT Solving
Uwe Egly, Katalin Fazekas

184.215 VU Complexity Analysis
Thomas Eiter

184.188 VU Nonmontonic Reasoning
Hans Tompits

184.729 VU Semantic Technologies
Magdalena Ortiz, Shqiponja Ahmetaj

184.730 VU Knowledge-Based Systems
Uwe Egly, Thomas Eiter, Hans Tompits, Xinghan Liu, Sanja Lukumbuzya, Anouk Michelle Oudshoorn

184.765 VU Argumentation and Proof
Uwe Egly, Wolfgang Dvorak

192.027 VU Introduction to Artificial Intelligence
Thomas Eiter, Hans Tompits, Xinghan Liu, Michele Collevati, Tobias Geibinger, Sanja Lukumbuzya, Davide Solda

192.036 VU Introduction to Quantum Computing
Uwe Egly, Hans Tompits

 

Seminars

184.067 SE Seminar in Theoretical Computer Science
Uwe Egly, Thomas Eiter, Magdalena Ortiz, Hans Tompits

184.068 SE Artificial Intelligence Seminar
Uwe Egly, Thomas Eiter, Magdalena Ortiz, Hans Tompits

184.264 SE Seminar in Logic
Uwe Egly, Thomas Eiter, Magdalena Ortiz, Hans Tompits

184.712 SE Seminar in Knowledge Representation and Reasoning
Uwe Egly, Thomas Eiter, Magdalena Ortiz, Hans Tompits

184.721 SE Seminar for PhD Students
Uwe Egly, Thomas Eiter, Hans Tompits

 

Bachelor and Projects

184.713 PR Bachelorarbeit für Informatik und Wirtschaftsinformatik
Uwe Egly, Thomas Eiter, Magdalena Ortiz, Hans Tompits

192.021 PR Project in Computer Science 1
Uwe Egly, Thomas Eiter, Magdalena Ortiz, Hans Tompits

192.022 PR Project in Computer Science 2
Uwe Egly, Thomas Eiter, Magdalena Ortiz, Hans Tompits