Propositional theories are strongly equivalent to logic programs.

Pedro Cabalar Paolo Ferraris

Published in: Theory Pract. Log. Program. (2007)

Keyphrases

propositional theories
logic programs
strong equivalence
answer set semantics
computational problems
logic programming
computational properties
answer sets
stable models
answer set programming
fixpoint
horn clauses
orders of magnitude
inductive logic programming
database systems
sat solvers