{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:20Z","timestamp":1751983640619},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1993,10,1]],"date-time":"1993-10-01T00:00:00Z","timestamp":749433600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1993,10]]},"DOI":"10.1007\/bf01349562","type":"journal-article","created":{"date-parts":[[2005,3,27]],"date-time":"2005-03-27T03:47:43Z","timestamp":1111895263000},"page":"513-544","source":"Crossref","is-referenced-by-count":16,"title":["A logic of intentions and beliefs"],"prefix":"10.1007","volume":"22","author":[{"given":"Munindar P.","family":"Singh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas M.","family":"Asher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01349562_CR1","unstructured":"Philip Agre and David Chapman. Pengi: An implementation of a theory of activity. InAAAI-87, pp. 268\u2013272, 1987."},{"key":"BF01349562_CR2","unstructured":"James Allen and C. Raymond Perrault. Participating in dialogues: Understanding via plan deduction. InProceedings, CSCSI-78, 1978."},{"key":"BF01349562_CR3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0004-3702(80)90042-9","volume":"15","author":"James F. Allen","year":"1980","unstructured":"James F. Allen and C. Raymond Perrault. Analyzing intention in utterances.Artificial Intelligence 15: 143\u2013178, 1980.","journal-title":"Artificial Intelligence"},{"key":"BF01349562_CR4","volume-title":"Planning English Sentences","author":"Douglas Appelt","year":"1986","unstructured":"Douglas Appelt.Planning English Sentences. Cambridge University Press, Cambridge, UK, 1986."},{"key":"BF01349562_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF00305490","volume":"15","author":"Nicholas Asher","year":"1986","unstructured":"Nicholas Asher. Belief in discourse representation theory.Journal of Philosophical Logic 15: 127\u2013189, 1986.","journal-title":"Journal of Philosophical Logic"},{"key":"BF01349562_CR6","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF00584317","volume":"10","author":"Nicholas Asher","year":"1987","unstructured":"Nicholas Asher. A typology for attitude verbs and their anaphoric properties.Linguistics and Philosophy 10: 125\u2013197, 1987.","journal-title":"Linguistics and Philosophy"},{"key":"BF01349562_CR7","volume-title":"British Columbia Studies in Cognitive Science, volume 1","author":"Nicholas Asher","year":"1990","unstructured":"Nicholas Asher. Information, interpretation, and attitudes. In P. Hanson, editor,British Columbia Studies in Cognitive Science, volume 1. University of British Columbia Press, Vancouver, Canada, 1990."},{"key":"BF01349562_CR8","volume-title":"Intention, Plans and Practical Reason","author":"Michael E. Bratman","year":"1987","unstructured":"Michael E. Bratman.Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987."},{"key":"BF01349562_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic","author":"Brian F. Chellas","year":"1980","unstructured":"Brian F. Chellas.Modal Logic. Cambridge University Press, New York, NY, 1980."},{"key":"BF01349562_CR10","volume-title":"Technical Report 433","author":"Philip R. Cohen","year":"1988","unstructured":"Philip R. Cohen and Hector J. Levesque. Rational interaction as the basis for communication. Technical Report 433, SRI International, Menlo Park, CA, April 1988."},{"key":"BF01349562_CR11","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"Philip R. Cohen","year":"1990","unstructured":"Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment.Artificial Intelligence 42: 213\u2013261, 1990.","journal-title":"Artificial Intelligence"},{"key":"BF01349562_CR12","first-page":"117","volume":"3","author":"Philip R. Cohen","year":"1979","unstructured":"Philip R. Cohen and C. Raymond Perrault. Elements of a plan-based theory of speech acts.Cognitive Science 3: 117\u2013212, 1979.","journal-title":"Cognitive Science"},{"key":"BF01349562_CR13","volume-title":"The Intentional Stance","author":"Daniel C. Dennett","year":"1987","unstructured":"Daniel C. Dennett.The Intentional Stance. MIT Press, Cambridge, MA, 1987."},{"key":"BF01349562_CR14","volume-title":"Handbook of Theoretical Computer Science","author":"E. A. Emerson","year":"1989","unstructured":"E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor,Handbook of Theoretical Computer Science, North-Holland Publishing Company, Amsterdam, The Netherlands, 1989."},{"key":"BF01349562_CR15","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"Ronald Fagin","year":"1988","unstructured":"Ronald Fagin and Joseph Y. Halpern. Belief, awareness, and limited reasoning.Artificial Intelligence 34: 39\u201376, 1988.","journal-title":"Artificial Intelligence"},{"key":"BF01349562_CR16","unstructured":"Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. A nonstandard approach to the logical omniscience problem. InProceedings of the Third Conference on Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann Inc., 1990."},{"key":"BF01349562_CR17","volume-title":"Annual Review of Computer Science, Vol. 2","author":"Michael P. Georgeff","year":"1987","unstructured":"Michael P. Georgeff. Planning. In J. F. Traub, editor,Annual Review of Computer Science, Vol. 2. Annual Reviews Inc., Palo Alto, CA, 1987."},{"issue":"3","key":"BF01349562_CR18","first-page":"175","volume":"12","author":"Barbara Grosz","year":"1986","unstructured":"Barbara Grosz and Candace Sidner. Attentions, intentions, and discourse structure.Computational Linguistics 12(3): 175\u2013204, 1986.","journal-title":"Computational Linguistics"},{"key":"BF01349562_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1515\/9783110867602.1","volume-title":"Truth, Interpretation and Information","author":"Hans Kamp","year":"1984","unstructured":"Hans Kamp. A theory of truth and semantic representation. In J. Groenendijk, T. Jansenn, and M. Stokhof, editors,Truth, Interpretation and Information, pp. 1\u201341. Foris Publications, Dordrecht, The Netherlands, 1984."},{"key":"BF01349562_CR20","first-page":"239","volume":"LXXXV(XIII)","author":"Hans Kamp","year":"1984\/1985","unstructured":"Hans Kamp. Context, thought and communication. TheProceedings of the Aristotelian Society, New Series, LXXXV(XIII): 239\u2013261 1984\/1985.","journal-title":"The Proceedings of the Aristotelian Society, New Series"},{"key":"BF01349562_CR21","unstructured":"Kurt Konolige.A Deduction Model of Belief. Morgan Kaufmann, Inc., 1986."},{"key":"BF01349562_CR22","volume-title":"Meaning and Use","author":"Saul Kripke","year":"1979","unstructured":"Saul Kripke. A puzzle about belief. In A. Margalit, editor.Meaning and Use. Reidel, Dordrecht, The Netherlands, 1979."},{"key":"BF01349562_CR23","unstructured":"Hector Levesque. A logic of implicit and explicit belief. InAAAI-84, 1984."},{"key":"BF01349562_CR24","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1207\/s15516709cog1102_4","volume":"11","author":"Diane J. Litman","year":"1987","unstructured":"Diane J. Litman and James F. Allen. A plan recognition model for subdialogues in conversations.Cognitive Science 11: 163\u2013200, 1987.","journal-title":"Cognitive Science"},{"issue":"2","key":"BF01349562_CR25","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"Drew V. McDermott","year":"1982","unstructured":"Drew V. McDermott. A temporal logic for reasoning about processes and plans.Cognitive Science 6(2): 101\u2013155, 1982.","journal-title":"Cognitive Science"},{"key":"BF01349562_CR26","volume-title":"Processes, Beliefs, and Questions","author":"Barbara Hall Partee","year":"1982","unstructured":"Barbara Hall Partee. Belief-sentences and the limits of semantics. In Stanley Peters and Esa Saarinen, editors,Processes, Beliefs, and Questions. D. Reidel Publishing Company, Dordrecht, The Netherlands, 1982."},{"key":"BF01349562_CR27","volume-title":"Technical Report 90","author":"Raymond Perrault","year":"1987","unstructured":"Raymond Perrault. An application of default logic to speech act theory. Technical Report 90, Center for the Study of Language and Information, Stanford, CA, March 1987."},{"key":"BF01349562_CR28","unstructured":"Martha E. Pollack.Inferring Domain Plans in Question Answering. PhD thesis, University of Pennsylvania, 1986."},{"key":"BF01349562_CR29","doi-asserted-by":"crossref","unstructured":"Stanley J. Rosenschein. Formal theories of knowledge in AI and robotics.New Generation Computing 3(4), 1985.","DOI":"10.1007\/BF03037076"},{"key":"BF01349562_CR30","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173452","volume-title":"Intentionality: An essay in the Philosophy of Mind","author":"John R. Searle","year":"1983","unstructured":"John R. Searle.Intentionality: An essay in the Philosophy of Mind. Cambridge University Press, Cambridge, UK, 1983."},{"key":"BF01349562_CR31","volume-title":"Inquiry","author":"Robert C. Stalnaker","year":"1984","unstructured":"Robert C. Stalnaker.Inquiry. MIT Press, Cambridge, MA, 1984."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01349562\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01349562.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01349562\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01349562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T14:40:57Z","timestamp":1556808057000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01349562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":31,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["BF01349562"],"URL":"https:\/\/doi.org\/10.1007\/bf01349562","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}