Applying Visible Strong Equivalence in Answer-Set Program Transformations.

Jori Bomanson Tomi Janhunen Ilkka Niemelä

Published in: ACM Trans. Comput. Log. (2020)

Keyphrases

answer sets
strong equivalence
logic programs
answer set semantics
answer set programs
loop formulas
answer set programming
logic programming
stable models
stable model semantics
normal logic programs
fixpoint
artificial intelligence
reasoning tasks
probabilistic reasoning