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: