Abstract:Answer Set Programming (ASP) has emerged as a promising paradigm in knowledge representation and automated reasoning owing to its ability to model hard combinatorial problems from diverse domains in a natural way. Building on advances in propositional SAT solving, the past two decades have witnessed the emergence of well-engineered systems for solving the answer set satisfiability problem, i.e., finding models or answer sets for a given answer set program. In recent years, there has been growing interest in problems beyond satisfiability, such as model counting, in the context of ASP. Akin to the early days of propositional model counting, state-of-the-art exact answer set counters do not scale well beyond small instances. Exact ASP counters struggle with handling larger input formulas. The primary contribution of this paper is a new ASP counting framework, called sharpASP, which counts answer sets avoiding larger input formulas. This relies on an alternative way of defining answer sets that allows for the lifting of key techniques developed in the context of propositional model counting. Our extensive empirical analysis over 1470 benchmarks demonstrates significant performance gain over current state-of-the-art exact answer set counters. Specifically, by using sharpASP, we were able to solve 1062 benchmarks with PAR2 score of 3082 whereas using prior state-of-the-art, we could only solve 895 benchmarks with a PAR2 score of 4205, all other experimental conditions being the same.

Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs

First-Order Stable Model Semantics with Intensional Functions

Stable Models for Infinitary Formulas with Extensional Atoms

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

A Paraconsistent ASP-like Language with Tractable Model Generation

Typed Answer Set Programming and Inverse Lambda Algorithms

Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms.

Restricted Four-Valued Semantics for Answer Set Programming.

Epistemic Logic Programs: A Study of Some Properties

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?

IASCAR: Incremental Answer Set Counting by Anytime Refinement

Solving Advanced Argumentation Problems with Answer Set Programming

Quantifying over Optimum Answer Sets

A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application.

The Stable Model Semantics for Higher-Order Logic Programming

ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers

Exact ASP Counting with Compact Encodings

Technical Report: Inconsistency in Answer Set Programs and Extensions

Reducing fuzzy answer set programming to model finding in fuzzy logics

LLASP: Fine-tuning Large Language Models for Answer Set Programming

Aggregate Semantics for Propositional Answer Set Programs