The DLVHEX System

Eiter, Thomas; Germano, Stefano; Ianni, Giovambattista; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius

doi:10.1007/s13218-018-0535-y

Datensatz Zitierlink:

https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-5321
http://hdl.handle.net/20.500.12708/582

Titel:

Zitat:

Eiter, T., Germano, S., Ianni, G., Kaminski, T., Redl, C., Schüller, P., & Weinzierl, A. (2018). The DLVHEX System. Kuenstliche Intelligenz. https://doi.org/10.1007/s13218-018-0535-y

Verlags-DOI:

10.1007/s13218-018-0535-y

CatalogPlus:

AC15328411

Publikationstyp:

Artikel - Sonstiger Beitrag

Sprache:

Englisch

Autor_innen:

Eiter, Thomas
Germano, Stefano
Ianni, Giovambattista
Kaminski, Tobias
Redl, Christoph
Schüller, Peter
Weinzierl, Antonius

Organisationseinheit:

E192 - Institut für Logic and Computation

Zeitschrift:

Kuenstliche Intelligenz

ISSN:

0933-1875

Datum (veröffentlicht):

2018

Verlag:

Springer

Peer Reviewed:

Nein

Keywords:

Answer set programming; External source access; Nonmonotonic reasoning

Abstract:

HEX-programs extend ASP with external atoms implemented in C++ or Python. DLVHEX is a solver for HEX that permits cyclic reasoning over external atoms and external value invention.

Weitere Information:

The final publication is available via <a href="https://doi.org/10.1007/s13218-018-0535-y" target="_blank">https://doi.org/10.1007/s13218-018-0535-y</a>.

Lizenz:

In Copyright

Enthalten in den Sammlungen:

Article