IASCAR: Incremental answer set counting by anytime refinement

JK Fichte, SA Gaggl, M Hecher, D Rusovac - International Conference on …, 2022 - Springer
Answer set programming (ASP) is a popular declarative programming paradigm with various
applications. Programs can easily have so many answer sets that they cannot be …

Counting Complexity for Reasoning in Abstract Argumentation

JK Fichte, M Hecher, A Meier - Journal of Artificial Intelligence Research, 2024 - jair.org
In this paper, we consider counting and projected model counting of extensions in abstract
argumentation for various semantics, including credulous reasoning. When asking for …