Modular equivalence for normal logic programs

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 412-416

  Oikarinen, Emilia ^a   Janhunen, Tomi ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING; SEMANTICS;

CONDITION; LOGIC PROGRAMS; MODULAR EQUIVALENCE; MODULE SYSTEMS; PROGRAM MODULE; SPLITTINGS; STABLE MODEL; STABLE MODEL SEMANTICS; VERIFICATION METHOD;

COMPUTER CIRCUITS;

EID: 84885975974     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (25)

1. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini, 'Modular logic programming', ACM Trans. Program. Lang. Syst., 16(4), 1361-1398, (1994).
2. M. Bugliesi, E. Lamma, and P. Mello, 'Modularity in logic programming', J. Log. Program., 19/20, 443-502, (1994).
3. T. Eiter and M. Fink, 'Uniform equivalence of logic programs under the stable model semantics', in Proc. ICLP'03, pp. 224-238, (2003).
4. T. Eiter, M. Fink, H. Tompits, and S. Woltran, 'Simplifying logic programs under uniform and strong equivalence', in Proc. LPNMR'04, pp. 87-99, (2004). LNAI 2923.
5. T. Eiter, G. Gottlob, and H. Mannila, 'Disjunctive datalog.', ACM Trans. Database Syst., 22(3), 364-418, (1997).
6. T. Eiter, G. Gottlob, and H. Veith, 'Modular logic programming and generalized quantifiers', in Proc. LPNMR'97, pp. 290-309, (1997).
7. T. Eiter, H. Tompits, and S. Woltran, 'On solution correspondences in answer-set programming.', in Proc. IJCAI'05, pp. 97-102, (2005).
8. S. Etalle and M. Gabbrielli, 'Transformations of CLP modules', Theor. Comput. Sci., 166(1-2), 101-146, (1996).
9. W. Faber, G. Greco, and N. Leone, 'Magic sets and their application to data integration.', in Proc. ICDT'05, pp. 306-320, (2005). LNCS 3363.
10. H. Gaifman and E. Shapiro, 'Fully abstract compositional semantics for logic programs', in Proc. POPL'89, pp. 134-142, (1989).
11. M. Gelfond and N. Leone, 'Logic programming and knowledge representation-the A-Prolog perspective', Artif. Intell., 138, 3-38, (2002).
12. M. Gelfond and V. Lifschitz, 'The stable model semantics for logic programming', in Proc. ICLP'88, pp. 1070-1080, (1988).
13. T. Janhunen, 'Translatability and intranslatability results for certain classes of logic programs', Research report A82, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, (2003).
14. T. Janhunen and E. Oikarinen, 'Testing the equivalence of logic programs under stable model semantics', in Proc. JELIA'02, pp. 493-504, (2002). LNAI 2424.
15. T. Janhunen and E. Oikarinen, 'Automated verification of weak equivalence within the SMODELS system', (2005). Submitted to TPLP.
16. V. Lifschitz, D. Pearce, and A. Valverde, 'Strongly equivalent logic programs', ACM Trans. Comput. Log., 2(4), 526-541, (2001).
17. V. Lifschitz and H. Turner, 'Splitting a logic program', in Proc. ICLP'94, pp. 23-37, (1994).
18. M. J. Maher, 'A transformation system for deductive database modules with perfect model semantics', Theor. Comput. Sci., 110(2), 377-403, (1993).
19. V. W. Marek and M. Truszczyński, 'Stable models and an alternative logic programming paradigm', in The Logic Programming Paradigm: a 25-Year Perspective, 375-398, Springer, (1999).
20. I. Niemelä, 'Logic programming with stable model semantics as a constraint programming paradigm', Ann. Math. Artif. Intell., 25(3-4), 241-273, (1999).
21. E. Oikarinen and T. Janhunen, 'Verifying the equivalence of logic programs in the disjunctive case', in Proc. LPNMR'04, pp. 180-193, (2004). LNAI 2923.
22. Y. Sagiv, 'Optimizing datalog programs', in Proc. PODS'87, pp. 349-362, (1987).
23. H. Turner, 'Strong equivalence made easy: nested expressions and weight constraints.', TPLP, 3(4-5), 609-622, (2003).
24. L. G. Valiant, 'The complexity of enumeration and reliability problems', SIAM J. Comput., 8(3), 410-421, (1979).
25. S. Woltran, 'Characterizations for relativized notions of equivalence in answer set programming', in Proc. JELIA'04, pp. 161-173, (2004).