Picture for David Pearce

David Pearce

Revisiting Explicit Negation in Answer Set Programming

Add code
Jul 26, 2019
Figure 1 for Revisiting Explicit Negation in Answer Set Programming
Figure 2 for Revisiting Explicit Negation in Answer Set Programming
Viaarxiv icon

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

Add code
May 02, 2018
Viaarxiv icon

Interpolable Formulas in Equilibrium Logic and Answer Set Programming

Add code
Jan 16, 2014
Viaarxiv icon

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

Add code
Dec 17, 2010
Viaarxiv icon

Characterising equilibrium logic and nested logic programs: Reductions and complexity

Add code
Jun 13, 2009
Viaarxiv icon

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report

Add code
Jul 19, 2002
Viaarxiv icon