Rushing and Strolling among Answer Sets - Navigation Made Easy.

Johannes Klaus Fichte Sarah Alice Gaggl Dominik Rusovac

Published in: CoRR (2021)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
extended logic programs
normal logic programs
answer set programs
fixpoint
loop formulas
counter examples
logic program updates
stable models
disjunctive logic programming
data sources
deductive databases