Publications in Scientific Journals:
Z. G. Saribatur, T. Eiter:
"Omission-based Abstraction for Answer Set Programs";
TPLP - Theory and Practice of Logic Programming,
-
(2020),
1
- 51.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1017/S1471068420000095
Electronic version of the publication:
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/FD63017419E44CA4450AE8B2F1CDA9BB/S1471068420000095a.pdf/omission-based-abstraction-for-answer-set-programs.pdf
Created from the Publication Database of the Vienna University of Technology.