Login / Signup
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.
Joohyung Lee
Ravi Palla
Published in:
CENT (2007)
Keyphrases
</>
logic programs
strong equivalence
propositional theories
answer set semantics
logic programming
answer sets
stable models
answer set programming
computational properties
fixpoint
inductive logic programming
artificial intelligence
theorem proving
general purpose
orders of magnitude
model theoretic