Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Propositional theories are strongly equivalent to logic programs

Add code

Jan 16, 2007
Pedro Cabalar, Paolo Ferraris

Share this with someone who'll enjoy it:

This paper presents a property of propositional theories under the answer sets semantics (called Equilibrium Logic for this general syntax): any theory can always be reexpressed as a strongly equivalent disjunctive logic program, possibly with negation in the head. We provide two different proofs for this result: one involving a syntactic transformation, and one that constructs a program starting from the countermodels of the theory in the intermediate logic of here-and-there.

* 15 pages 

   Access Paper Source

Share this with someone who'll enjoy it: