{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:45:18Z","timestamp":1742388318975},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:13:11Z","timestamp":1330269191000},"page":"91-105","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Contradiction removal semantics with explicit negation"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J.","family":"Alferes","sequence":"additional","affiliation":[]},{"given":"Joaquim N.","family":"Apar\u00edcio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"7_CR1","unstructured":"Alferes, J.J., and L.M. Pereira: \u201cOn logic program semantics with two kinds of negation,\u201d in: K. Apt (ed.), IJCSLP'92, MIT Press (1992) 574\u2013588."},{"key":"7_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.), LPNMR'91, MIT Press (1991) 120\u2013132."},{"key":"7_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":"7_CR4","unstructured":"Gelfond, M., and V. Lifschitz: \u201cLogic programs with classical negation,\u201d in: Warren and Szeredi (eds.), ICLP, MIT Press (September 1990) 579\u2013597."},{"key":"7_CR5","unstructured":"Inoue, K.: \u201cExtended logic programs with default assumptions,\u201d in: Koichi Furukawa (ed.), ICLP'91, MIT Press (1991) 490\u2013504."},{"key":"7_CR6","unstructured":"Kowalski, R.: \u201cProblems and promises of computational logic,\u201d in: John Lloyd (ed.), Computational Logic Symposium, Springer-Verlag (1990) 1\u201336."},{"key":"7_CR7","unstructured":"Kowalski, R., and F. Sadri: \u201cLogic programs with exceptions,\u201d in: Warren and Szeredi (eds.), ICLP, MIT Press (1990) 598\u2013613."},{"key":"7_CR8","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":"7_CR9","unstructured":"Pereira, L.M. and J.J. Alferes: \u201cWell founded semantics for logic programs with explicit negation,\u201d in: B. Neumann (ed.), ECAI'92, John Wiley & Sons, Ltd. (1992) 102\u2013106."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., J.J. Alferes, and J.N. Apar\u00edcio: \u201cContradiction Removal within Well Founded Semantics,\u201d in: A. Nerode, W. Marek, and V.S. Subrahmanian 102\u2013106. (eds.) LPNMR, MIT Press (1991a) 105\u2013119.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., J.J. Alferes, and J.N. Apar\u00edcio: \u201cThe extended stable models of contradiction removal semantics,\u201d in: P.B arahona, L.M. Pereira, and A. Porto (eds.) EPIA'91, LNAI 541, Springer-Verlag (1991b) 105\u2013119.","DOI":"10.1007\/3-540-54535-2_28"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., J.J. Alferes, and J.N. Apar\u00edcio: \u201cDefault theory for well founded semantics with explicit negation,\u201d in: D. Pearce and G. Wagner (eds.) Logics for AI-JELIA'92, LNAI 633, Springer-Verlag (1992a) 339\u2013356.","DOI":"10.1007\/BFb0023437"},{"key":"7_CR13","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 Centre, Uninova, March 1992 (Submitted)."},{"key":"7_CR14","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, (1991c), 566\u2013580."},{"key":"7_CR15","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 Conf. on AI. IOS Press, 1991d."},{"key":"7_CR16","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 (1991e) 475\u2013489."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., J.N. Apar\u00edcio, and J.J. Alferes: \u201cNon-monotonic reasoning with logic programming,\u201d in: Journal of Logic Programming. Special issue on Nonmonotonic reasoning, 1993 (to appear).","DOI":"10.1016\/0743-1066(93)90032-C"},{"key":"7_CR18","unstructured":"Pereira, L.M., J.N. Apar\u00edcio, and J.J. Alferes: \u201cLogic Programming for Non-Monotonic Reasoning.\u201d In this volume"},{"key":"7_CR19","unstructured":"Przymusinska, H., and T. Przymusinski: \u201cSemantic issues in deductive databases and logic programs,\u201d in: R. Banerji (ed.), Formal Techniques in Artificial Intelligence. North Holland, 1990."},{"key":"7_CR20","unstructured":"Przymusinski, T.: \u201cExtended stable semantics for normal and disjunctive programs,\u201d in: Warren and Szeredi (eds.), ICLP'90, MIT Press (1990) 459\u2013477."},{"key":"7_CR21","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"},{"issue":"3","key":"7_CR22","first-page":"620","volume":"38","author":"A. VanGelder","year":"1991","unstructured":"VanGelder, A., K.A. Ross, and J.S. Schlipf: \u201cThe well-founded semantics for general logic programs,\u201d in: Journal of the ACM, 38 (3) (1991) 620\u2013650.","journal-title":"Journal of the ACM"},{"key":"7_CR23","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_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:27:46Z","timestamp":1558268866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58095-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580959","9783540484516"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-58095-6_7","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"}}]}}