{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T16:13:08Z","timestamp":1675959188365},"reference-count":21,"publisher":"Hindawi Limited","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5722,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[2000,9]]},"DOI":"10.1002\/1098-111x(200009)15:9<811::aid-int1>3.0.co;2-b","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T18:39:00Z","timestamp":1030300740000},"page":"811-848","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning tractably about explicit belief: A model-theoretic approach"],"prefix":"10.1155","volume":"15","author":[{"given":"Kwang Mong","family":"Sim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","published-online":{"date-parts":[[2000]]},"reference":[{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1002\/(SICI)1098-111X(199701)12:1<57::AID-INT3>3.0.CO;2-X","volume":"12","author":"Sim","year":"1997","journal-title":"Int J Intell Syst"},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB2","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF00558761","volume":"4","author":"Hintikka","year":"1975","journal-title":"J Philos Logic"},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB3","author":"Levesque","year":"1984","unstructured":"Logic of implicit and explicit belief. Proceedings of the Fourth National Conference on Artificial Intelligence (AAAI 84). 1984. pp 198-202. A revised version appeared as Fairchild Technical Report No. 653."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB4","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"Fagin","year":"1988","journal-title":"Artif Intell"},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB5","author":"Fagin","year":"1990","unstructured":"A non-standard approach to the logical omniscience problem. In: Parikh R, editor. Proceedings of the Third Conference on Theoretical Aspects of Reasoning about Knowledge (TARK 90). 1990. pp 41-55. J Artif Intell 1995;79:203-240."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB6","author":"Cadoli","year":"1992","unstructured":"Approximate reasoning and non-omniscient agents. Proceedings of the Fourth Conference on the Theoretical Aspects of Reasoning about Knowledge (TARK-92). 1992. pp 169-183."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB7","author":"Vardi","year":"1986","unstructured":"On epistemic logic and logical omniscience. In: Halpern J, editor. Proceedings of the First Conference on the Theoretical Aspects of Reasoning About Knowledge (TARK 86). 1986. pp 293-306."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB8","volume-title":"Entailment: The logic of relevance and necessity.","volume":"1","author":"Anderson","year":"1975","unstructured":"Entailment: The logic of relevance and necessity. Princeton: Princeton Univ. Press; 1975. Vol 1."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB9","volume-title":"Artificial Intelligence and Mathematical Computation: Papers in Honor of John McCarthy","author":"Halpern","year":"1991","unstructured":"Model checking vs theorem proving: A manifesto. In: editor. Artificial Intelligence and Mathematical Computation: Papers in Honor of John McCarthy, 1991. Also appears in Proceedings of the Knowledge Representation and Reasoning Conference, 1991."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB10","series-title":"Lecture Notes","first-page":"594","volume-title":"Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS 94), Charlotte, NC, 1994","volume":"869","author":"Sim","year":"1994","unstructured":"Beliefs and bilattices. Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS 94), Charlotte, NC, 1994. Lecture Notes in Artificial Intelligence. Berlin\/New York: Springer-Verlag; 1994. pp 594-603. Vol 869."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB11","author":"Sim","year":"1995","unstructured":"A multi-valued epistemic logic. Ph.D. dissertation, Department of Computer Science University of Calgary, Calgary, AB, Canada. 1995."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB12","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1002\/(SICI)1098-111X(200002)15:2<129::AID-INT3>3.0.CO;2-T","volume":"15","author":"Sim","year":"2000","journal-title":"Int J Intell Syst"},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB13","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"Ginsberg","year":"1988","journal-title":"Comput Intell"},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB14","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"Fitting","year":"1991","journal-title":"J Logic Program Aug"},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB15","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF00274066","volume":"18","author":"Fitting","year":"1989","journal-title":"J Philos Logic"},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB16","author":"Lakemeyer","year":"1987","unstructured":"Tractable meta-reasoning in propositional logics of belief. Proceedings of the Tenth International Joint Conference in Artificial Intelligence (IJCAI 87). 1987. pp 402-408."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB17","first-page":"8","volume-title":"Modern uses of multiple-valued logic.","author":"Belnap","year":"1975","unstructured":"A useful four-valued logic. In: editors. Modern uses of multiple-valued logic. Dordrecht: Reidel; 1975. pp 8-41."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB18","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"Halpern","year":"1992","journal-title":"J Artif Intell"},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: An introduction.","author":"Chellas","year":"1980","unstructured":"Modal logic: An introduction. Cambridge, U.K.: Cambridge Univ. Press; 1980."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB20","volume-title":"An introduction to modal logic.","author":"Hughes","year":"1968","unstructured":"An introduction to modal logic. London: Methuen; 1968."},{"key":"10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B-BIB21","volume-title":"A companion to modal logic.","author":"Hughes","year":"1984","unstructured":"A companion to modal logic. London: Methuen; 1984."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F1098-111X(200009)15:9%3C811::AID-INT1%3E3.0.CO;2-B","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/1098-111X(200009)15:9%3C811::AID-INT1%3E3.0.CO;2-B","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:37:17Z","timestamp":1675957037000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/1098-111X(200009)15:9<811::AID-INT1>3.0.CO;2-B"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":21,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2000,9]]}},"URL":"https:\/\/doi.org\/10.1002\/1098-111x(200009)15:9<811::aid-int1>3.0.co;2-b","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}