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/31/2018
Technical Report: Inconsistency in Answer Set Programs and Extensions
Answer Set Programming (ASP) is a well-known problem solving approach ba...
research
∙
07/29/2016
The DLVHEX System for Knowledge Representation: Recent Advances (System Description)
The DLVHEX system implements the HEX-semantics, which integrates answer ...
research
∙
01/08/2013
Eliminating Unfounded Set Checking for HEX-Programs
HEX-programs are an extension of the Answer Set Programming (ASP) paradi...
research
∙
10/05/2012
Conflict-driven ASP Solving with External Sources
Answer Set Programming (ASP) is a well-known problem solving approach ba...
research
∙
08/29/2011