E192-03 - Forschungsbereich Knowledge Based Systems
-
Journal:
Kuenstliche Intelligenz
-
ISSN:
0933-1875
-
Date (published):
2018
-
Publisher:
Springer
-
Peer reviewed:
No
-
Keywords:
Answer set programming; External source access; Nonmonotonic reasoning
en
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.
en
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>.
