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