aspmc: New frontiers of algebraic answer set counting.

Thomas Eiter Markus Hecher Rafael Kiesel

Published in: Artif. Intell. (2024)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
loop formulas
fixpoint
information systems
stable models
stable model semantics
counter examples