Login / Signup
SELP - A System for Studying Strong Equivalence between Logic Programs.
Yin Chen
Fangzhen Lin
Lei Li
Published in:
Answer Set Programming (2005)
Keyphrases
</>
strong equivalence
logic programs
logic programming
stable models
answer set semantics
answer sets
answer set programming
fixpoint
general logic programs
reasoning tasks
normal logic programs
inductive logic programming
argumentation frameworks
artificial intelligence
knowledge base
autoepistemic logic