{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:30:43Z","timestamp":1726407043431},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001249"},{"type":"electronic","value":"9783540361275"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36127-8_3","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T14:10:12Z","timestamp":1186841412000},"page":"21-30","source":"Crossref","is-referenced-by-count":0,"title":["Logics for Approximate Reasoning: Approximating Classical Logic \u201cFrom Above\u201d"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[]},{"given":"Renata","family":"Wassermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,1,16]]},"reference":[{"key":"3_CR1","unstructured":"A. R. Anderson and N.D Belnap. Entailment: The Logic of Relevance and Necessity, Vol. 1. Princeton University Press, 1975."},{"issue":"6","key":"3_CR2","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1093\/jigpal\/9.6.755","volume":"9","author":"S. Chopra","year":"2001","unstructured":"Samir Chopra, Rohit Parikh, and Renata Wassermann. Approximate belief revision. Logic Journal of the IGPL, 9(6):755\u2013768, 2001.","journal-title":"Logic Journal of the IGPL"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"123","DOI":"10.3233\/FI-1995-2316","volume":"23","author":"M. Cadoli","year":"1995","unstructured":"Marco Cadoli and Marco Schaerf. Approximate inference in default logic and circumscription. Fundamenta Informaticae, 23:123\u2013143, 1995.","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02136173","volume":"18","author":"M. Cadoli","year":"1996","unstructured":"Marco Cadoli and Marco Schaerf. The complexity of entailment in propositional multivalued logics. Annals of Mathematics and Artificial Intelligence, 18(1):29\u201350, 1996.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"3_CR5","unstructured":"Marcelo Finger and Renata Wassermann. Tableaux for approximate reasoning. In Leopoldo Bertossi and Jan Chomicki, editors, IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, pages 71\u201379, Seattle, August 6\u201310 2001."},{"key":"3_CR6","unstructured":"M.R. Garey and D.S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, 1979."},{"issue":"5","key":"3_CR7","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/logcom\/10.5.677","volume":"10","author":"A. Hunter","year":"2000","unstructured":"A. Hunter. Reasoning with contradictory information in quasi-classical logic. Journal of Logic and Computation, 10(5):677\u2013703, 2000.","journal-title":"Journal of Logic and Computation"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"S. C. Kleene. On a notation for ordinal numbers. Journal of Symbolic Logic, 1938.","DOI":"10.2307\/2267778"},{"key":"3_CR9","unstructured":"Hector Levesque. A logic of implicit and explicit belief. In Proceedings of AAAI-84, 1984."},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Marco Schaerf and Marco Cadoli. Tractable reasoning via approximation. Artificial Intelligence, 74(2):249\u2013310, 1995.","journal-title":"Artificial Intelligence"},{"key":"3_CR11","unstructured":"Annette ten Teije and Frank van Harmelen. Computing approximate diagnoses by using approximate entailment. In Proceedings of KR\u201996, 1996."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36127-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T20:10:37Z","timestamp":1587845437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36127-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001249","9783540361275"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-36127-8_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}