{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:01:38Z","timestamp":1725494498016},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540767183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76719-0_58","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T09:38:05Z","timestamp":1194860285000},"page":"556-561","source":"Crossref","is-referenced-by-count":0,"title":["Handling Contradictions in Default Theories"],"prefix":"10.1007","author":[{"given":"Zhangang","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"58_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":"58_CR2","unstructured":"Han, Q., Lin, Z.: Paraconsistent default reasoning. In: 10th International Workshop on Non-Monotonic Reasoning, pp. 197\u2013203 (2004)"},{"issue":"9","key":"58_CR3","first-page":"1447","volume":"28","author":"A. Yue","year":"2005","unstructured":"Yue, A., Lin, Z.: Default logic based on four valued semantics. Chinese Journal of Computer Science\u00a028(9), 1447\u20131458 (2005)","journal-title":"Chinese Journal of Computer Science"},{"key":"58_CR4","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. daCosta","year":"1974","unstructured":"daCosta, N.: Theory of inconsistent formal systems. Notre Dame Journal of Formal Logic\u00a015, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1-2","key":"58_CR5","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1023\/A:1005957026440","volume":"20","author":"P. Besnard","year":"1998","unstructured":"Besnard, P., Torsten, S.: Signed system for paraconsistent reasoning. Journal of Automated Reasoning\u00a020(1-2), 191\u2013213 (1998)","journal-title":"Journal of Automated Reasoning"},{"issue":"1","key":"58_CR6","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(1), 97\u2013141 (1998)","journal-title":"Artificial Intelligence"},{"key":"58_CR7","doi-asserted-by":"crossref","unstructured":"Belnap, N.: A useful four-valued logic. Modern uses of multiple-valued logic, pp. 30\u201356 (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"58_CR8","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L.: Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence\u00a04, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"issue":"1","key":"58_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF00851348","volume":"8","author":"G. Antoniou","year":"1994","unstructured":"Antoniou, G., Sperschneider, V.: Operational concepts of nonmonotonic logics, part 1: Default logic. Artificial Intelligence\u00a08(1), 3\u201316 (1994)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"58_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W. Lukaszewicz","year":"1988","unstructured":"Lukaszewicz, W.: Considerations on default logic: an alternative approach. Computational Intelligence\u00a04(1), 1\u201316 (1988)","journal-title":"Computational Intelligence"},{"key":"58_CR11","unstructured":"Schaub, T.: On constrained default theories. In: ECAI, pp. 304\u2013308 (1992)"},{"issue":"2","key":"58_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"Brewka, G.: Cumulative default logic: in defense of nonmonotonic inference rules. Artif. Intell.\u00a050(2), 183\u2013205 (1991)","journal-title":"Artif. Intell."},{"issue":"2","key":"58_CR13","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1006\/inco.1996.0075","volume":"129","author":"M. Zhang","year":"1996","unstructured":"Zhang, M.: A new research into default logic. Inf. Comput.\u00a0129(2), 73\u201385 (1996)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76719-0_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:36:14Z","timestamp":1619505374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76719-0_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540767183"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76719-0_58","relation":{},"subject":[]}}