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:
http://publik.tuwien.ac.at/files/PubDat_232198.pdf
Related Projects:
Project Head Thomas Eiter:
Evaluierung von ASP Programming mit Externen Zugriffen
Created from the Publication Database of the Vienna University of Technology.