Scientific Reports:
M. Fink:
"On Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Report for TU Wien, Institut fuer Informationssysteme;
Report No. INFSYS RR-1843-09-05,
2009;
36 pages.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_180800.pdf
Related Projects:
Project Head Thomas Eiter:
Modulare HEX-Programme
Project Head Michael Fink:
Inconsistency Management for Knowledge-Integration Systems
Created from the Publication Database of the Vienna University of Technology.