{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:57:18Z","timestamp":1725562638899},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220046"},{"type":"electronic","value":"9783540248408"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11766247_17","type":"book-chapter","created":{"date-parts":[[2006,5,30]],"date-time":"2006-05-30T01:25:54Z","timestamp":1148952354000},"page":"195-205","source":"Crossref","is-referenced-by-count":4,"title":["Four-Valued Semantics for Default Logic"],"prefix":"10.1007","author":[{"given":"Anbu","family":"Yue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1023\/A:1005957026440","volume":"20","author":"P. Besnard","year":"1998","unstructured":"Besnard, P., Schaub, T.: Signed systems for paraconsistent reasoning. Journal of Automated Reasoning\u00a020, 191\u2013213 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"17_CR3","unstructured":"Han, Q., Lin, Z.: Paraconsistent default reasoning. In: 10th International Workshop on Non-Monotonic Reasoning, pp. 197\u2013203 (2004)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Lin, Z.: Paraconsistent circumscription. In: Canadian Conference on AI, pp. 296\u2013308 (1996)","DOI":"10.1007\/3-540-61291-2_60"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli, O., Avron, A.: The value of the four values. Artificial Intelligence\u00a0102, 97\u2013141 (1998)","journal-title":"Artificial Intelligence"},{"key":"17_CR6","unstructured":"Belnap, N.D.A.: How computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 7\u201337. Oriel Press (1977)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.A.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. D.R. (eds.) Modern uses of multiple-valued logic, pp. 30\u201356. Reidel (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0004-3702(99)00053-3","volume":"112","author":"P. Cholewinski","year":"1999","unstructured":"Cholewinski, P., Marek, V.W., Mikitiuk, A., Truszczynski, M.: Computing with default logic. Artificial Intelligence\u00a0112, 105\u2013146 (1999)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"17_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1080\/11663081.1996.10510876","volume":"6","author":"A. Radzikowska","year":"1996","unstructured":"Radzikowska, A.: A three-valued approach to default logic. Journal of Applied Non-Classical Logics\u00a06(2), 149\u2013190 (1996)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"17_CR10","volume-title":"Nonmonotonic logic \u2013 context-dependent reasoning","author":"V.W. Marek","year":"1990","unstructured":"Marek, V.W., Truszczynski, M.: Nonmonotonic logic \u2013 context-dependent reasoning. Springer, Berlin (1990)"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Arieli, O., Denecker, M.: Modeling paraconsistent reasoning by classical logic. In: Foundations of Information and Knowledge Systems, Second International Symposium, Proceedings, pp. 1\u201314 (2002)","DOI":"10.1007\/3-540-45758-5_1"},{"key":"17_CR12","unstructured":"Arieli, O.: Paraconsistent preferential reasoning by signed quantified boolean formulae. In: 16th European Conf. on Artificial Intelligence (ECAI 2004), pp. 773\u2013777 (2004)"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1023\/A:1018915113814","volume":"27","author":"T. Janhunen","year":"1999","unstructured":"Janhunen, T.: On the intertranslatability of non-monotonic logics. Annals of Mathematics and Artificial Intelligence\u00a027, 79\u2013128 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. Costa da","year":"1974","unstructured":"da Costa, N.: Theory of inconsistent formal systems. Notre Dame Journal of Formal Logic\u00a015, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11766247_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T03:47:38Z","timestamp":1558410458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11766247_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540220046","9783540248408"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11766247_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}