46 citations · 49 across the 2 of their papers we have counts for
2 papers
cs.CL2016★ 3 cited
The DLVHEX System for Knowledge Representation: Recent Advances (System Description)
Christoph Redl
The DLVHEX system implements the HEX-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant ad…
cs.AI2015★ 46 cited
A model building framework for Answer Set Programming with external computations
Thomas Eiter, Michael Fink, Giovambattista Ianni +3
As software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may c…