Zeitschriftenartikel:
T. Eiter, T. Kaminski:
"Pruning external minimality checking for answer set programs using semantic dependencies";
Artificial Intelligence,
290
(2021).
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.artint.2020.103402
Elektronische Version der Publikation:
https://reader.elsevier.com/reader/sd/pii/S000437022030151X?token=075185C93309424049101725C65B3DC8C58749429639EA5071B5701E9272E055311FA047FB67ED4A74F7F083537042DC
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.