Propositional theories are strongly equivalent to logic programs

Pedro Cabalar, Paolo Ferraris

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…