[Back]


Diploma and Master Theses (authored and supervised):
J. Moura:
"Towards A Characterization Of Semi-Stable Models In The Logic Of Here-And-There";
Supervisor: T. Eiter, M. Fink; Institut für Informationssysteme, 2009.

Created from the Publication Database of the Vienna University of Technology.