Publications in Scientific Journals:
M. Fink:
"A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Theory and Practice of Logic Programming,
11
(2011),
2-3;
171
- 202.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068410000542
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.