Relativized hyperequivalence of logic programs for modular programming

Theory and Practice of Logic Programming

Volumn 9, Issue 6, 2009, Pages 781-819

  Truszczyski, Mirosaw ^a   Woltran, Stefan ^b  

^a UNIVERSITY OF KENTUCKY   (United States)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Answer set programming; Complexity; Minimal models; Relativized equivalence; Stable models; Strong equivalence; Supported models; Uniform equivalence

Indexed keywords

ANSWER-SET PROGRAMMING; HYPEREQUIVALENCE; LOGIC PROGRAMS; MINIMAL MODEL; MINIMAL MODELS; PROGRAM OPTIMIZATION; STABLE MODEL;

LOGIC PROGRAMMING; SEMANTICS;

EQUIVALENCE CLASSES;

EID: 74149087328     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068409990159     Document Type: Article

References (31)

1. Apt, K. 1990. Logic programming. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, J. van Leeuven, Ed. Elsevier, Amsterdam, 493-574.
2. Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge, UK.
3. Brass, S. and Dix, J. 1997. Characterizations of the disjunctive stable semantics by partial evaluation. Journal of Logic Programming 32, 3, 207-228.
4. Cabalar, P., Odintsov, S., Pearce, D. and Valverde, A. 2006. Analysing and extending well-founded and partial stable semantics using partial equilibrium logic. In Proc. of the 22nd International Conference (ICLP 2006), S. Etalle and M. Truszczyń ski, Eds. Lecture Notes in Computer Science, Vol.4079. Springer, Berlin, 346-360. (Pubitemid 44492601)
5. Clark, K. 1978. Negation as failure. In Logic and Data Bases, H. Gallaire and J. Minker, Eds. Plenum Press, New York and London, 293-322.
6. de Jongh, D. and Hendriks, L. 2003. Characterizations of strongly equivalent logic programs in intermediate logics. Theory and Practice of Logic Programming 3, 3, 259-270.
7. Eiter, T. and Fink, M. 2003. Uniform equivalence of logic programs under the stable model semantics. In Proc. of the 19th International Conference on Logic Programming (ICLP 2003), C. Palamidessi, Ed. Lecture Notes in Computer Science, Vol.2916. Springer, Berlin, 224-238.
8. Eiter, T., Fink, M. and Woltran, S. 2007. Semantical characterizations and complexity of equivalences in answer set programming. ACM Transactions on Computational Logic 8, 3, Paper 17.
9. Eiter, T. and Gottlob, G. 1995. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence 15, 3-4, 289-323.
10. Eiter, T., Tompits, H. and Woltran, S. 2005. On solution correspondences in answer-set programming. In Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), L. P. Kaelbling and A. Saffiotti, Eds. Professional Book Center, Denver, 97-102.
11. Erdogan, S. and Lifschitz, V. 2004. Definitions in answer set programming (extended abstract). In Proc. of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2004), V. Lifschitz and I. Niemelä, Eds. Lecture Notes in Computer Science, Vol.2916. Springer, Berlin, 483-484.
12. Gaifman, H. and Shapiro, E. 1989. Fully abstract compositional semantics for logic programs. In Proc. of the 16th Annual ACM Symposium on Principles of Programming Languages (POPL 1989). ACM, New York, 134-142.
13. Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T. and Truszczyń ski, M. 2007. The first answer set programming system competition. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), C. Baral, G. Brewka and J. Schlipf, Eds. Lecture Notes in Computer Science, Vol.4483. Springer, Berlin, 3-17.
14. Gelfond, M. 2002. Representing knowledge in A-Prolog. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, A. Kakas and F. Sadri, Eds. Lecture Notes in Computer Science, Vol.2408. Springer, Berlin, 413-451.
15. Gelfond, M. and Leone, N. 2002. Logic programming and knowledge representation-The A-prolog perspective. Artificial Intelligence 138, 1-2, 3-38.
16. Inoue, K. and Sakama, C. 1998. Negation as failure in the head. Journal of Logic Programming 35, 39-78.
17. Inoue, K. and Sakama, C. 2004. Equivalence of logic programs under updates. In Proc. of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), J. Alferes and J. Leite, Eds. Lecture Notes in Computer Science, Vol.3229. Springer, Berlin, New York, 174-186.
18. Janhunen, T. 2006. Some (in)translatability results for normal logic programs and propositional theories. Journal of Applied Non-Classical Logics 16, 1-2, 35-86.
19. Janhunen, T., Oikarinen, E., Tompits, H. and Woltran, S. 2007. Modularity aspects of disjunctive stable models. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), C. Baral, G. Brewka and J. Schlipf, Eds. Lecture Notes in Artificial Intelligence, Vol.4483. Springer, Berlin, 175-187.
20. Lifschitz, V., Pearce, D. and Valverde, A. 2001. Strongly equivalent logic programs. ACM Transactions on Computational Logic 2, 4, 526-541.
21. Lifschitz, V. and Turner, H. 1994. Splitting a logic program. In Proc. of the 11th International Conference on Logic Programming (ICLP 1994), P. V. Hentenryck, Ed. MIT Press, Cambridge, MA, 23-37.
22. Lin, F. 2002. Reducing strong equivalence of logic programs to entailment in classical propositional logic. In Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), D. Fensel, D. McGuinness and M.-A. Williams, Eds. Morgan Kaufmann, San Francisco, 170-176.
23. Marek, V. and Truszczyń ski, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective, K. Apt, W. Marek, M. Truszczyń ski and D. Warren, Eds. Springer, Berlin, 375-398.
24. Niemelä, I. 1999. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 3-4, 241-273.
25. Oetsch, J., Tompits, H. and Woltran, S. 2007. Facts do not cease to exist because they are ignored: Relativised uniform equivalence with answer-set projection. In Proc. of the 22nd National Conference on Artificial Intelligence (AAAI 2007). AAAI Press, Menlo Park, CA, 458-464.
26. Oikarinen, E. and Janhunen, T. 2006. Modular equivalence for normal logic programs. In Proc. of the 17th European Conference on Artificial Intelligence (ECAI 2006 ), Vol.141, G. Brewka, S. Coradeschi, A. Perini and P. Traverso, Eds. IOS Press, Amsterdam, 412-416.
27. Sagiv, Y. 1988. Optimizing datalog programs. In Foundations of Deductive Databases and Logic Programming, J. Minker, Ed. Morgan Kaufmann, San Francisco, 659-698.
28. Truszczyń ski, M. and Woltran, S. 2008. Hyperequivalence of logic programs with respect to supported models. Annals of Mathematics and Artificial Intelligence 53, 1-4, 331-365.
29. Turner, H. 2003. Strong equivalence made easy: Nested expressions and weight constraints. Theory and Practice of Logic Programming 3, 4-5, 609-622.
30. Woltran, S. 2004. Characterizations for relativized notions of equivalence in answer set programming. In Proc. of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), J. Alferes and J. Leite, Eds. Lecture Notes in Computer Science, Vol.3229. Springer, Berlin, 161-173.
31. Woltran, S. 2008. A common view on strong, uniform, and other notions of equivalence in answer-set programming. Theory and Practice of Logic Programming 8, 2, 217-234.