{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:29:06Z","timestamp":1777894146653,"version":"3.51.4"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1023\/a:1018978005636","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"369-389","source":"Crossref","is-referenced-by-count":152,"title":["Nested expressions in logic programs"],"prefix":"10.1007","volume":"25","author":[{"given":"Vladimir","family":"Lifschitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lappoon R.","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hudson","family":"Turner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325524_CR1","unstructured":"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."},{"key":"325524_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. Apt","year":"1988","unstructured":"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."},{"key":"325524_CR3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"K. Clark, Negation as failure, in: Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum Press, New York, 1978) pp. 293-322."},{"key":"325524_CR4","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-63912-8_84"},{"key":"325524_CR5","unstructured":"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."},{"key":"325524_CR6","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"F. Fages, Consistency of Clark's completion and existence of stable models, J. Methods Logic Comput. Sci. 1 (1994) 51-60.","journal-title":"J. Methods Logic Comput. Sci."},{"key":"325524_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365-385.","journal-title":"New Generation Computing"},{"key":"325524_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0743-1066(96)00106-9","volume":"30","author":"H. Herre","year":"1997","unstructured":"H. Herre and G. Wagner, Stable models are generated by a stable chain, J. Logic Programming 30 (1997) 165-177.","journal-title":"J. Logic Programming"},{"key":"325524_CR9","unstructured":"C.A.R. Hoare, Programs are predicates, in: Proc. International Conference on Fifth Generation Computer Systems (1992) pp. 211-218."},{"key":"325524_CR10","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1016\/B978-1-4832-1452-8.50123-8"},{"key":"325524_CR11","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"K. Inoue and C. Sakama, Negation as failure in the head, J. Logic Programming 35 (1998) 39-78.","journal-title":"J. Logic Programming"},{"key":"325524_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","volume":"70","author":"V. Lifschitz","year":"1994","unstructured":"V. Lifschitz, Minimal belief and negation as failure, Artificial Intelligence 70 (1994) 53-72.","journal-title":"Artificial Intelligence"},{"key":"325524_CR13","unstructured":"V. Lifschitz, Foundations of logic programming, in: Principles of Knowledge Representation, ed. G. Brewka (CSLI Publications, 1996) pp. 69-128."},{"key":"325524_CR14","volume-title":"The Logic Programming Paradigm: A 25-Year Perspective","author":"V. Lifschitz","year":"1999","unstructured":"V. Lifschitz, Action languages, answer sets and planning, in: The Logic Programming Paradigm: A 25-Year Perspective (Springer, Berlin, 1999) to appear."},{"key":"325524_CR15","unstructured":"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."},{"key":"325524_CR16","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0004-3702(92)90019-T","volume":"57","author":"F. Lin","year":"1992","unstructured":"F. Lin and Y. Shoham, A logic of knowledge and justified assumptions, Artificial Intelligence 57 (1992) 271-289.","journal-title":"Artificial Intelligence"},{"key":"325524_CR17","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"3","author":"J. Lloyd","year":"1984","unstructured":"J. Lloyd and R. Topor, Making Prolog more expressive, J. Logic Programming 3 (1984) 225-240.","journal-title":"J. Logic Programming"},{"key":"325524_CR18","volume-title":"The Logic Programming Paradigm: A 25-Year Perspective","author":"V. Marek","year":"1999","unstructured":"V. Marek and M. Truszczy\u0144ski, Stable models and an alternative logic programming paradigm, in: The Logic Programming Paradigm: A 25-Year Perspective (Springer, Berlin, 1999) to appear."},{"key":"325524_CR19","unstructured":"I. Niemel\u00e4 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."},{"key":"325524_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BFb0023801","volume-title":"Non-Monotonic Extensions of Logic Programming","author":"D. Pearce","year":"1997","unstructured":"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."},{"key":"325524_CR21","doi-asserted-by":"crossref","unstructured":"V.S. Subrahmanian and C. Zaniolo, Relating stable models and AI planning domains, in: Proc. ICLP-95 (1995).","DOI":"10.7551\/mitpress\/4298.003.0030"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018978005636.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018978005636\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018978005636.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:31:30Z","timestamp":1747546290000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018978005636"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":21,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["325524"],"URL":"https:\/\/doi.org\/10.1023\/a:1018978005636","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}