The DLVHEX System

作     者：Eiter, Thomas Germano, Stefano Ianni, Giovambattista Kaminski, Tobias Redl, Christoph Schueller, Peter Weinzierl, Antonius 

作者机构：TU Wien Inst Log & Computat Favoritenstr 9-11 A-1040 Vienna Austria Univ Calabria UNICAL Dept Math & Comp Sci Via BucciCubo 30B I-87036 Arcavacata Di Rende CS Italy 

出 版 物：《KUNSTLICHE INTELLIGENZ》 (人工智能)

年 卷 期：2018年第32卷第2-3期

页      面：187-189页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Austrian Science Fund (FWF) [P27730  W1255-N23] 

主　　题：Answer set programming External source access Nonmonotonic reasoning 

摘      要：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.