SELP - A system for studying strong equivalence between logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3662 LNAI, Issue , 2005, Pages 442-446

  Chen, Yin ^a,b   Lin, Fangzhen ^c   Li, Lei ^b  

^a SOUTH CHINA NORMAL UNIVERSITY   (China)

^b SUN YAT SEN UNIVERSITY   (China)

^c HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; FUNCTION EVALUATION; SYSTEMS ANALYSIS; THEOREM PROVING;

LOGIC PROGRAMS; SELF; THEOREMS;

LOGIC PROGRAMMING;

EID: 33646051237     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11546207_43     Document Type: Conference Paper

References (6)

1. [Eiter and Fink, 2003] Thomas Eiter and Michael Fink. Uniform equivalence of logic programs under the stable model semantics. In Catuscia Palamidessi, editor, ICLP, volume 2916 of Lecture Notes in Computer Science, pages 224-238. Springer, 2003.
2. [Gelfond and Lifschitz, 1991] Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
3. [Janhunen and Oikarinen, 2004] Tomi Janhunen and Emilia Oikarinen. Lpeq and dlpeq - translators for automated equivalence testing of logic programs. In Vladimir Lifschitz and Ilkka Niemelä, editors, LPNMR, volume 2923 of Lecture Notes in Computer Science, pages 336-340. Springer, 2004.
4. [Lifschitz et al., 2001] V. Lifschitz, D. Pearce, and A. Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2(4):526-541, 2001.
5. [Lin and Chen, 2005] Fangzhen Lin and Yin Chen. Discovering classes of strongly equivalent logic programs. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), 2005. To appear.
6. [Lin, 2002] Fangzhen Lin. Reducing strong equivalence of logic programs to entailment in classical propositional logic. In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pages 170-176, 2002.