[Zurück]


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.