Characterising equilibrium logic and nested logic programs: Reductions
and complexity

v1v2 (latest)

Characterising equilibrium logic and nested logic programs: Reductions and complexity

11 June 2009

ArXiv (abs)PDF HTML

Papers citing "Characterising equilibrium logic and nested logic programs: Reductions and complexity"

6 / 6 papers shown

Title
Strong Equivalence in Answer Set Programming with Constraints Pedro Cabalar Jorge Fandinno Torsten Schaub P. Wanko 68 0 0 06 Feb 2025
A First Polynomial Non-Clausal Class in Many-Valued Logic Antoine Marot AI4CE 10 3 0 21 Oct 2021
The Horn Non-Clausal Class and its Polynomiality G. E. Imaz 18 3 0 31 Aug 2021
Structural Decompositions of Epistemic Logic Programs Markus Hecher Michael Morak S. Woltran 41 15 0 13 Jan 2020
On Uniform Equivalence of Epistemic Logic Programs W. Faber Michael Morak S. Woltran 32 2 0 25 Jul 2019
Dual-normal Logic Programs - the Forgotten Class Johannes Fichte M. Truszczynski S. Woltran 32 7 0 20 Jul 2015