Inlining External Sources in Answer Set Programs

no code implementations • 2 Aug 2018 • Christoph Redl

Since well-known ASP extensions (such as constraint ASP) are special cases of HEX, the results are interesting beyond the particular formalism.

Technical Report: Inconsistency in Answer Set Programs and Extensions

no code implementations • 31 May 2018 • Christoph Redl

Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic logic programs.

The DLVHEX System for Knowledge Representation: Recent Advances (System Description)

no code implementations • 29 Jul 2016 • Christoph Redl

The DLVHEX system implements the HEX-semantics, which integrates answer set programming (ASP) with arbitrary external sources.

A model building framework for Answer Set Programming with external computations

no code implementations • 6 Jul 2015 • Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller

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 contain information in heterogeneous formats.