{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:39:46Z","timestamp":1725493186848},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_28","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"332-344","source":"Crossref","is-referenced-by-count":12,"title":["Three-Valued Logics for Inconsistency Handling"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Konieczny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Marquis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"28_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Four-valued diagnoses for stratified knowledge-bases","author":"O. Arieli","year":"1997","unstructured":"O. Arieli and A. Avron. Four-valued diagnoses for stratified knowledge-bases. In Proceedings of CSL\u201996, LNCS 1258, pages 1\u201317, 1997."},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"O. Arieli and A. Avron. The value of four values. Artificial Intelligence, 102:97\u2013141, 1998.","journal-title":"Artificial Intelligence"},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"A. Avron. Simple consequence relations. Information and Computation, 92:105\u2013139, 1991.","journal-title":"Information and Computation"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"N.D. Belnap.A useful four-valued logic, pages 7\u201337. Modern Uses of Multiple-Valued Logic. Reidel, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"28_CR5","unstructured":"Ph. Besnard and T. Schaub. Circumscribing inconsistency. In Proceedings of IJCAI\u201997, pages 150\u2013155, 1997."},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02136173","volume":"18","author":"M. Cadoli","year":"1996","unstructured":"M. Cadoli and M. Schaerf. On the complexity of entailment in propositional multivalue d logics. Annals of Mathematics and Artificial Intelligence, 18:29\u201350, 1996.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"C. Cayrol and M.-C. Lagasquie-Schiex. Non-monotonic syntax-based entailment: a classification of consequence relations. In Proceedings of ECSQARU\u201995, LNAI 946, pages 107\u2013114, 1995.","DOI":"10.1007\/3-540-60112-0_13"},{"key":"28_CR8","unstructured":"S. Coste-Marquis and P. Marquis. Complexity results for paraconsistent inference relations. In Proceedings of KR\u201902, pages 61\u201372, 2002."},{"key":"28_CR9","first-page":"1349","volume":"270","author":"I.M.L. D\u2019Ottaviano","year":"1970","unstructured":"I.M.L. D\u2019Ottaviano and N.C.A. da Costa. Sur un probl\u00e8me de Ja\u015bkowski. In Comptes Rendus de l\u2019Acad\u00e9mie des Sciences de Paris, volume 270, pages 1349\u20131353. 1970.","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie des Sciences de Paris"},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1016740830286","volume":"32","author":"D. Dubois","year":"2001","unstructured":"D. Dubois and H. Prade. Possibility theory, probability theory and multiple-valued logics: A clarification. Annals of Mathematics and Artificial Intelligence, 32:35\u201366, 2001.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"28_CR11","unstructured":"A.M. Frisch. Inference without chaining. In Proceedings of IJCAI\u201987, pages 515\u2013519, 1987."},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"D. M. Gabbay. Theoretical foundations for nonmonotonic reasoning in experts systems. In K. Apt, editor, Logic and Models of Concurrent Systems. Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"28_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167\u2013207, 1990.","journal-title":"Artificial Intelligence"},{"key":"28_CR14","unstructured":"J. Lang and P. Marquis. Resolving inconsistencies by variable forgetting. In Proceedings of KR\u201902, pages 239\u2013250, 2002."},{"key":"28_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1\u201360, 1992.","journal-title":"Artificial Intelligence"},{"key":"28_CR16","unstructured":"H.J. Levesque. A knowledge-level account of abduction (preliminary version). In Proceedings of IJCAI\u201989, pages 1061\u20131067, 1989."},{"key":"28_CR17","first-page":"35","volume-title":"General Pattern in nonmonotonic reasoning","author":"D. Makinson","year":"1994","unstructured":"D. Makinson. Handbook of Logic in Artificial Intelligence and Logic Programming, volume III, chapter General Pattern in nonmonotonic reasoning, pages 35\u2013110. Clarendon Press, Oxford, 1994."},{"key":"28_CR18","unstructured":"P. Marquis and N. Porquet. Resource-bounded inference from inconsistent belief bases. In Proceedings of IJCAI\u201901, pages 103\u2013108, 2001."},{"key":"28_CR19","unstructured":"Ch. H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994."},{"key":"28_CR20","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","volume":"39","author":"G. Priest","year":"1989","unstructured":"G. Priest. Reasoning about truth. Artificial Intelligence, 39:231\u2013244, 1989.","journal-title":"Artificial Intelligence"},{"key":"28_CR21","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/BF00370190","volume":"50","author":"G. Priest","year":"1991","unstructured":"G. Priest. Minimally inconsistent LP. Studia Logica, 50:321\u2013331, 1991.","journal-title":"Studia Logica"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"E. Sandewall. A functional approach to non-monotonic logic. In Proceedings of IJCAI\u201985, pages 100\u2013106, 1985.","DOI":"10.1111\/j.1467-8640.1985.tb00061.x"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T18:07:38Z","timestamp":1556906858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}