aspmc: New frontiers of algebraic answer set counting

Thomas Eiter, Markus Hecher, Rafael Kiesel. aspmc: New frontiers of algebraic answer set counting. Artificial Intelligence, 330:104109, 2024. [doi]

Abstract

Abstract is missing.