ML Anthology

Sound and Complete Inference Rules for SE-Consequence

Ka-Shu Wong
JAIR 2008 pp. 205-216
doi:10.1613/JAIR.2472 /jair/2008/wong2008jair-sound/

Abstract

The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound and complete set of inference rules for SE-consequence on disjunctive logic programs.

PDF JAIR Semantic Scholar

Cite

Text

Wong. "Sound and Complete Inference Rules for SE-Consequence." Journal of Artificial Intelligence Research, 2008. doi:10.1613/JAIR.2472

Markdown

[Wong. "Sound and Complete Inference Rules for SE-Consequence." Journal of Artificial Intelligence Research, 2008.](https://mlanthology.org/jair/2008/wong2008jair-sound/) doi:10.1613/JAIR.2472

BibTeX

@article{wong2008jair-sound,
  title     = {{Sound and Complete Inference Rules for SE-Consequence}},
  author    = {Wong, Ka-Shu},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2008},
  pages     = {205-216},
  doi       = {10.1613/JAIR.2472},
  volume    = {31},
  url       = {https://mlanthology.org/jair/2008/wong2008jair-sound/}
}