DLPEQ

DLPEQ - a tool for testing the equivalence of disjunctive logic programs. The translator dlpeq is an implementation of the method for verification of weak equivalence of disjunctive logic programs in [OJ, LPNMR’04]. It is designed to be used with GnT and the front-end lparse (pre 1.0.14) which are available here. If you use lparse 1.0.14 or later, use dencode to switch to the old format.

References in zbMATH (referenced in 4 articles , 1 standard article )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Sakama, Chiaki; Inoue, Katsumi: Inductive equivalence in clausal logic and nonmonotonic logic programming (2011)
  2. Janhunen, T.; Oikarinen, E.; Tompits, H.; Woltran, S.: Modularity aspects of disjunctive stable models (2009)
  3. Janhunen, Tomi; Oikarinen, Emilia: LPEQ and DLPEQ -- translators for automated equivalence testing of logic programs (2004)
  4. Oikarinen, Emilia; Janhunen, Tomi: Verifying the equivalence of logic programs in the disjunctive case (2004)