{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T04:47:29Z","timestamp":1764305249638},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584957"},{"type":"electronic","value":"9783540490104"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58495-1_59","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:32:46Z","timestamp":1330273966000},"page":"594-603","source":"Crossref","is-referenced-by-count":4,"title":["Beliefs and bilattices"],"prefix":"10.1007","author":[{"given":"Kwang Mong","family":"Sim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"59_CR1","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"J. Barwise and J. Perry. Situations and Attitudes. Bradford Books, Cambridge, MA, 1983."},{"doi-asserted-by":"crossref","unstructured":"N. D. Jr. Belnap. A Useful Four-valued Logic. In Dunn and Epstein (Eds) Modern Uses of Multiple-valued Logic, pages 8\u201341. D. Reidel Publishing Company, 1977.","key":"59_CR2","DOI":"10.1007\/978-94-010-1161-7_2"},{"doi-asserted-by":"crossref","unstructured":"B. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.","key":"59_CR3","DOI":"10.1017\/CBO9780511621192"},{"key":"59_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer. An Assumption-based Truth Maintenance System. Artificial Intelligence 28, pages 127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"key":"59_CR5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"R. Fagin and J. Halpern. Belief, Awareness and Limited Reasoning. Artificial Intelligence, 34, pages 39\u201376, 1988.","journal-title":"Artificial Intelligence"},{"issue":"number2","key":"59_CR6","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"M. Fitting. Bilattices and the Semantics of Logic Programming. Journal of Logic Programming, volume 11, number 2, page 91\u2013116, August, 1991.","journal-title":"Journal of Logic Programming"},{"key":"59_CR7","volume-title":"Readings in Non-monotonic Reasoning","author":"M. Ginsberg","year":"1987","unstructured":"M. Ginsberg. Readings in Non-monotonic Reasoning. Morgan Kaufmann, Los Alto, CA, 1987."},{"key":"59_CR8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"M. Ginsberg. Multivalued logics: A Uniform Approach to Reasoning in Artificial Intelligence. Computational intelligence 4, pages 265\u2013316, 1988.","journal-title":"Computational intelligence"},{"key":"59_CR9","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Halpern","year":"1992","unstructured":"J. Halpern and Y. Moses. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Beliefs. Journal of Artificial Intelligence, volume 54, pages 319\u2013379, 1992.","journal-title":"Journal of Artificial Intelligence"},{"key":"59_CR10","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"J. Hintikka Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962."},{"key":"59_CR11","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"J. Hintikka","year":"1975","unstructured":"J. Hintikka. Impossible possible worlds vindicated. Journal of Philosophical Logic, 4, pages 475\u2013484, 1975.","journal-title":"Journal of Philosophical Logic"},{"unstructured":"S. Kleen. Introduction of Metamathematics. Van Nostrand, 1952.","key":"59_CR12"},{"unstructured":"G. Lakemeyer. Tractable Meta-reasoning in Propositional Logics of Beliefs. International Joint Conference in Artificial Intelligence, pages 402\u2013408, 1987.","key":"59_CR13"},{"unstructured":"H. Levesque. Logic of Implicit and Explicit Belief. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, pages 389\u2013393, 1986.","key":"59_CR14"},{"unstructured":"J.Lukasiewicz. \u201cOn 3-valued Logic\u201d. In S. McCall (Eds) Polish Logic. Oxford University Press, 1967.","key":"59_CR15"},{"doi-asserted-by":"crossref","unstructured":"N. Rescher. Many-valued Logic. McGraw Hill Book Company, 1969.","key":"59_CR16","DOI":"10.1007\/978-94-017-3546-9_6"},{"key":"59_CR17","volume-title":"Ph.D. dissertation","author":"K. M. Sim","year":"1994","unstructured":"K. M. Sim. A Multi-valued Epistemic Logic. Ph.D. dissertation. Knowledge Science Institute, University of Calgary, AB, CANADA, 1994 (to appear)."},{"key":"59_CR18","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/BF00370163","volume":"49","author":"H. Wangsing","year":"1990","unstructured":"H. Wangsing. A General Possible Worlds Framework for Reasoning About Knowledge and Belief. Studia Logical 49, pages 523\u2013539, 1990.","journal-title":"Studia Logical"}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58495-1_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:50Z","timestamp":1605648170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58495-1_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584957","9783540490104"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-58495-1_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}