14 citations · 16 across the 2 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2018
Inlining External Sources in Answer Set Programs
Christoph Redl
HEX-programs are an extension of answer set programs (ASP) with external sources. To this end, external atoms provide a bidirectional interface between the program and an external…
cs.AI2018
Technical Report: Inconsistency in Answer Set Programs and Extensions
Christoph Redl
Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs. HEX-programs extend ASP with external atoms for accessing arbitrary exte…
cs.AI2012★ 14 cited
Conflict-driven ASP Solving with External Sources
Thomas Eiter, Michael Fink, Thomas Krennwallner +1
Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs and efficient solvers. To enable access to external information, HEX-prog…