research
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
share
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