{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,16]],"date-time":"2024-01-16T00:01:40Z","timestamp":1705363300927},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds and Machines"],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bf00351182","type":"journal-article","created":{"date-parts":[[2004,11,17]],"date-time":"2004-11-17T13:49:08Z","timestamp":1100699348000},"page":"279-320","source":"Crossref","is-referenced-by-count":5,"title":["A sense-based, process model of belief"],"prefix":"10.1007","volume":"1","author":[{"given":"Robert F.","family":"Hadley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"67","volume-title":"Proceedings of the Seventh Biennial Conference of the Canadian Society for Computational Studies of Intelligence","author":"R. Aleliunis","year":"1988","unstructured":"AleliunisR. (1988), ?A New Normative Theory of Probabilistic Logic?, Proceedings of the Seventh Biennial Conference of the Canadian Society for Computational Studies of Intelligence, Edmonton, Alberta: Canadian Society for Computational Studies of Intelligence, pp. 67?74."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1207\/s15516709cog1003_4","volume":"10","author":"J. A. Barnden","year":"1986","unstructured":"BarndenJ. A. (1986), ?Imputations and Explications: Representational Problems in Treatments of Propositional Attitudes?, Cognitive Science 10, pp. 319?364.","journal-title":"Cognitive Science"},{"key":"CR3","volume-title":"Situations and Attitudes","author":"J Barwise","year":"1983","unstructured":"BarwiseJ and PerryJ. (1983), Situations and Attitudes, Cambridge, MA: Bradford Books."},{"key":"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), ?What's in a Concept: Structural Foundations for Semantic Networks?, International Journal of Man-Machine Studies 9, pp. 127?152.","journal-title":"International Journal of Man-Machine Studies"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"5","DOI":"10.2307\/2026102","volume":"81","author":"T. Burge","year":"1984","unstructured":"BurgeT. (1984), ?Epistemic Paradox?, Journal of Philosophy 81, pp. 5?29.","journal-title":"Journal of Philosophy"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF02221771","volume":"5","author":"A. Church","year":"1954","unstructured":"ChurchA. (1954), ?Intensional Isomorphism and Identity of Belief?, Philosophical Studies 5, pp. 65?71.","journal-title":"Philosophical Studies"},{"key":"CR7","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":"CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"deKleerJ. (1986), ?An Assumption-Based TMS?, Artificial Intelligence 28, pp. 127?162.","journal-title":"Artificial Intelligence"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"DoyleJ. (1979), ?A Truth Maintenance System?, Artificial Intelligence 12, pp. 231?272.","journal-title":"Artificial Intelligence"},{"key":"CR10","first-page":"349","volume-title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","author":"J. Doyle","year":"1983","unstructured":"DoyleJ. (1983), ?The Ins and Outs of Reason Maintenance?, in Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI-83, Karlsruhe), Los Altos, CA: Morgan Kaufman, pp. 349?351."},{"key":"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), ?Belief, Awareness, and Limited Reasoning?, Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI-85, Los Angeles), Los Altos, CA: Morgan Kaufman, pp. 491?501."},{"key":"CR12","volume-title":"Translations from the Philosophical Writings of Gottlob Frege","author":"G. Frege","year":"1892","unstructured":"FregeG. (1892), ?On Sense and Reference?, in Translations from the Philosophical Writings of Gottlob Frege, (Eds.) GeachP. & BlackM., (1952) Oxford: Basil Blackwell."},{"key":"CR13","volume-title":"Axiomatic Set Theory","author":"P. Gilmore","year":"1974","unstructured":"GilmoreP. (1974), ?The Consistency of Partial Set Theory without Extensionality?, in Axiomatic Set Theory, (ed.) JechT., Providence, RI: American Mathematical Society."},{"key":"CR14","first-page":"185","volume-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"J. W. Goodwin","year":"1985","unstructured":"GoodwinJ. W. (1985), ?A Process Theory of Non-Monotonic Inference?, Proceedings of the Ninth International Joint Conference on Artificial Intelligence, (IJCAI-85, Los Angeles), Los Altos, CA: Morgan Kaufman, pp. 185?187."},{"issue":"2","key":"CR15","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), ?Possible Events, Actual Events, and Robots? Computational Intelligence 1 (2), pp. 59?70.","journal-title":"Computational Intelligence"},{"key":"CR16","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), ?A Syntactic Theory of Belief and Action?, Artificial Intelligence 28, pp. 245?292.","journal-title":"Artificial Intelligence"},{"key":"CR17","first-page":"49","volume-title":"Proceedings of the Sixth Canadian Conference on Artificial Intelligence","author":"R. F. Hadley","year":"1986","unstructured":"HadleyR. F. (1986), ?Fagin and Halpern on Logical Omniscience, a Critique with an Alternative?, Proceedings of the Sixth Canadian Conference on Artificial Intelligence, Montreal: University of Montreal Press, pp. 49?56."},{"key":"CR18","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. (1988), ?Logical Omniscience, Semantics and Models of Belief?, Computational Intelligence 4, pp. 17?30.","journal-title":"Computational Intelligence"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1207\/s15516709cog1301_4","volume":"13","author":"R. F. Hadley","year":"1989","unstructured":"HadleyR. F. (1989), ?A Default-Oriented Theory of Procedural Semantics?, Cognitive Science 13, pp. 107?137.","journal-title":"Cognitive Science"},{"key":"CR20","series-title":"Technical Report CSS-IS TR 89-04","volume-title":"An Intension-Based Model of Nested Epistemic Processes","author":"R. F. Hadley","year":"1989","unstructured":"HadleyR. F. (1989b), ?An Intension-Based Model of Nested Epistemic Processes?, Technical Report CSS-IS TR 89-04, Centre for Systems Science, Simon Fraser University, Burnaby, B. C., Canada."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BF00351182","volume":"1","author":"R. F. Hadley","year":"1991","unstructured":"HadleyR. F. (1991), ?The Many Uses of ?Belief? in AI?, Minds and Machines 1, pp. 55?73.","journal-title":"Minds and Machines"},{"key":"CR22","first-page":"480","volume-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"J Halpern","year":"1985","unstructured":"HalpernJ and MosesY. (1985), ?A Guide to the Modal Logics of Knowledge and Belief: Preliminary Report?, Proceedings of the Ninth International Joint Conference on Artificial Intelligence, (IJCAI-85, Los Angeles), Los Altos, CA: Morgan Kaufman, pp. 480?490."},{"key":"CR23","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, Ithica, NY: Cornell University Press."},{"key":"CR24","volume-title":"Models for Modalities","author":"J. Hintikka","year":"1969","unstructured":"HintikkaJ. (1969), Models for Modalities, Dordrecht, Holland: D. Reidel Publishing."},{"key":"CR25","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), ?Making Computational Sense of Montague's Intensional Logic?, Artificial Intelligence 9, pp. 287?306.","journal-title":"Artificial Intelligence"},{"key":"CR26","volume-title":"Introduction to Meta-Mathematics","author":"S. C. Kleene","year":"1952","unstructured":"KleeneS. C. (1952), Introduction to Meta-Mathematics, New York, NY: Wolters-Noordhoff Publishing and North-Holland Publishing."},{"key":"CR27","first-page":"503","volume-title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","author":"K. Konolige","year":"1985","unstructured":"KonoligeK. (1985), ?A Computational Theory of Belief Introspection?, Proceedings of the Ninth International Joint Conference on Artificial Intelligence, (IJCAI-85, Los Angeles), Los Altos, CA: Morgan Kaufman, pp. 503?508."},{"key":"CR28","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S. Kripke","year":"1975","unstructured":"KripkeS. (1975), ?Outline of a Theory of Truth?, Journal of Philosophy 72, pp. 690?716.","journal-title":"Journal of Philosophy"},{"key":"CR29","first-page":"401","volume-title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","author":"G. Lakemeyer","year":"1987","unstructured":"LakemeyerG. (1987), ?Tractable Meta-Reasoning in Propositional Logics of Belief?, Proceedings of the Tenth International Joint Conference on Artificial Intelligence, (IJCAI-87, Milan), Los Altos, CA: Morgan Kaufman, pp. 401?408."},{"key":"CR30","unstructured":"Levesque, H. J. (1984), ?A Logic of Implicit and Explicit Belief?, Proceedings of the Fourth National Conference on Artificial Intelligence, Austin, TX: pp. 198?202."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/BF00413598","volume":"22","author":"D. Lewis","year":"1970","unstructured":"LewisD. (1970), ?General Semantics?, Synthese 22, pp. 18?67.","journal-title":"Synthese"},{"key":"CR32","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), ?Intensional Concepts in Propositional Semantic Networks,? Cognitive Science 6, pp. 291?330.","journal-title":"Cognitive Science"},{"key":"CR33","first-page":"187","volume-title":"Proceedings of the Cognitive Science Society","author":"A. S. Maida","year":"1986","unstructured":"MaidaA. S. (1986), ?Introspection and Reasoning about the Beliefs of Other Agents?, Proceedings of the Cognitive Science Society, Hillsdale, NJ: Lawrence Erlbaum Assoc., pp. 187?195."},{"key":"CR34","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J. Martins","year":"1988","unstructured":"MartinsJ. and ShapiroS. (1988), ?A Model of Belief Revision?, Artificial Intelligence 35, pp. 25?79.","journal-title":"Artificial Intelligence"},{"key":"CR35","first-page":"271","volume-title":"Formal Philosophy","author":"R. Montague","year":"1960","unstructured":"MontagueR. (1960), ?A Paradox Regained?, reprinted in Formal Philosophy, (ed.) ThomasonR., New Haven, CN: Yale University Press, (1974), pp. 271?285."},{"key":"CR36","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), ?Universal Grammar?, Theoria 36, pp. 222?246.","journal-title":"Theoria"},{"key":"CR37","first-page":"660","volume-title":"The Philosophy of G. E. Moore","author":"G. E. Moore","year":"1942","unstructured":"MooreG. E. (1942), ?Reply to My Critics?, in The Philosophy of G. E. Moore, (ed.) P.Schilpp, Evanston and Chicago: Northwestern University Press, pp. 660?667."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0004-3702(86)90072-X","volume":"29","author":"J. Pearl","year":"1986","unstructured":"PearlJ. (1986), ?Fusion, Propagation, and Structuring in Belief Networks, Artificial Intelligence 29, pp. 241?288.","journal-title":"Artificial Intelligence"},{"key":"CR39","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","volume":"25","author":"D. Perlis","year":"1985","unstructured":"PerlisD. (1985), ?Languages with Self-Reference I: Foundations?, Artificial Intelligence 25, pp. 301?322.","journal-title":"Artificial Intelligence"},{"key":"CR40","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(88)90038-0","volume":"35","author":"D. Perlis","year":"1988","unstructured":"PerlisD. (1988), ?Languages with Self-Reference II: Knowledge, Belief, and Modality?, Artificial Intelligence, 35, pp. 179?212.","journal-title":"Artificial Intelligence"},{"key":"CR41","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1207\/s15516709cog1004_1","volume":"10","author":"W. J. Rapaport","year":"1986","unstructured":"RapaportW. J. (1986), ?Logical Foundations for Belief Representation,? Cognitive Science 10, pp. 371?422.","journal-title":"Cognitive Science"},{"key":"CR42","volume-title":"Essays in Conceptual Analysis","author":"P. F. Strawson","year":"1956","unstructured":"StrawsonP. F. (1956), ?On Referring?, in Essays in Conceptual Analysis, (ed.) FlewA., London: MacMillan and Co. Ltd."},{"key":"CR43","first-page":"261","volume":"1","author":"A. Tarski","year":"1936","unstructured":"TarskiA. (1936), ?Der Warheitsbegriff in den Formalisierten Sprachen?, Studia Philos 1, pp. 261?405.","journal-title":"Studia Philos"},{"key":"CR44","volume-title":"Truth and Modality for Knowledge Representation","author":"R. Turner","year":"1989","unstructured":"TurnerR. (1989), Truth and Modality for Knowledge Representation, London: Pitman Press."},{"key":"CR45","first-page":"118","volume-title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","author":"Y. Wilks","year":"1987","unstructured":"WilksY. and BalliamA. (1987), ?Multiple Agents and the Heuristic Ascriptions of Belief?, Proceedings of the Tenth International Joint Conference on Artificial Intelligence, (IJCAI-87, Milan), Los Altos, CA: Morgan Kaufman, pp. 118?124."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00351182.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00351182\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00351182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T12:48:01Z","timestamp":1705322881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00351182"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991]]}},"alternative-id":["BF00351182"],"URL":"https:\/\/doi.org\/10.1007\/bf00351182","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}