research
∙
02/26/2021
Finding Bugs with Specification-Based Testing is Easy!
Automated specification-based testing has a long history with several no...
share
research
∙
07/26/2019
Revisiting Explicit Negation in Answer Set Programming
A common feature in Answer Set Programming is the use of a second negati...
research
∙
05/02/2018
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
In this paper, we propose a variant of Answer Set Programming (ASP) with...
research
∙
01/16/2014
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Interpolation is an important property of classical and many non-classic...
research
∙
12/17/2010
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
Interpolation is an important property of classical and many non classic...
research
∙
06/11/2009
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Equilibrium logic is an approach to nonmonotonic reasoning that extends ...
research
∙
07/19/2002