14 citations · 18 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 1 cited
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…