Progression Semantics for Disjunctive Logic Programs

AAAI 2011 pp. 286-291

doi:10.1609/AAAI.V25I1.7843 /aaai/2011/zhou2011aaai-progression/

Abstract

In this paper, we extend the progression semantics for first-order disjunctive logic programs and show that it coincides with the stable model semantics. Based on it, we further show how disjunctive answer set programming is related to Satisfiability Modulo Theories.

PDF AAAI Semantic Scholar

Cite

Text

Zhou and Zhang. "Progression Semantics for Disjunctive Logic Programs." AAAI Conference on Artificial Intelligence, 2011. doi:10.1609/AAAI.V25I1.7843

Markdown

[Zhou and Zhang. "Progression Semantics for Disjunctive Logic Programs." AAAI Conference on Artificial Intelligence, 2011.](https://mlanthology.org/aaai/2011/zhou2011aaai-progression/) doi:10.1609/AAAI.V25I1.7843

BibTeX

@inproceedings{zhou2011aaai-progression,
  title     = {{Progression Semantics for Disjunctive Logic Programs}},
  author    = {Zhou, Yi and Zhang, Yan},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {286-291},
  doi       = {10.1609/AAAI.V25I1.7843},
  url       = {https://mlanthology.org/aaai/2011/zhou2011aaai-progression/}
}