{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:05Z","timestamp":1725455945216},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018460","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:30:30Z","timestamp":1132637430000},"page":"472-486","source":"Crossref","is-referenced-by-count":9,"title":["Towards a formal theory of intentions"],"prefix":"10.1007","author":[{"given":"Munindar P.","family":"Singh","sequence":"first","affiliation":[]},{"given":"Nicholas M.","family":"Asher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"31_CR1","unstructured":"Philip Agre and David Chapman. Pengi: an implementation of a theory of activity. In AAAI-87, pages 268\u2013272, 1987."},{"key":"31_CR2","unstructured":"James Allen and C. Raymond Perrault. Participating in dialogues: understanding via plan deduction. In Proceedings, CSCSI-78, 1978."},{"key":"31_CR3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0004-3702(80)90042-9","volume":"15","author":"J. 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":"31_CR4","volume-title":"Planning English Sentences","author":"D. Appelt","year":"1986","unstructured":"Douglas Appelt. Planning English Sentences. Cambridge University Press, Cambridge, UK, 1986."},{"key":"31_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF00305490","volume":"15","author":"N. 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":"31_CR6","unstructured":"Nicholas Asher. Information, interpretation, and attitudes. In P. Hanson, editor, British Columbia Studies in Cognitive Science, 1990. In press."},{"key":"31_CR7","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF00584317","volume":"10","author":"A. Nicholas","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":"31_CR8","volume-title":"Intention, Plans and Practical Reason","author":"M. E. Bratman","year":"1987","unstructured":"Michael E. Bratman. Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987."},{"key":"31_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic","author":"B. F. Chellas","year":"1980","unstructured":"Brian F. Chellas. Modal Logic. Cambridge University Press, New York, NY, 1980."},{"key":"31_CR10","series-title":"Technical Report","volume-title":"Rational Interaction as the Basis for Communication","author":"P. 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":"31_CR11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1207\/s15516709cog0303_1","volume":"3","author":"P. 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":"31_CR12","volume-title":"The Intentional Stance","author":"D. C. Dennett","year":"1987","unstructured":"Daniel C. Dennett. The Intentional Stance. MIT Press, Cambridge, MA, 1987."},{"key":"31_CR13","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":"31_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. 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":"31_CR15","unstructured":"Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. A nonstandard approach to the logical omniscience problem. In Proceedings of the Third Conference on Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann Inc., 1990."},{"key":"31_CR16","volume-title":"Annual Review of Computer Science, Vol 2","author":"M. 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":"31_CR17","first-page":"175","volume":"12","author":"B. 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"},{"issue":"XIII","key":"31_CR18","first-page":"239","volume":"LXXXV","author":"K. Hans","year":"1984","unstructured":"Hans Kamp. Context, thought and communication. The Proceedings of the Aristotelian Society, New Series, LXXXV(XIII):239\u2013261, 1984\/1985.","journal-title":"The Proceedings of the Aristotelian Society, New Series"},{"key":"31_CR19","first-page":"1","volume-title":"Truth, Interpretation and Information","author":"K. Hans","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, pages 1\u201341, Foris Publications, Dordrecht, The Netherlands, 1984."},{"key":"31_CR20","unstructured":"Kurt Konolige. A Deduction Model of Belief. Morgan Kaufmann, Inc, 1986."},{"key":"31_CR21","volume-title":"Meaning and Use","author":"S. Kripke","year":"1979","unstructured":"Saul Kripke. A puzzle about belief. In A. Margalit, editor, Meaning and Use, Dordrecht Reidel, Dordrecht, The Netherlands, 1979."},{"key":"31_CR22","unstructured":"Hector Levesque. A logic of implicit and explicit belief. In AAAI-84, 1984."},{"key":"31_CR23","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1207\/s15516709cog1102_4","volume":"11","author":"D. 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":"31_CR24","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D. 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":"31_CR25","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":"31_CR26","series-title":"Technical Report","volume-title":"An Application of Default Logic to Speech Act Theory","author":"P. Raymond","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":"31_CR27","unstructured":"Martha E. Pollack. Inferring Domain Plans in Question Answering. PhD thesis, University of Pennsylvania, 1986."},{"key":"31_CR28","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":"31_CR29","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173452","volume-title":"Intentionality: An essay in the Philosophy of Mind","author":"J. R. Searle","year":"1983","unstructured":"John R. Searle. Intentionality: An essay in the Philosophy of Mind. Cambridge University Press, Cambridge, UK, 1983."},{"key":"31_CR30","unstructured":"Munindar P. Singh. Group ability and structure. In 2nd European Workshop on the Modeling of Autonomous Agents in a Multi-Agent World, August 1990."},{"key":"31_CR31","unstructured":"Munindar P. Singh. Group intentions. In 10th Workshop on Distributed Artificial Intelligence, October 1990."},{"key":"31_CR32","unstructured":"Munindar P. Singh. Towards a theory of situated know-how. In 9th European Conference on Artificial Intelligence, August 1990."},{"key":"31_CR33","volume-title":"Inquiry","author":"R. C. Stalnaker","year":"1984","unstructured":"Robert C. Stalnaker. Inquiry. MIT Press, Cambridge, MA, 1984."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T07:12:45Z","timestamp":1549350765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018460"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0018460","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}