Propositional semantics for disjunctive logic programs

@article{BenEliyahuZohary1992PropositionalSF,
  title={Propositional semantics for disjunctive logic programs},
  author={Rachel Ben-Eliyahu-Zohary and Rina Dechter},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={1992},
  volume={12},
  pages={53-87}
}
In this paper we study the properties of the class of head-cycle-free extended disjunctive logic programs (HEDLPs), which includes, as a special case, all nondisjunctive extended logic programs. We show 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. Using this mapping, we show that many queries over HEDLPs can be determined by solving… CONTINUE READING
Highly Influential
This paper has highly influenced 54 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 193 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 30 references

Classical negation in logic programs and disjunctive databases

New Generation Computing • 1991
View 12 Excerpts
Highly Influenced

Disjunctive defaults

M. Gelfond, H. Przymusinska, V. Lifschitz, M. Truszczyfiski
in: KR- 91: Proc. 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning • 1991
View 5 Excerpts
Highly Influenced

Complexity of finding embeddings in a k-tree

S. Arnborg, D. G. Corneil, A. Proskurowski
SIAM J. Algeb. Disc. Meth. 8(2) • 1987
View 5 Excerpts
Highly Influenced

Constraint networks

R. Dechter
in: Encyclopedia of Artificial Intelligence, ed. S.C. Shapiro, 2nd Ed. • 1992
View 2 Excerpts

Fine , The justification of negation as failure , Logic Meth

K.
Philos . Sci . • 1992

Autoepistemic logic

W. Marek, M. Truszczyfiski
J. ACM 38 • 1991

Similar Papers

Loading similar papers…