The DLVHEX System

• DOI: 10.1007/s13218-018-0535-y
• Publication Date: 2018-05-15T03:24:45Z
• Authors: Thomas Eiter; Stefano Germano; Giovambattista Ianni; Tobias Kaminski; Christoph Redl; Peter Schüller; Antonius Weinzierl
• Keywords: Python; Solver; Problem solver

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.