{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:06:20Z","timestamp":1749125180209},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631729"},{"type":"electronic","value":"9783540692010"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63172-0_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:15:51Z","timestamp":1330298151000},"page":"1-17","source":"Crossref","is-referenced-by-count":2,"title":["Four-valued diagnoses for stratified knowledge-bases"],"prefix":"10.1007","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnon","family":"Avron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"O. Arieli, A. Avron. Logical bilattices and inconsistent data. Proc. of the 9th IEEE Annual Symp. on Logic in Computer Science (LICS'94). IEEE Press, pp. 468\u2013476; 1994.","DOI":"10.1109\/LICS.1994.316044"},{"key":"1_CR2","unstructured":"O. Arieli, A. Avron. A bilattice-based approach to recover consistent data from inconsistent knowledge-bases. Proc. of the 4th Bar-Ilan Symp. on Foundations of Artificial Intelligence (BISFAI'95), pp. 231\u2013240; 1995."},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"O. Arieli, A. Avron. Reasoning with logical bilattices. Journal of Logic, Language, and Information, Vol. 5, pp. 25\u201363; 1996.","journal-title":"Journal of Logic, Language, and Information"},{"key":"1_CR4","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"N.D. Belnap. A useful four-valued logic. Modern Uses of Multiple-Valued Logic (G. Epstein, J.M. Dunn-Eds.), Reidel, Dordrecht, pp. 7\u201337; 1977."},{"key":"1_CR5","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"N.D. Belnap","year":"1977","unstructured":"N.D. Belnap. How computer should think. Contemporary Aspects of Philosophy (G. Ryle-Ed.), Oriel Press, Stocksfield, England, pp. 30\u201356; 1977."},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N.C.A. da-Costa","year":"1974","unstructured":"N.C.A. da-Costa. On the theory of inconsistent formal systems. Notre Damm Journal of Formal Logic, Vol. 15, pp. 497\u2013510; 1974.","journal-title":"Notre Damm Journal of Formal Logic"},{"key":"1_CR7","first-page":"256","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"M.L. Ginsberg. Multivalued logics: A uniform approach to reasoning in AI. Computer Intelligence, Vol. 4, pp. 256\u2013316; 1988.","journal-title":"Computer Intelligence"},{"key":"1_CR8","first-page":"1070","volume-title":"The stable model semantics for logic programming","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond, V. Lifschitz. The stable model semantics for logic programming. Proc. of the 5th logic programming symposium MIT Press, Cambridge, MA, pp. 1070\u20131080; 1988."},{"issue":"No.1\u20132","key":"1_CR9","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehmann, M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Journal of Artificial Intelligence, Vol. 44, No. 1\u20132, pp. 167\u2013207; 1990.","journal-title":"Journal of Artificial Intelligence"},{"issue":"No.2","key":"1_CR10","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"M. Kifer, E.L. Lozinskii. A logic for reasoning with inconsistency. Journal of Automated reasoning. Vol. 9, No. 2, pp. 179\u2013215; 1992.","journal-title":"Journal of Automated reasoning"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D. Lehmann","year":"1992","unstructured":"D. Lehmann, M. Magidor. What does a conditional knowledge base entail?. Journal of Artificial Intelligence, Vol. 55, pp. 1\u201360; 1992.","journal-title":"Journal of Artificial Intelligence"},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00370190","volume":"50","author":"G. Priest","year":"1991","unstructured":"G. Priest. Minimally inconsistent LP. Studia Logica, Vol. 50, pp. 321\u2013331; 1991.","journal-title":"Studia Logica"},{"key":"1_CR13","unstructured":"O. Raiman. The alibi principle. Readings in Model-Based Diagnosis (W. Hamscher, L. Console, J. de-Kleer-Eds.), pp. 66\u201370; 1992."},{"issue":"No.1","key":"1_CR14","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. A theory of diagnosis from first principles. Journal of Artificial Intelligence, Vol. 32, No. 1, pp. 57\u201395; 1987.","journal-title":"Journal of Artificial Intelligence"},{"key":"1_CR15","unstructured":"Y. Shoham. A semantical approach to nonmonotonic logics. Readings in Non-Monotonic Reasoning (M.L. Ginsberg-ed.), Los-Altos, CA, pp. 227\u2013249; 1987."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Y. Shoham. Reasoning about change: time and causation from the standpoint of artificial intelligence. MIT Press; 1988.","DOI":"10.1016\/B978-0-934613-67-5.50015-0"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63172-0_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:00Z","timestamp":1605647820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63172-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631729","9783540692010"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-63172-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}