LPEQ and DLPEQ - Translators for automated equivalence testing of logic programs

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2923, Issue , 2004, Pages 336-340

  Janhunen, Tomi ^a   Oikarinen, Emilia ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; CONSTRAINT THEORY; INTEROPERABILITY; PROBLEM SOLVING; PROGRAM TRANSLATORS; SET THEORY;

ANSWER SET PROGRAMMING (ASP); CONVENTIONAL PROGRAMMING LANGUAGES; SAME ANSWER SETS; STABLE MODELS;

LOGIC PROGRAMMING;

EID: 9444284941     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the 5th International Conference on Logic Programming, pages 1070-1080, Seattle, USA, August 1988. MIT Press.
2. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
3. T. Janhunen. LPEQ 1.13 - a tool for testing the equivalence of logic programs. http://www.tcs.hut.fi/Software/lpeq/, 2002. Computer Program.
4. T. Janhunen. GnT (version 2) - a tool for computing disjunctive stable models. http://www.tcs.hut.fi/Software/gnt/, 2003. Computer Program.
5. T. Janhunen, I. Niemelä, D. Seipel, P. Simons, and J.-H. You. Unfolding partiality and disjunctions in stable model semantics. CoRR: cs.AI/0303009, March 2003.
6. T. Janhunen and E. Oikarinen. Testing the equivalence of logic programs under stable model semantics. In S. Flesca et al., editors, Logics in Artificial Intelligence, Proceedings of the 8th European Conference, pages 493-504, Cosenza, Italy, September 2002. Springer-Verlag. LNAI 2424.
7. V. Lifschitz, D. Pearce, and A. Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2:526-541, 2001.
8. E. Oikarinen. DLPEQ 1.9 - a tool for testing the equivalence of disjunctive logic programs. http://www.tcs.hut.fi/Software/lpeq/, 2003. Computer Program.
9. E. Oikarinen and T. Janhunen. Verifying the equivalence of logic programs in the disjunctive case. In Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, 2004. This volume.
10. P. Simons, I. Niemelä, and T. Soininen. Extending and implementing the stable model semantics. Artificial Intelligence, 138(1-2):181-234, 2002.
11. H. Turner. Strong equivalence made easy: Nested expressions and weight constraints. Theory and Practice of Logic Programming, 3(4-5):609-622, 2003.