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