Zeitschriftenartikel:
Z. G. Saribatur, T. Eiter:
"Omission-based Abstraction for Answer Set Programs";
TPLP - Theory and Practice of Logic Programming,
-
(2020),
S. 1
- 51.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068420000095
Elektronische Version der Publikation:
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/FD63017419E44CA4450AE8B2F1CDA9BB/S1471068420000095a.pdf/omission-based-abstraction-for-answer-set-programs.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.