Wissenschaftliche Berichte:
M. Fink:
"On Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There";
Bericht für TU Wien, Institut fuer Informationssysteme;
Berichts-Nr. INFSYS RR-1843-09-05,
2009;
36 S.
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_180800.pdf
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.