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

Record link:

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

Title:

Citation:

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

Publisher DOI:

10.1007/s13218-018-0535-y

CatalogPlus:

AC15328411

Publication Type:

Article - Other Contribution

Language:

English

Authors:

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

Organisational Unit:

E192 - Institut für Logic and Computation

Journal:

Kuenstliche Intelligenz

ISSN:

0933-1875

Date (published):

2018

Publisher:

Springer

Peer reviewed:

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.

Additional 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>.

License:

In Copyright

Appears in Collections:

Article