Abstract:Answer Set Programming (ASP) is a widely used declarative programming paradigm that has shown great potential in solving complex computational problems. However, the inability to natively support non-integer arithmetic has been highlighted as a major drawback in real-world applications. This feature is crucial to accurately model and manage real-world data and information as emerged in various contexts, such as the smooth movement of video game characters, the 3D movement of mechanical arms, and data streamed by sensors. Nevertheless, extending ASP in this direction, without affecting its declarative nature and its well-defined semantics, poses non-trivial challenges; thus, no ASP system is able to reason natively with non-integer domains. Indeed, the widespread floating-point arithmetic is not applicable to the ASP case, as the reproducibility of results cannot be guaranteed and the semantics of an ASP program would not be uniquely and declaratively determined, regardless of the employed machine or solver. To overcome such limitations and in the realm of pure ASP, this paper proposes an extension of ASP in which non-integers are approximated to rational numbers, fully granting reproducibility and declarativity. We provide a well-defined semantics for the ASP-Core-2 standard extended with rational numbers and an implementation thereof. We hope this work could serve as a stepping stone towards a more expressive and versatile ASP language that can handle a broader range of real-world problems.

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

Technical Report: Inconsistency in Answer Set Programs and Extensions

Solving Advanced Argumentation Problems with Answer Set Programming

Quantifying over Optimum Answer Sets

D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

Exact ASP Counting with Compact Encodings

A Translational Approach to Constraint Answer Set Solving

Answer Set Programming : SAT Based Solver and Phase Transition

LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories

Conflict-driven ASP Solving with External Sources

Abstract Solvers for Computing Cautious Consequences of ASP programs

Answer Set Programming for Stream Reasoning

Dealing with Generic Contrariness in Structured Argumentation

Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

Justifications for Goal-Directed Constraint Answer Set Programming

Extending Answer Set Programming with Rational Numbers

An efficient solver for ASP(Q)

Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge

Reducing fuzzy answer set programming to model finding in fuzzy logics

Parallel Instantiation of ASP Programs: Techniques and Experiments

Aggregate Semantics for Propositional Answer Set Programs