[Back]


Publications in Scientific Journals:

T. Eiter, T. Kaminski:
"Pruning external minimality checking for answer set programs using semantic dependencies";
Artificial Intelligence, 290 (2021).



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.artint.2020.103402

Electronic version of the publication:
https://reader.elsevier.com/reader/sd/pii/S000437022030151X?token=075185C93309424049101725C65B3DC8C58749429639EA5071B5701E9272E055311FA047FB67ED4A74F7F083537042DC


Created from the Publication Database of the Vienna University of Technology.