# Disjunctive Logic Programs versus Normal Logic Programs

@article{Zhang2013DisjunctiveLP, title={Disjunctive Logic Programs versus Normal Logic Programs}, author={Heng Zhang and Yan Zhang}, journal={ArXiv}, year={2013}, volume={abs/1304.0620} }

This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation from disjunctive logic programs into normal logic programs is proposed and then proved to be sound over infinite structures. The equivalence of expressive power of two kinds of logic programs over arbitrary structures is shown to coincide with that over finite structures, and coincide with whether or not NP is closed…

## Topics from this paper

## One Citation

Expressiveness of Logic Programs under the General Stable Model Semantics

- Mathematics, Computer ScienceACM Trans. Comput. Log.
- 2017

The equivalence of the expressiveness of normal logic programs and disjunctive logic programs over arbitrary structures is shown to coincide with that over finite structures and coincide with whether the complexity class NP is closed under complement.

## References

SHOWING 1-10 OF 28 REFERENCES

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions

- Computer Science, MathematicsJ. Log. Program.
- 1997

This result is surprising because it shows that disjunctive logic programming is not more expressive than normal logic programming under the stable or well-founded semantics, and sharply contrasts with the function-free case.

Propositional semantics for disjunctive logic programs

- Mathematics, Computer ScienceAnnals of Mathematics and Artificial Intelligence
- 2005

It is shown that any propositional HEDLP can be mapped in polynomial time into a propositional theory such that each model of the latter corresponds to an answer set, as defined by stable model semantics, of the former.

First-Order Expressibility and Boundedness of Disjunctive Logic Programs

- Mathematics, Computer ScienceIJCAI
- 2013

In this paper, the fixed point semantics developed in [Lobo et al., 1992] is generalized to disjunctive logic programs with default negation and over arbitrary structures, and proved to coincide with…

Complexity and expressive power of logic programming

- Computer ScienceCSUR
- 2001

This article surveys various complexity and expressiveness results on different forms of logic programming, in particular, propositional logic programming and datalog, but it also mentions general logic programming with function symbols.

Reducing Propositional Theories in Equilibrium Logic to Logic Programs

- Mathematics, Computer ScienceAnswer Set Programming
- 2005

The paper shows how to effectively obtain an equivalent program starting from an arbitrary theory and shows that in general there is no polynomial time transformation if the authors require the resulting program to share precisely the vocabulary or signature of the initial theory.

From Answer Set Logic Programming to Circumscription via Logic of GK

- Mathematics, Computer ScienceIJCAI
- 2007

We first provide a mapping from Pearce's equilibrium logic and Ferraris's general logic programs to Lin and Shoham's logic of knowledge and justified assumptions, a nonmonotonic modal logic that has…

The Expressive Powers of the Logic Programming Semantics

- Computer Science, MathematicsJ. Comput. Syst. Sci.
- 1995

The proof is a corollary of the result that over non-Herbrand infinite models, the well-founded semantics is more expressive than the three-valued program completion semantics, which is in a sense uniform in the strata.

Symmetric Splitting in the General Theory of Stable Models

- Computer Science, MathematicsIJCAI
- 2009

This work discusses two kinds of splitting: a set of intensional predicates can be split into subsets, and a formula can besplit into its conjunctive terms.

Foundations of disjunctive logic programming

- Mathematics, Computer ScienceLogic Programming
- 1992

This paper discusses first-order theory - syntax first order theory - semantics logic programs - syntax Logic programs - semantics - models and interpretations substitutions and unifiers fixpoint theory, a comparison of definite and disjunctive logic programs and normal logic programs.

Disjunctive datalog

- Computer ScienceTODS
- 1997

It is demonstrated that problems relevant in practice such as computing the optimal tour value in the Traveling Salesman Problem and eigenvector computations can be handled in disjunctive Datalog, but not Datalogs with negation (unless the Polynomial Hierarchy collapses).