Applying Visible Strong Equivalence in Answer-Set Program Transformations.

Tomi Janhunen Ilkka Niemelä

Published in: Correct Reasoning (2012)

Keyphrases

answer sets
strong equivalence
logic programs
answer set semantics
answer set programs
loop formulas
answer set programming
logic programming
stable model semantics
stable models
normal logic programs
fixpoint
reasoning tasks
artificial intelligence
nonmonotonic reasoning
sat solvers
expert systems
knowledge base