Zeitschriftenartikel:
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;
S. 171
- 202.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068410000542
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Modulare HEX-Programme
Projektleitung Michael Fink:
Inconsistency Management for Knowledge-Integration Systems
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.