{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:25:51Z","timestamp":1725470751250},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540396253"},{"type":"electronic","value":"9783540396277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853886_22","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T16:40:30Z","timestamp":1158165630000},"page":"253-265","source":"Crossref","is-referenced-by-count":4,"title":["A Fault-Tolerant Default Logic"],"prefix":"10.1007","author":[{"given":"Zhangang","family":"Lin","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":"22_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"},{"issue":"1-2","key":"22_CR2","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(94)90087-6","volume":"69","author":"C.H. Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.H., Sideri, M.: Default theories that always have extensions. Artificial Intelligence\u00a069(1-2), 347\u2013357 (1994)","journal-title":"Artificial Intelligence"},{"key":"22_CR3","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/3-540-59487-6_20","volume":"928","author":"P. Cholewinski","year":"1995","unstructured":"Cholewinski, P.: Reasoning with stratified default theories. Logic Programming and Nonmonotonic Reasoning\u00a0928, 273\u2013286 (1995)","journal-title":"Logic Programming and Nonmonotonic Reasoning"},{"issue":"1","key":"22_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(00)00060-6","volume":"124","author":"T. Linke","year":"2000","unstructured":"Linke, T., Schaub, T.: Alternative foundations for Reiter\u2019s default logic. Artificial Intelligence\u00a0124(1), 31\u201386 (2000)","journal-title":"Artificial Intelligence"},{"key":"22_CR5","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"},{"key":"22_CR6","unstructured":"Lin, Z., Li, W.: On logic of paradox. In: Proceedings of the 25th IEEE International Symposium on Multipl-Valued Logic, pp. 248\u2013255 (1995)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Lin, Z.: Paraconsistent circumscription. Journal of Pattern Recognition and Artificial Intelligence\u00a010(6), 679\u2013686","DOI":"10.1142\/S0218001496000402"},{"issue":"1-2","key":"22_CR8","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 system for paraconsistent reasoning. Journal of Automated Reasoning\u00a020(1-2), 191\u2013213 (1998)","journal-title":"Journal of Automated Reasoning"},{"key":"22_CR9","unstructured":"Belnap, N.: How computer should think. In: Contemporary Aspects of Philosophy, pp. 7\u201337 (1977)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Belnap, N.: A useful four-valued logic. In: Modern uses of multiple-valued logic, pp. 30\u201356 (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"issue":"1","key":"22_CR11","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":"22_CR12","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"},{"key":"22_CR13","unstructured":"Han, Q., Lin, Z.: Paraconsistent default reasoning. In: 10th International Workshop on Non-Monotonic Reasoning, pp. 197\u2013203 (2004)"},{"issue":"9","key":"22_CR14","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\u00a028(9), 1447\u20131458 (2005)","journal-title":"Chinese journal of computer"},{"issue":"1","key":"22_CR15","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":"22_CR16","unstructured":"Schaub, T.: On constrained default theories. In: ECAI, pp. 304\u2013308 (1992)"},{"issue":"2","key":"22_CR17","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. Artificial Intelligence\u00a050(2), 183\u2013205 (1991)","journal-title":"Artificial Intelligence"},{"key":"22_CR18","first-page":"227","volume-title":"Readings in Nonmonotonic Reasoning","author":"Y. Shoham","year":"1987","unstructured":"Shoham, Y.: A semantical approach to nonmonotonic logics. In: Ginsberg, M.L. (ed.) Readings in Nonmonotonic Reasoning, pp. 227\u2013250. Kaufmann, Los Altos (1987)"},{"key":"22_CR19","volume-title":"Reasoning about change: time and causation from the standpoint of artificial intelligence","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y.: Reasoning about change: time and causation from the standpoint of artificial intelligence. MIT Press, Cambridge (1988)"},{"key":"22_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/BFb0023770","volume-title":"Computer Science Logic","author":"D.J. Lehmann","year":"1992","unstructured":"Lehmann, D.J.: Plausibility logic. In: Kleine B\u00fcning, H., J\u00e4ger, G., B\u00f6rger, E., Richter, M.M. (eds.) CSL 1991. LNCS, vol.\u00a0626, pp. 227\u2013241. Springer, Heidelberg (1992)"},{"key":"22_CR21","first-page":"61","volume-title":"Nonmonotonic logic: Context-dependent reasoning","author":"W. Marek","year":"1994","unstructured":"Marek, W., Truszczy\u0144ski, M.: Nonmonotonic logic: Context-dependent reasoning, pp. 61\u201362. Springer, Berlin (1994)"},{"issue":"1","key":"22_CR22","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"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853886_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T04:33:42Z","timestamp":1555821222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853886_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540396253","9783540396277"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11853886_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}