Yet Another Characterization of Strong Equivalence

Authors Alexander Bochman, Vladimir Lifschitz



PDF
Thumbnail PDF

File

LIPIcs.ICLP.2011.11.pdf
  • Filesize: 307 kB
  • 5 pages

Document Identifiers

Author Details

Alexander Bochman
Vladimir Lifschitz

Cite AsGet BibTex

Alexander Bochman and Vladimir Lifschitz. Yet Another Characterization of Strong Equivalence. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 11-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
https://doi.org/10.4230/LIPIcs.ICLP.2011.11

Abstract

Strong equivalence of disjunctive logic programs is characterized here by a calculus that operates with syntactically simple formulas.
Keywords
  • Strong equivalence
  • logic program

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads