A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
The DLVHEX System
2018
Künstliche Intelligenz
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. Keywords Answer set programming · External source access · Nonmonotonic reasoning Motivation Answer Set Programming (ASP) [1] is a logic programming formalism for knowledge representation and reasoning. However, in many applications, rules are insufficient for representing all reasoning about the domain of interest.
doi:10.1007/s13218-018-0535-y
fatcat:r4cvjqtijvbuhb2pqufomqt5ca