In this paper, we address the problem of checking whether two disjunctive logic programs possess exactly the same stable models. An existing translation-based method [Janhunen & Oikarinen, JELIA 2002], which was designed for weight constraint programs supported by the SMODELS system, is generalized to the disjunctive case. Moreover, we report on our preliminary experiments with an implementation of the method, a translator called DLPEQ.

@inproceedings{
    OJ04:lpnmr_eoikarin,
    editor = {Lifschitz, V. and Niemel\"a, I.},
    author = "Oikarinen, Emilia and Janhunen, Tomi",
    publisher = "Springer-Verlag",
    title = "Verifying the Equivalence of Logic Programs in the Disjunctive Case",
    url = "http://www.springerlink.com/content/22gbfucrh6pl2b0a",
    series = "Lecture Notes in Artificial Intelligence",
    booktitle = "Logic Programming and Nonmonotonic Reasoning, Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning",
    year = "2004",
    month = "January",
    volume = "2923",
    flags = "SA-53695",
    pages = "180--193",
    address = "Fort Lauderdale, USA",
    abstract = "In this paper, we address the problem of checking whether two disjunctive logic programs possess exactly the same stable models. An existing translation-based method [Janhunen & Oikarinen, JELIA 2002], which was designed for weight constraint programs supported by the SMODELS system, is generalized to the disjunctive case. Moreover, we report on our preliminary experiments with an implementation of the method, a translator called DLPEQ."
}

AUTHORS:

ABSTRACT:

URL:
http://www.springerlink.com/content/22gbfucrh6pl2b0a

AUTHORS:

ABSTRACT:

URL: http://www.springerlink.com/content/22gbfucrh6pl2b0a

URL:
http://www.springerlink.com/content/22gbfucrh6pl2b0a