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.

Symplectic topology of integrable Hamiltonian systems, I: Arnold-Liouville with singularities

dxo: A System for Relational Algebra and Differentiation

Abstract Modular Systems and Solvers

Regular Substitution Sets: A Means of Controlling E-Unification

Objects and their computational framework

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)

Composing Codensity Bisimulations

Equivalence in functional languages with effects

Semantical characterizations and complexity of equivalences in answer set programming

From Relation to Emulation and Interpretation: Computer Algebra Implementation of the Covering Lemma for Finite Transformation Semigroups

The Elements of an Analysis of the Functions of a Set

Equivalences in diagrammatic sets

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries

Logic, Individuals and Concepts

Abstract Effects and Proof-Relevant Logical Relations

Systems of Equations in Elamite Mathematics

Bialgebraic Reasoning on Higher-Order Program Equivalence

The duality of computation under focus

Equational theorem proving for clauses over strings

New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized

Set Theory Axioms Using Explication