papers
Publications (5)
cs.AI2018
Technical Report: Inconsistency in Answer Set Programs and Extensions
Christoph Redl
cs.CL2016
The DLVHEX System for Knowledge Representation: Recent Advances (System Description)
Christoph Redl
cs.AI2012
Conflict-driven ASP Solving with External Sources
Thomas Eiter, Michael Fink, Thomas Krennwallner +1
cs.LO2013
Eliminating Unfounded Set Checking for HEX-Programs
Thomas Eiter, Michael Fink, Thomas Krennwallner +2
cs.AI2011
Nested HEX-Programs
Thomas Eiter, Thomas Krennwallner, Christoph Redl