Propositional theories are strongly equivalent to logic programs

Pedro Cabalar Paolo Ferraris

Published in: CoRR (2007)

Keyphrases

propositional theories
logic programs
strong equivalence
computational problems
computational properties
answer set semantics
logic programming
answer sets
stable models
answer set programming
fixpoint
inductive logic programming
horn clauses
artificial intelligence