14 citations · 18 across the 5 of their papers we have counts for
5 papers
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…
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…
Eliminating Unfounded Set Checking for HEX-Programs
Thomas Eiter, Michael Fink, Thomas Krennwallner +2
HEX-programs are an extension of the Answer Set Programming (ASP) paradigm incorporating external means of computation into the declarative programming language through so-called e…
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…
Nested HEX-Programs
Thomas Eiter, Thomas Krennwallner, Christoph Redl
Answer-Set Programming (ASP) is an established declarative programming paradigm. However, classical ASP lacks subprogram calls as in procedural programming, and access to external…