IASCAR: Incremental answer set counting by anytime refinement
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 …
applications. Programs can easily have so many answer sets that they cannot be …
Counting Complexity for Reasoning in Abstract Argumentation
In this paper, we consider counting and projected model counting of extensions in abstract
argumentation for various semantics, including credulous reasoning. When asking for …
argumentation for various semantics, including credulous reasoning. When asking for …