[Back]


Scientific Reports:
T. Eiter, A. Polleres:
"Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications";
2004.

Electronic version of the publication:
http://www.kr.tuwien.ac.at/research/reports/rr0401.ps.gz

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