Equivalence of logic programs under updates

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

Volumn 3229, Issue , 2004, Pages 174-186

  Inoue, Katsumi ^a   Sakama, Chiaki ^b  

^a NATIONAL INSTITUTE OF INFORMATICS   (Japan)

^b WAKAYAMA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; MATHEMATICAL MODELS; PARAMETER ESTIMATION; PROBLEM SOLVING; SET THEORY; ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; LOGIC PROGRAMMING;

LOGIC PROGRAMS; MODULAR TRANSFORMATIONS; NONMONOTIC REASONING; TESTING EQUIVALENCE;

LOGIC PROGRAMMING; EQUIVALENCE CLASSES;

ANSWER SET; LOGIC PROGRAMS; TESTING EQUIVALENCE; TWO PARAMETER;

EID: 22944478382     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_17     Document Type: Conference Paper

References (22)

1. S. Brass and J. Dix. Characterization of the disjunctive stable semantics by partial evaluation. Journal of Logic Programming, 32(3):207-228, 1997.
2. T. Eiter and M. Fink. Uniform equivalence of logic programs under the stable model semantics. In: Proc. of ICLP 2003, LNCS 2916, pp. 224-238, Springer, 2003.
3. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Reasoning about evolving nonmonotonic knowledge bases. In: Proc. of LPAR 2001, LNAI 2250, pp. 407-421, Springer, 2001.
4. T. Eiter, M. Fink, H. Tompits, and S. Woltran. Simplifying logic programs under uniform and strong equivalence. In: Proc. of LPNMR 2004, LNAI 2923, pp. 87-99, Springer, 2004.
5. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365-385, 1991.
6. K. Inoue. A simple characterization of extended abduction. In Proc. of the 1st International Conference on Computational Logic, LNAI 1861, pp. 718-732, Springer, 2000.
7. K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming, 35(1):39-78, 1998.
8. K. Inoue and C. Sakama. Disjunctive explanations. In: Proc. of ICLP 2002, LNCS 2401, pp. 317-332, Springer, 2002.
9. A. C. Kakas, R. A. Kowalski, and F. Toni. The role of abduction in logic programming. In: D. M. Gabbay, C. J. Hogger and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, volume 5, pp. 235-324, Oxford University Press, 1998.
10. J. A. Leite. Evolving Knowledge Bases. IOS Press, 2003.
11. V. Lifschitz, D. Pearce, and A. Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2:526-541, 2001.
12. V. Lifschitz, L. R. Tang, and H. Turner. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25:369-389, 1999.
13. V. Lifschitz and T. Y. C. Woo. Answer sets in general nonmonotonic reasoning (preliminary report). In: Proc. of KR'92, pp. 603-614, Morgan Kaufmann, 1992.
14. F. Lin. Reducing strong equivalence of logic programs to entailment in classical propositional logic. In: Proc. of KR 2002, pp. 170-176, Morgan Kaufmann, 2002.
15. M. J. Maher. Equivalence of logic programs. In: [16], pp. 627-658, 1988.
16. J. Minker (ed.). Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann, 1988.
17. M. Osorio, J. A. Navarro, and J. Arrazola. Equivalence in answer set programming. In: Proc. of LOPSTR 2001, LNCS 2372, pp. 57-75, Springer, 2001.
18. D. Pearce, H. Tompits, and S. Woltran. Encodings for equilibrium logic and logic programs with nested expressions. In: Proc. of EPIA 2001, LNCS 2258, pp. 306-320, Springer, 2001.
19. Y. Sagiv. Optimizing Datalog programs. In: [16], pp. 659-668, 1988.
20. H. Tamaki and T. Sato. Unfold/fold transformation of logic programs. In: Proc. of the 2nd International Conference on Logic Programming, pp. 127-138, 1984.
21. H. Turner. Strong equivalence made easy: nested expressions and weight constraints. Theory and Practice of Logic Programming, 3(4-5):609-622, 2003.
22. S. Woltran. Characterizations for relativized notions of equivalence in answer set programming. In: Proc. of JELIA'04, LNAI, this volume, 2004.