aspmc: An Algebraic Answer Set Counter.

Thomas Eiter Markus Hecher Rafael Kiesel

Published in: ICLP Workshops (2021)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
normal logic programs
fixpoint
databases
search algorithm
sat solvers
stable models