Nested HEX-Programs

08/29/2011
by   Thomas Eiter, et al.
0

Answer-Set Programming (ASP) is an established declarative programming paradigm. However, classical ASP lacks subprogram calls as in procedural programming, and access to external computations (like remote procedure calls) in general. The feature is desired for increasing modularity and---assuming proper access in place---(meta-)reasoning over subprogram results. While HEX-programs extend classical ASP with external source access, they do not support calls of (sub-)programs upfront. We present nested HEX-programs, which extend HEX-programs to serve the desired feature, in a user-friendly manner. Notably, the answer sets of called sub-programs can be individually accessed. This is particularly useful for applications that need to reason over answer sets like belief set merging, user-defined aggregate functions, or preferences of answer sets.

READ FULL TEXT
research
08/02/2018

Inlining External Sources in Answer Set Programs

HEX-programs are an extension of answer set programs (ASP) with external...
research
05/07/2019

Integrated Algorithms for HEX-Programs and Applications in Machine Learning

This paper summarizes my doctoral research on evaluation algorithms for ...
research
04/05/2013

Nested Aggregates in Answer Sets: An Application to a Priori Optimization

We allow representing and reasoning in the presence of nested multiple a...
research
10/05/2012

Conflict-driven ASP Solving with External Sources

Answer Set Programming (ASP) is a well-known problem solving approach ba...
research
09/19/2019

Imperative Program Synthesis from Answer Set Programs

Our research concerns generating imperative programs from Answer Set Pro...
research
01/08/2013

Eliminating Unfounded Set Checking for HEX-Programs

HEX-programs are an extension of the Answer Set Programming (ASP) paradi...
research
05/08/2019

Discovering and Proving Invariants in Answer Set Programming and Planning

Answer set programming (ASP) and planning are two widely used paradigms ...

Please sign up or login with your details

Forgot password? Click here to reset