Z. G. Saribatur:
"Abstraction for Reasoning about Agent Behavior with Answer Set Programming";
Supervisor, Reviewer: T. Eiter, G. Weissenbacher; Institut für Logic and Computation, 2019; oral examination: 2019-12-17.
https://repositum.tuwien.ac.at/obvutwhs/download/pdf/4632876?originalFilename=true