E192-03 - Forschungsbereich Knowledge Based Systems
-
Zeitschrift:
Kuenstliche Intelligenz
-
ISSN:
0933-1875
-
Datum (veröffentlicht):
2018
-
Verlag:
Springer
-
Peer Reviewed:
Nein
-
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
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>.
