IASCAR: Incremental Answer Set Counting by Anytime Refinement.

Johannes Klaus Fichte Sarah Alice Gaggl Markus Hecher Dominik Rusovac

Published in: CoRR (2023)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
fixpoint
stable models
information systems
knowledge representation
general purpose
reasoning tasks
loop formulas
counter examples
semantics of logic programs