Doctor's Theses (authored and supervised):

C. Redl:
"Answer Set Programming with External Sources: Algorithms and Efficient Evaluation";
Supervisor, Reviewer: T. Eiter, S. Woltran, G. Ianni; Institut für Informationssystems, 2014; oral examination: 2014-05-28.

Electronic version of the publication:

Related Projects:
Project Head Thomas Eiter:
Evaluierung von ASP Programming mit Externen Zugriffen

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