{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:24Z","timestamp":1725490224219},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_7","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"89-103","source":"Crossref","is-referenced-by-count":9,"title":["On Finitely Recursive Programs"],"prefix":"10.1007","author":[{"given":"S.","family":"Baselice","sequence":"first","affiliation":[]},{"given":"P. A.","family":"Bonatti","sequence":"additional","affiliation":[]},{"given":"G.","family":"Criscuolo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K.R.: Introduction to Logic Programming. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Model and Semantics, vol. B, pp. 495\u2013574. Elsevier, Amsterdam and The MIT Press, Cambridge (1990)","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"7_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1011960831261","volume":"27","author":"P.A. Bonatti","year":"2001","unstructured":"Bonatti, P.A.: Resolution for skeptical stable model semantics. J. Autom. Reasoning\u00a027(4), 391\u2013421 (2001)","journal-title":"J. Autom. Reasoning"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.artint.2004.02.001","volume":"156","author":"P.A. Bonatti","year":"2004","unstructured":"Bonatti, P.A.: Reasoning with infinite stable models. Artif. Intell.\u00a0156(1), 75\u2013111 (2004)","journal-title":"Artif. Intell."},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","first-page":"364","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for non-monotonic reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 364\u2013375. Springer, Heidelberg (1997)"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden Van","year":"1976","unstructured":"Van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"J. ACM"},{"key":"7_CR7","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. Methods of Logic in Computer Science\u00a01, 51\u201360 (1994)","journal-title":"Methods of Logic in Computer Science"},{"key":"7_CR8","first-page":"1070","volume-title":"Proc. of the 5th ICLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th ICLP, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"issue":"3-4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3-4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"7_CR10","series-title":"MIT Press Series Logic Program","first-page":"581","volume-title":"Proceedings of the 12th International Conference on Logic Programming, Kanagawa 1995","author":"V. Lifschitz","year":"1995","unstructured":"Lifschitz, V., Turner, H.: Splitting a Logic Program. In: Proceedings of the 12th International Conference on Logic Programming, Kanagawa 1995. MIT Press Series Logic Program, pp. 581\u2013595. MIT Press, Cambridge (1995)"},{"key":"7_CR11","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In: International Conference on Logic Programming, pp. 23\u201337 (1994)"},{"key":"7_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 1st edn. Springer, Heidelberg (1984)","edition":"1"},{"key":"7_CR13","series-title":"Lecture Notes in Artificial Intelligence","first-page":"107","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"V.W. Marek","year":"2001","unstructured":"Marek, V.W., Remmel, J.B.: On the expressibility of stable logic programming. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 107\u2013120. Springer, Heidelberg (2001)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","first-page":"421","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels \u2014 an implementation of the stable model and well-founded semantics for normal lp. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 421\u2013430. Springer, Heidelberg (1997)"},{"key":"7_CR15","first-page":"645","volume-title":"Proceedings of the Thirteenth National Conference on Artificial Intelligence","author":"H. Turner","year":"1996","unstructured":"Turner, H.: Splitting a default theory. In: Shrobe, H., Senator, T. (eds.) Proceedings of the Thirteenth National Conference on Artificial Intelligence, pp. 645\u2013651. AAAI Press, Menlo Park, California (1996)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:30:23Z","timestamp":1619519423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_7","relation":{},"subject":[]}}