[Back]


Publications in Scientific Journals:

T. Eiter, A. Polleres:
"Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications";
Theory and Practice of Logic Programming, 6 (2006), 1-2; 23 - 60.


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