Nested expressions in logic programs

Annals of Mathematics and Artificial Intelligence

Volumn 25, Issue 3-4, 1999, Pages 369-389

  Lifschitz, Vladimir ^a   Tang, Lappoon R ^a   Turner, Hudson ^b  

^a University of Texas at Austin   (United States)

^b UNIVERSITY OF MINNESOTA DULUTH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042094689     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018978005636     Document Type: Article

References (21)

1. J.J. Alferes, J.A. Leite, L.M. Pereira, H. Przymusinska and T.C. Przymusinski, Dynamic logic programming, in: Principles of Knowledge Representation and Reasoning: Proc. 6th International Conference, eds. A. Cohn, L. Schubert and S. Shapiro (1998) pp. 98-109.
2. K. Apt, H. Blair and A. Walker, Towards a theory of declarative knowledge, in: Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, San Mateo, CA, 1988) pp. 89-148.
3. K. Clark, Negation as failure, in: Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum Press, New York, 1978) pp. 293-322.
4. Y. Dimopoulos, B. Nebel and J. Koehler, Encoding planning problems in non-monotonic logic programs, in: Proc. European Conference on Planning 1997 (1997) pp. 169-181.
5. T. Eiter, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello, The KR system DLV: Progress report, comparisons and benchmarks, in: Proc. 6th International Conference on Principles of Knowledge Representation and Reasoning, eds. A. Cohn, L. Schubert and S. Shapiro (1998) pp. 406-417.
6. F. Fages, Consistency of Clark's completion and existence of stable models, J. Methods Logic Comput. Sci. 1 (1994) 51-60.
7. M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365-385.
8. H. Herre and G. Wagner, Stable models are generated by a stable chain, J. Logic Programming 30 (1997) 165-177.
9. C.A.R. Hoare, Programs are predicates, in: Proc. International Conference on Fifth Generation Computer Systems (1992) pp. 211-218.
10. K. Inoue and C. Sakama, On positive occurrences of negation as failure, in: Proc. 4th International Conference on Principles of Knowledge Representation and Reasoning (1994) pp. 293-304.
11. K. Inoue and C. Sakama, Negation as failure in the head, J. Logic Programming 35 (1998) 39-78.
12. V. Lifschitz, Minimal belief and negation as failure, Artificial Intelligence 70 (1994) 53-72.
13. V. Lifschitz, Foundations of logic programming, in: Principles of Knowledge Representation, ed. G. Brewka (CSLI Publications, 1996) pp. 69-128.
14. V. Lifschitz, Action languages, answer sets and planning, in: The Logic Programming Paradigm: A 25-Year Perspective (Springer, Berlin, 1999) to appear.
15. V. Lifschitz and T. Woo, Answer sets in general nonmonotonic reasoning (preliminary report), in: Proc. 3rd International Conference on Principles of Knowledge Representation and Reasoning, eds. B. Nebel, C. Rich and W. Swartout (1992) pp. 603-614.
16. F. Lin and Y. Shoham, A logic of knowledge and justified assumptions, Artificial Intelligence 57 (1992) 271-289.
17. J. Lloyd and R. Topor, Making Prolog more expressive, J. Logic Programming 3 (1984) 225-240.
18. V. Marek and M. Truszczyński, Stable models and an alternative logic programming paradigm, in: The Logic Programming Paradigm: A 25-Year Perspective (Springer, Berlin, 1999) to appear.
19. I. Niemelä and P. Simons, Efficient implementation of the well-founded and stable model semantics, in: Proc. Joint International Conference and Symp. on Logic Programming (1996) pp. 289-303.
20. D. Pearce, A new logical characterization of stable models and answer sets, in: Non-Monotonic Extensions of Logic Programming, eds. J. Dix, L. Pereira and T. Przymusinski, Lecture Notes in Artificial Intelligence, Vol. 1216 (Springer, Berlin, 1997) pp. 57-70.
21. V.S. Subrahmanian and C. Zaniolo, Relating stable models and AI planning domains, in: Proc. ICLP-95 (1995).