{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:34Z","timestamp":1725664294211},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580959"},{"type":"electronic","value":"9783540484516"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58095-6_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:13:26Z","timestamp":1330269206000},"page":"107-121","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logic programming for non-monotonic reasoning"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Joaquim N.","family":"Apar\u00edcio","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 J.","family":"Alferes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"8_CR1","unstructured":"Alferes, J.J., and L.M. Pereira: \u201cOn logic program semantics with two kinds of negation,\u201d in: IJCSLP'92. MIT Press, 1992."},{"key":"8_CR2","unstructured":"Dung, P.M., and P. Ruamviboonsuk: \u201cWell founded reasoning with classical negation,\u201d in: A. Nerode, W. Marek, and V.S. Subrahmanian (eds.), Workshop on LPNMR. MIT Press, 1991."},{"key":"8_CR3","unstructured":"Gelfond, M., and V. Lifschitz: \u201cThe stable model semantics for logic programming,\u201d in: R.A. Kowalski and K.A. Bowen (eds.), 5th ICLP, MIT Press (1988) 1070\u20131080."},{"key":"8_CR4","unstructured":"Gelfond, M., and V. Lifschitz: \u201cLogic programs with classical negation,\u201d in: Warren and Szeredi (eds.), ICLP, MIT Press (1990) 579\u2013597."},{"key":"8_CR5","unstructured":"Hanks, S., and D. McDermott: \u201cDefault reasoning, nonmonotonic logics and the frame problem,\u201d in: AAAI86 (1986) 328\u2013333."},{"key":"8_CR6","unstructured":"Inoue, K.: \u201cExtended logic programs with default assumptions,\u201d in: K. Furukawa (ed.), 8th ICLP, MIT Press (1991) 490\u2013504."},{"key":"8_CR7","unstructured":"Kautz, H.: \u201cThe logic of persistence,\u201d in: AAAI'86 (1986) 401."},{"key":"8_CR8","unstructured":"Kowalski, R.: \u201cProblems and promises of computational logic,\u201d in: J. Lloyd (ed.), Computational Logic Symposium Springer-Verlag (1990) 1\u201336."},{"key":"8_CR9","unstructured":"Kowalski, R., and F. Sadri: \u201cLogic programs with exceptions,\u201d in: Warren and Szeredi (eds.), ICLP, MIT Press (1990) 598\u2013613."},{"key":"8_CR10","unstructured":"Lifschitz, V.: \u201cPointwise circumscription,\u201d in: AAAI'86 (1986) 406."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Symbolic Computation. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"8_CR12","unstructured":"McCarthy, J., and P.J. Hayes: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Readings in Nonmonotonic Reasoning. M. Kaufmann Inc. (1987) 26\u201345."},{"key":"8_CR13","unstructured":"Pereira, L.M., and J.J. Alferes: \u201cWell founded semantics for logic programs with explicit negation,\u201d in: ECAI'92. John Wiley & Sons, Ltd, 1992."},{"key":"8_CR14","unstructured":"Pereira, L.M., J.J. Alferes, and J.N. Apar\u00edcio: \u201cContradiction removal semantics with explicit negation.\u201d In this book."},{"key":"8_CR15","unstructured":"Pereira, L.M., J.J. Alferes, and J.N. Apar\u00edcio: \u201cDefault theory for well founded semantics with explicit negation,\u201d in: JELIA'92, 1992a."},{"key":"8_CR16","unstructured":"Pereira, L.M., J.J. Alferes, and J.N. Apar\u00edcio: \u201cWell founded semantics with explicit negation and default theory,\u201d Technical report, AI Center, Uninova, 1992b. Submitted."},{"key":"8_CR17","unstructured":"Pereira, L.M., J.N. Apar\u00edcio, and J.J. Alferes: \u201cCounterfactual reasoning based on revising assumptions,\u201d in: V. Saraswat and K. Ueda (eds.), ILPS, MIT Press (1991a) 566\u2013580."},{"key":"8_CR18","unstructured":"Pereira, L.M., J.N. Apar\u00edcio, and J.J. Alferes: \u201cHypothetical reasoning with well founded semantics,\u201d in: B. Mayoh (ed.) Third Scandinavian Con. on AI. IOS Press, 1991b."},{"key":"8_CR19","unstructured":"Pereira, L.M., J.N. Apar\u00edcio, and J.J. Alferes. \u201cNonmonotonic reasoning with well founded semantics,\u201d in: K. Furukawa (ed.) ICLP91, MIT Press (1991c) 475\u2013489."},{"issue":"1","key":"8_CR20","first-page":"27","volume":"36","author":"D.L. Poole","year":"1988","unstructured":"Poole, D.L.: \u201cA logical framework for default reasoning,\u201d in: Journal of AI, 36 (1), (1988) 27\u201347.","journal-title":"Journal of AI"},{"key":"8_CR21","unstructured":"Przymusinski, T.: \u201cExtended stable semantics for normal and disjunctive programs,\u201d in: Warren and Szeredi (eds.) ICLP90, MIT Press (1990) 459\u2013477."},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C.: \u201cA semantics for disjunctive logic programs,\u201d in: D. Loveland, J. Lobo, and A. Rajasekar (eds.), ILPS Workshop on Disjunctive Logic Programs, 1991.","DOI":"10.1007\/3-540-55015-1_5"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Shoham, Y.: Reasoning about Change: Time and Change from the Standpoint of Artificial Intelligence. MIT Press, 1988.","DOI":"10.1016\/B978-0-934613-67-5.50015-0"},{"key":"8_CR24","unstructured":"VanGelder, A., K.A. Ross, and J.S. Schlipf: \u201cThe well-founded semantics for general logic programs,\u201d in: Journal of the ACM (1990) 221\u2013230."},{"key":"8_CR25","unstructured":"Wagner, G.: \u201cA database needs two kinds of negation,\u201d in: B. Thalheim, J. Demetrovics, and H-D. Gerhardt (eds.), MFDBS'91, Springer-Verlag (1991) 357\u2013371."}],"container-title":["Lecture Notes in Computer Science","Knowledge Representation and Reasoning Under Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58095-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:27:39Z","timestamp":1558268859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58095-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580959","9783540484516"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-58095-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}