{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T04:44:07Z","timestamp":1764305047119,"version":"3.40.5"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence Review"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1023\/a:1011049617655","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T08:38:49Z","timestamp":1040632729000},"page":"219-240","source":"Crossref","is-referenced-by-count":15,"title":["Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations"],"prefix":"10.1007","volume":"15","author":[{"given":"Kwang Mong","family":"Sim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"239899_CR1","unstructured":"Anderson, A. R. & Belnap Jr, N. D. (1975). Entailment: The Logic of Relevance and Necessity\n1. Princeton University Press."},{"key":"239899_CR2","unstructured":"Belnap Jr, N. D. (1975). A Useful Four-Valued Logic. In Dunn and Epstein (eds.) Modern Uses of Multiple-valued Logic, 8\u201341. D. Reidel Publishing Company."},{"key":"239899_CR3","unstructured":"Belnap Jr, N. D. & Steel Jr, T. B. (1976). Erotetic Logic: An Introduction to the Logic of Questions and Answers. Yale University Press."},{"key":"239899_CR4","first-page":"353","volume":"4","author":"D. Bochvar","year":"1939","unstructured":"Bochvar, D. (1939). On Three-Valued Logical Calculus and Its Applications to the Analysis of Contradictions. Matematiceskij Sbornik\n4: 353\u2013369.","journal-title":"Matematiceskij Sbornik"},{"key":"239899_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. de Kleer","year":"1986","unstructured":"de Kleer, J. (1986). An Assumption-Based Truth Maintenance System. Artificial Intelligence\n28: 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"239899_CR6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J. (1979). A Truth Maintenance System. Artificial Intelligence\n12: 231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"239899_CR7","unstructured":"Etherington, D. W. (1988). Reasoning with Incomplete Information. Research Notes in Artificial Intelligence. Morgan Kaufman."},{"key":"239899_CR8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00274066","volume":"18","author":"M. Fitting","year":"1989","unstructured":"Fitting, M. (1989). Fitting. Bilattices and the Theory of Truth. Journal of Philosophical Logic\n18: 225\u2013256.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"239899_CR9","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M. (1991). Bilattices and the Semantics of Logic Programming. Journal of Logic Programming (August) 11(2): 91\u2013116.","journal-title":"Journal of Logic Programming (August)"},{"key":"239899_CR10","doi-asserted-by":"crossref","unstructured":"Fitting, M. (1993). The Family of Stable Models. Journal of Logic Programming (Preprint).","DOI":"10.1016\/0743-1066(93)90031-B"},{"key":"239899_CR11","volume-title":"Readings in Non-Monotonic Reasoning","author":"M. Ginsberg","year":"1987","unstructured":"Ginsberg, M. (1987). Readings in Non-Monotonic Reasoning. Morgan Kaufmann: Los Alto, CA."},{"key":"239899_CR12","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"Ginsberg, M. (1988). Multivalued logics: A Uniform Approach to Reasoning in Artificial Intelligence. Computational intelligence\n4: 265\u2013316.","journal-title":"Computational intelligence"},{"key":"239899_CR13","unstructured":"Kleene, S. (1952). Introduction of Metamathematics. Van Nostrand."},{"key":"239899_CR14","unstructured":"Lukasiewicz, J. (1920). On 3-Valued Logic. In McCall, S. (ed.) Polish Logic. Oxford University Press."},{"key":"239899_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J. (1980). Circumscription-a Form of Non-Monotonic Reasoning. Artificial Intelligence\n13: 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"239899_CR16","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"McCarthy, J. (1986). Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence\n28: 89\u2013118.","journal-title":"Artificial Intelligence"},{"key":"239899_CR17","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R. (1985). Semantic Considerations on Non-Monotonic Logic. Artificial Intelligence\n25: 75\u201394.","journal-title":"Artificial Intelligence"},{"key":"239899_CR18","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1146\/annurev.cs.02.060187.001051","volume":"2","author":"R. Reiter","year":"1987","unstructured":"Reiter, R. (1987). Non-Monotonic Reasoning. Annual Review of Computer Science\n2: 147\u2013186 (Annual Reviews, Palo Alto, CA).","journal-title":"Annual Review of Computer Science"},{"key":"239899_CR19","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1990","unstructured":"Reiter, R. (1990). A Logic for Default Reasoning. Artificial Intelligence\n13: 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"239899_CR20","unstructured":"Sandewall, E. (1985). A Functional Approach to Non-monotonic Logic. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, 100\u2013106."},{"key":"239899_CR21","unstructured":"Scott, D. (1970). Outline of a Mathematical Theory of Computation. In Proceeding of the Fourth Annual Princeton Conference on Information Sciences and Systems, 167\u2013176."},{"key":"239899_CR22","first-page":"97","volume":"274","author":"D. Scott","year":"1972","unstructured":"Scott, D. (1972). Continuous Lattices. In Toposes, Algebraic Geometry and Logic. Lecture Notes in Mathematic, 274, 97\u2013136. Springer-verlag.","journal-title":"Toposes, Algebraic Geometry and Logic"},{"key":"239899_CR23","doi-asserted-by":"crossref","unstructured":"Scott, D. (1973). Models for Various Type-free Calculi. Logic, Methodology and Philosophy of Science IV. In Suppes, Henkin, Juja, Moisil (eds.) Proceedings of the Fourth International Congress for Logic. Methodology and the Philosophy of Science, Bucharest, 1971.","DOI":"10.1016\/S0049-237X(09)70356-8"},{"key":"239899_CR24","first-page":"594","volume":"869","author":"K. M. Sim","year":"1994","unstructured":"Sim, K. M. (1994). Beliefs and Bilattices. In Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems, Charlotte, North Carolina. Lecture Notes in Artificial Intelligence, 869, 594\u2013603. Springer Verlag.","journal-title":"Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems"},{"key":"239899_CR25","volume-title":"A Multi-Valued Epistemic Logic","author":"K. M. Sim","year":"1995","unstructured":"Sim, K. M. (1995). A Multi-Valued Epistemic Logic. Ph.D. Dissertation, Department of Computer Science, University of Calgary, Calgary, AB, Canada."},{"key":"239899_CR26","unstructured":"Turner, R. (1984). Logics for Artificial Intelligence. Ellis Horwood Series Artificial Intelligence, Ellis Horwood Limited."},{"key":"239899_CR27","first-page":"149","volume-title":"Machine Intelligence","author":"L. Zadeh","year":"1979","unstructured":"Zadeh, L. (1979). A Theory of Approximate Reasoning. In J. Hayes, Michie, D. and Mikulich, L.I. (eds.) Machine Intelligence\n9, 149\u2013194. Halstead Press: New York."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011049617655.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011049617655\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011049617655.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:41:17Z","timestamp":1747543277000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011049617655"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["239899"],"URL":"https:\/\/doi.org\/10.1023\/a:1011049617655","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}