IASCAR: Incremental Answer Set Counting by Anytime Refinement.

Johannes Klaus Fichte Sarah Alice Gaggl Markus Hecher Dominik Rusovac

Published in: LPNMR (2022)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
fixpoint
database
loop formulas
semantics of logic programs
counter examples
stable models
sat solvers
dynamic programming
evolutionary algorithm
knowledge base