{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:47:17Z","timestamp":1768340837225,"version":"3.49.0"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,2,1]],"date-time":"1991-02-01T00:00:00Z","timestamp":665366400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1991,2,1]],"date-time":"1991-02-01T00:00:00Z","timestamp":665366400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds and Machines"],"published-print":{"date-parts":[[1991,2]]},"DOI":"10.1007\/bf00360579","type":"journal-article","created":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T15:25:54Z","timestamp":1662477954000},"page":"55-73","source":"Crossref","is-referenced-by-count":5,"title":["The many uses of \u2018belief\u2019 in AI"],"prefix":"10.1007","volume":"1","author":[{"given":"Robert F.","family":"Hadley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00360579_CR1","first-page":"280","volume-title":"Proceedings of the 8th International Joint Conference on Artificial Intelligence","author":"J. A. Barnden","year":"1983","unstructured":"BarndenJ. A. (1983), \u2018Intensions as Such: An Outline\u2019, Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI-83; Karlsruhe, W. Germany), Los Altos, CA: Morgan Kaufmann, 280\u2013286."},{"key":"BF00360579_CR2","doi-asserted-by":"crossref","first-page":"668","DOI":"10.2307\/2026578","volume":"78","author":"J. Barwise","year":"1981","unstructured":"BarwiseJ. and PerryJ. (1981), \u2018Situations and Attitudes\u2019, Journal of Philosophy 78, pp. 668\u2013691.","journal-title":"Journal of Philosophy"},{"key":"BF00360579_CR3","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"BarwiseJ. and PerryJ. (1983), Situations and Attitudes, Cambridge, MA: Bradford Books."},{"key":"BF00360579_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0020-7373(77)80017-5","volume":"9","author":"R. J. Brachman","year":"1977","unstructured":"BrachmanR. J. (1977), \u2018What's in a Concept: Structural Foundations for Semantic Networks\u2019, International Journal of Man-Machine Studies 9, pp. 127\u2013152.","journal-title":"International Journal of Man-Machine Studies"},{"key":"BF00360579_CR5","volume-title":"Minimal Rationality","author":"C. Cherniak","year":"1986","unstructured":"CherniakC. (1986), Minimal Rationality, Cambridge, MA: MIT Press."},{"key":"BF00360579_CR6","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1111\/j.1467-8640.1988.tb00091.x","volume":"4","author":"P. Cheeseman","year":"1988","unstructured":"CheesemanP. (1988), \u2018An Inquiry into Computer Understanding\u2019, Computational Intelligence 4, pp. 58\u201366.","journal-title":"Computational Intelligence"},{"key":"BF00360579_CR7","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF02221771","volume":"5","author":"A. Church","year":"1954","unstructured":"ChurchA. (1954), \u2018Intensional Isomorphism and Identity of Belief\u2019, Philosophical Studies 5, pp. 65\u201371.","journal-title":"Philosophical Studies"},{"key":"BF00360579_CR8","volume-title":"Structured Meanings: The Semantics of Propositional Attitudes","author":"M.J. Cresswell","year":"1985","unstructured":"CresswellM.J. (1985), Structured Meanings: The Semantics of Propositional Attitudes, Cambridge, MA: MIT Press."},{"key":"BF00360579_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. de Kleer","year":"1986","unstructured":"deKleerJ. (1986), \u2018An Assumption-Based TMS\u2019, Artificial Intelligence 28, pp. 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"BF00360579_CR10","volume-title":"Knowledge and the Flow of Information","author":"F. I. Dretske","year":"1981","unstructured":"DretskeF. I. (1981), Knowledge and the Flow of Information, Cambridge, MA: Bradford Books."},{"key":"BF00360579_CR11","first-page":"491","volume-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"R. Fagin","year":"1985","unstructured":"FaginR. and HalpernJ. (1985) \u2018Belief, Awareness, and Limited Reasoning\u2019, Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85, Los Angeles), Los Altos, CA: Morgan Kaufmann, pp. 491\u2013501."},{"key":"BF00360579_CR12","volume-title":"Translations from the Philosophical Writings of Gottlob Frege","author":"G. Frege","year":"1892","unstructured":"FregeG. (1892), \u2018On Sense and Reference\u2019, in P.Geach and M.Black, eds. (1952), Translations from the Philosophical Writings of Gottlob Frege, Oxford: Basil Blackwell."},{"key":"BF00360579_CR13","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1111\/j.1467-8640.1985.tb00059.x","volume":"1","author":"A. Haas","year":"1985","unstructured":"HaasA. (1985), \u2018Possible Events, Actual Events, and Robots\u2019, Computational Intelligence 1, pp. 59\u201370.","journal-title":"Computational Intelligence"},{"key":"BF00360579_CR14","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0004-3702(86)90051-2","volume":"28","author":"A. Haas","year":"1986","unstructured":"HaasA. (1986), \u2018A Syntactic Theory of Belief and Action\u2019, Artificial Intelligence 28, pp. 245\u2013292.","journal-title":"Artificial Intelligence"},{"key":"BF00360579_CR15","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1111\/j.1467-8640.1988.tb00087.x","volume":"4","author":"R. F. Hadley","year":"1988","unstructured":"HadleyR. F. (1988a), \u2018Logical Omniscience, Semantics and Models of Belief\u2019, Computational Intelligence 4, pp. 17\u201330.","journal-title":"Computational Intelligence"},{"key":"BF00360579_CR16","first-page":"354","volume-title":"Proceedings of the Tenth Annual Conference of the Cognitive Science Society","author":"R. F. Hadley","year":"1988","unstructured":"HadleyR. F. (1988b), \u201cA Process-Oriented, Intensional Model of Knowledge and Belief\u2019, Proceedings of the Tenth Annual Conference of the Cognitive Science Society (Montreal), Hillsdale, NJ: Lawrence Erlbaum Assoc., pp. 354\u2013360."},{"key":"BF00360579_CR17","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1207\/s15516709cog1301_4","volume":"13","author":"R. F. Hadley","year":"1989","unstructured":"HadleyR. F. (1989), \u2018A Default-Oriented Theory of Procedural Semantics\u2019, Cognitive Science 13, pp. 107\u2013137.","journal-title":"Cognitive Science"},{"key":"BF00360579_CR18","first-page":"73","volume-title":"Information, Language, and Cognition: Vancouver Studies in Cognitive Science, Vol. 1","author":"R. F. Hadley","year":"1990","unstructured":"HadleyR. F. (1990), \u2018Truth Conditions and Procedural Semantics\u2019, in P.Hanson, ed., Information, Language, and Cognition: Vancouver Studies in Cognitive Science, Vol. 1, Vancouver, Canada: University of British Columbia Press, pp. 73\u2013100."},{"key":"BF00360579_CR19","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J. Hintikka","year":"1962","unstructured":"HintikkaJ. (1962), Knowledge and Belief: An Introduction to the Logic of the Two Notions, Ithaca, NY: Cornell University Press."},{"key":"BF00360579_CR20","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0004-3702(77)90025-X","volume":"9","author":"J. R. Hobbs","year":"1978","unstructured":"HobbsJ. R. and RosenscheinS. J. (1978), \u2018Making Computational Sense of Montague's Intensional Logic\u2019, Artificial Intelligence 9, pp. 287\u2013306.","journal-title":"Artificial Intelligence"},{"key":"BF00360579_CR21","volume-title":"The Mind's Eye","author":"D. Hofstadter","year":"1981","unstructured":"HofstadterD. and DennettD. (1981), The Mind's Eye, New York, NY: Basic Books."},{"key":"BF00360579_CR22","first-page":"401","volume-title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","author":"G. Lakemeyer","year":"1987","unstructured":"LakemeyerG. (1987), \u2018Tractable Meta-Reasoning in Propositional Logics of Belief\u2019, Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87, Milan), Los Altos, CA: Morgan Kaufmann, pp. 401\u2013408."},{"key":"BF00360579_CR23","unstructured":"Levesque, H. J. (1984), \u2018A Logic of Implicit and Explicit Belief\u2019, Proceedings of the Fourth Conference of the American Association for Artificial Intelligence, Austin, TX: pp. 198\u2013202."},{"key":"BF00360579_CR24","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(86)90068-8","volume":"30","author":"H. J. Levesque","year":"1986","unstructured":"LevesqueH. J. (1986), \u2018Making Believers Out of Computers\u2019, Artificial Intelligence 30, pp. 81\u2013108.","journal-title":"Artificial Intelligence"},{"key":"BF00360579_CR25","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/BF00297511","volume":"17","author":"H. J. Levesque","year":"1988","unstructured":"LevesqueH. J. (1988), \u2018Logic and the Complexity of Reasoning\u2019, Journal of Philosophical Logic 17, pp. 355\u2013389.","journal-title":"Journal of Philosophical Logic"},{"key":"BF00360579_CR26","first-page":"1","volume-title":"Montague Grammar","author":"D. Lewis","year":"1976","unstructured":"LewisD. (1976) \u2018General Semantics\u2019, in B.Partee, ed., Montague Grammar, New York, NY: Academic Press, pp. 1\u201350."},{"key":"BF00360579_CR27","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1207\/s15516709cog0604_1","volume":"6","author":"A. S. Maida","year":"1982","unstructured":"MaidaA. S. and ShapiroS. C. (1982), \u2018Intensional Concepts in Propositional Semantic Networks\u2019, Cognitive Science 6, pp. 291\u2013330.","journal-title":"Cognitive Science"},{"key":"BF00360579_CR28","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1111\/j.1467-8640.1988.tb00278.x","volume":"4","author":"G. L. McArthur","year":"1988","unstructured":"McArthurG. L. (1988), \u2018Reasoning about Knowledge and Belief: A Survey\u2019, Computational Intelligence 4, pp. 223\u2013243.","journal-title":"Computational Intelligence"},{"key":"BF00360579_CR29","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R. Montague","year":"1970","unstructured":"MontagueR. (1970), \u2018Universal Grammar\u2019, Theoria 36, pp. 222\u2013246.","journal-title":"Theoria"},{"key":"BF00360579_CR30","first-page":"660","volume-title":"The Philosophy of G.E. Moore","author":"G. E. Moore","year":"1942","unstructured":"MooreG. E. (1942), \u2018Reply to My Critics\u2019, in P.Schilpp, ed., The Philosophy of G.E. Moore, Evanston and Chicago, IL: Northwestern University Press, pp. 660\u2013667."},{"key":"BF00360579_CR31","first-page":"223","volume-title":"Proceedings of the 5th International Joint Conference on Artificial Intelligence","author":"R. C. Moore","year":"1977","unstructured":"MooreR. C. (1977), \u2018Reasoning about Knowledge and Action\u2019, Proceedings of the 5th International Joint Conference on Artificial Intelligence (IJCAI-77, MIT) Los Altos, CA: Morgan Kaufmann, pp. 223\u2013227."},{"key":"BF00360579_CR32","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF00244513","volume":"4","author":"F. Oppacher","year":"1988","unstructured":"OppacherF. and SuenE. (1988), \u2018HARP: a Tableau-Based Theorem Prover\u2019, Journal of Automated Reasoning 4, pp. 69\u2013100.","journal-title":"Journal of Automated Reasoning"},{"key":"BF00360579_CR33","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0004-3702(85)90075-X","volume":"25","author":"D. Perlis","year":"1985","unstructured":"PerlisD. (1985), \u2018Languages with Self-Reference I: Foundations\u2019, Artificial Intelligence 25, pp. 261\u2013405.","journal-title":"Artificial Intelligence"},{"key":"BF00360579_CR34","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1207\/s15516709cog1004_1","volume":"10","author":"W. J. Rapaport","year":"1986","unstructured":"RapaportW. J. (1986), \u2018Logical Foundations for Belief Representation\u2019, Cognitive Science 10, pp. 371\u2013422.","journal-title":"Cognitive Science"},{"key":"BF00360579_CR35","first-page":"63","volume-title":"Encyclopedia of Artificial Intelligence","author":"W. J. Rapaport","year":"1987","unstructured":"RapaportW. J. (1987), \u2018Belief Systems\u2019, in S. C.Shapiro, ed., Encyclopedia of Artificial Intelligence, New York, NY: John Wiley & Sons, pp. 63\u201373."},{"key":"BF00360579_CR36","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1017\/S0140525X00002053","volume":"3","author":"J. Searle","year":"1980","unstructured":"SearleJ. (1980), \u2018Minds, Brains, and Programs\u2019, The Behavioural and Brain Sciences 3, pp. 111\u2013169.","journal-title":"The Behavioural and Brain Sciences"},{"key":"BF00360579_CR37","volume-title":"The Mathematical Theory of Communication","author":"C. E. Shannon","year":"1949","unstructured":"ShannonC. E. and WeaverW. (1949), The Mathematical Theory of Communication, Urbana, IL: University of Illinois Press."},{"key":"BF00360579_CR38","doi-asserted-by":"crossref","unstructured":"Vardi, M. Y. (1986), \u2018On Epistemic Logic and Logical Omniscience\u2019, Proceedings of the Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA: pp. 293\u2013305.","DOI":"10.1016\/B978-0-934613-04-0.50024-7"},{"key":"BF00360579_CR39","unstructured":"Wilks, Y. and Ballim, A. (1987), \u2018Multiple Agents and Heuristic Ascriptions of Belief\u2019, Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87, Milan), pp. 118\u2013124."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00360579.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF00360579\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00360579.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,26]],"date-time":"2023-11-26T16:54:03Z","timestamp":1701017643000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF00360579"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,2]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,2]]}},"alternative-id":["BF00360579"],"URL":"https:\/\/doi.org\/10.1007\/bf00360579","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,2]]}}}