{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:40:49Z","timestamp":1725536449349},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041242"},{"type":"electronic","value":"9783642041259"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04125-9_21","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T11:14:40Z","timestamp":1251285280000},"page":"181-190","source":"Crossref","is-referenced-by-count":2,"title":["Quasi-Classical Model Semantics for Logic Programs \u2013 A Paraconsistent Approach"],"prefix":"10.1007","author":[{"given":"Zhihu","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuang","family":"Ren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"21_CR1","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Transactions on Computational Logic\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Transactions on Computational Logic"},{"key":"21_CR2","series-title":"Reasoning with actual and potential contradictions","first-page":"11","volume-title":"Handbook of defeasible reasoning and uncertainty management systems","author":"A. Hunter","year":"1998","unstructured":"Hunter, A.: Paraconsistent logics. In: Handbook of defeasible reasoning and uncertainty management systems. Reasoning with actual and potential contradictions, vol.\u00a02, pp. 11\u201336. Kluwer Academic Publishers, Norwell (1998)"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-1-4020-6324-4_1","volume-title":"Handbook of Philosophical Logic","author":"W. Carnielli","year":"2007","unstructured":"Carnielli, W., Coniglio, M., Marcos, J.: Logics of formal inconsistency. In: Handbook of Philosophical Logic, 2nd edn., vol.\u00a014, pp. 1\u201393. Springer, Heidelberg (2007)","edition":"2"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1016\/j.ijar.2007.07.002","volume":"48","author":"O. Arieli","year":"2008","unstructured":"Arieli, O.: Distance-based paraconsistent logics. International Journal of Approximate Reasoning\u00a048(3), 766\u2013783 (2008)","journal-title":"International Journal of Approximate Reasoning"},{"key":"21_CR5","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Epstein, G., Dunn, J.M. (eds.) Modern Uses of Multiple-Valued Logic, pp. 7\u201337. Reidel Publishing Company, Boston (1977)"},{"issue":"2","key":"21_CR6","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H.A. Blair","year":"1989","unstructured":"Blair, H.A., Subrahmanian, V.S.: Paraconsistent logic programming. Theoretical Computer Science\u00a068(2), 135\u2013154 (1989)","journal-title":"Theoretical Computer Science"},{"key":"21_CR7","series-title":"Reasoning with actual and potential contradictions","first-page":"241","volume-title":"Handbook of defeasible reasoning and uncertainty management systems","author":"C.V. Dam\u00e1sio","year":"1998","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: A survey of paraconsistent semantics for logic programs. In: Handbook of defeasible reasoning and uncertainty management systems. Reasoning with actual and potential contradictions, vol.\u00a02, pp. 241\u2013320. Kluwer Academic Publishers, Norwell (1998)"},{"issue":"4","key":"21_CR8","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1016358201013","volume":"36","author":"O. Arieli","year":"2002","unstructured":"Arieli, O.: Paraconsistent declarative semantics for extended logic programs. Annals of Mathematics and Artificial Intelligence\u00a036(4), 381\u2013417 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"21_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-45757-7_29","volume-title":"Logics in Artificial Intelligence","author":"J. Alc\u00e2ntara","year":"2002","unstructured":"Alc\u00e2ntara, J., Dam\u00e1sio, C.V., Pereira, L.M.: Paraconsistent logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 345\u2013356. Springer, Heidelberg (2002)"},{"key":"21_CR10","unstructured":"Alc\u00e2ntara, J., Dam\u00e1sio, C.V., Pereira, L.M.: A declarative characterization of disjunctive paraconsistent answer sets. In: de\u00a0M\u00e1ntaras, R.L., Saitta, L. (eds.) ECAI 2004. pp. 951\u2013952. IOS Press, Amsterdam (2004)"},{"key":"21_CR11","unstructured":"Poole, D.: What the lottery paradox tells us about default reasoning. In: Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning. pp. 333\u2013340. Morgan Kaufmann, San Francisco (1989)"},{"issue":"5","key":"21_CR12","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/logcom\/10.5.677","volume":"10","author":"A. Hunter","year":"2000","unstructured":"Hunter, A.: Reasoning with contradictory information using quasi-classical logic. Journal of Logic and Computation\u00a010(5), 677\u2013703 (2000)","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"21_CR13","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1093\/logcom\/5.3.265","volume":"5","author":"C. Sakama","year":"1995","unstructured":"Sakama, C., Inoue, K.: Paraconsistent stable semantics for extended disjunctive programs. Journal of Logic and Computation\u00a05(3), 265\u2013285 (1995)","journal-title":"Journal of Logic and Computation"},{"issue":"3\/4","key":"21_CR14","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":"21_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/3-540-45628-7_18","volume-title":"Computational Logic: Logic Programming and Beyond","author":"J. Minker","year":"2002","unstructured":"Minker, J., Seipel, D.: Disjunctive logic programming: A survey and assessment. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 472\u2013511. Springer, Heidelberg (2002)"},{"key":"21_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of logic programming, 2nd extended edn. Springer, New York (1987)","edition":"2"},{"key":"21_CR17","first-page":"569","volume":"23","author":"M.H.V. Emden","year":"1976","unstructured":"Emden, M.H.V., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a023, 569\u2013574 (1976)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04125-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T16:11:57Z","timestamp":1552147917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04125-9_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041242","9783642041259"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04125-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}