Abstract:In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R have the same answer sets for any other program R . This property strengthens the equivalence of P and Q with respect to answer sets (which is the particular case for R =∅), and has its applications in program optimization, verification, and modular logic programming. In this article, we consider more liberal notions of strong equivalence, in which the actual form of R may be syntactically restricted. On the one hand, we consider uniform equivalence where R is a set of facts, rather than a set of rules. This notion, which is well-known in the area of deductive databases, is particularly useful for assessing whether programs P and Q are equivalent as components of a logic program which is modularly structured. On the other hand, we consider relativized notions of equivalence where R ranges over rules over a fixed alphabet, and thus generalize our results to relativized notions of strong and uniform equivalence. For all these notions, we consider disjunctive logic programs in the propositional (ground) case as well as some restricted classes, providing semantical characterizations and analyzing the computational complexity. Our results, which naturally extend to answer set semantics for programs with strong negation, complement the results on strong equivalence of logic programs and pave the way for optimizations in answer set solvers as a tool for input-based problem solving.

Discovering Classes of Strongly Equivalent Logic Programs with Negation as Failure in the Head.

Discovering Classes of Strongly Equivalent Logic Programs

Three-valued and four-valued approach to logic programming with negation

On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head

Strong Equivalence Made Easy: Nested Expressions and Weight Constraints

Semantical characterizations and complexity of equivalences in answer set programming

Learning logic programs by explaining their failures

Logic programming with default, weak and strict negations

Founded Semantics and Constraint Semantics of Logic Rules

Negation and partial axiomatizations of dependence and independence logic revisited

Termination Prediction for General Logic Programs

On the Expressive Power of F-logic Language

Dual-normal Logic Programs - the Forgotten Class

Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach

An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

A note on the Declarative reading(s) of Logic Programming

Logic As Programming

There are (other) ways to negate in propositional team semantics

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic

Interdefinability of defeasible logic and logic programming under the well-founded semantics

Non Deterministic Logic Programs