{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:39:47Z","timestamp":1760708387744},"publisher-location":"Berlin, Heidelberg","reference-count":63,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581079"},{"type":"electronic","value":"9783540484530"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58107-3_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:14:05Z","timestamp":1330269245000},"page":"296-309","source":"Crossref","is-referenced-by-count":14,"title":["Logics of mental attitudes in AI"],"prefix":"10.1007","author":[{"given":"Yoav","family":"Shoham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve B.","family":"Cousins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourr\u00f3n","year":"1985","unstructured":"C. E. Alchourr\u00f3n, P. G\u00e4rdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50:510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0004-3702(80)90042-9","volume":"15","author":"J. F. Allen","year":"1980","unstructured":"J. F. Allen and C. R. Perrault. Analyzing intention in utterances. Artificial Intelligence, 15:143\u2013178, 1980.","journal-title":"Artificial Intelligence"},{"key":"17_CR3","volume-title":"Introduction to deontic logic and the theory of normative systems","author":"L. Aqvist","year":"1987","unstructured":"L. Aqvist. Introduction to deontic logic and the theory of normative systems. Bibliopolis, Napoli, 1987."},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N. D. Belnap","year":"1989","unstructured":"N. D. Belnap and M. Perloff. Seeing to it that: A canonical form of agentives. Theoria, 54:175\u2013199, 1989.","journal-title":"Theoria"},{"key":"17_CR5","unstructured":"A. H. Bond and L. Gasser. Readings in Distributed Artificial Intelligence. Ablex Publishing Corporation, 1988."},{"key":"17_CR6","volume-title":"Technical report 92-1","author":"C. Boutilier","year":"1992","unstructured":"C. Boutilier. Conditional Logics for Default Reasoning and Belief Revision. Technical report 92-1, University of British Columbia, Department of Computer Science Rm 333 \u2014 6356 Agricultural Road Vancouver, B.C. Canada V6T 1Z2, January 1992."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"R. I. Brafman, J.-C. Latombe, Y. Moses, and Y. Shoham. Knowledge as a tool in motion planning under uncertainty. In Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1994 Conference, 1994.","DOI":"10.1016\/B978-1-4832-1453-5.50019-2"},{"key":"17_CR8","volume-title":"Intention, Plans, and Practical Reason","author":"M. E. Bratman","year":"1987","unstructured":"M. E. Bratman. Intention, Plans, and Practical Reason. Harvard University Press, Cambridge, MA, 1987."},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M. E. Bratman","year":"1988","unstructured":"M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349\u2013355, 1988.","journal-title":"Computational Intelligence"},{"key":"17_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00249673","volume":"17","author":"M. Brown","year":"1988","unstructured":"M. Brown. On the logic of ability. Journal of Philosophical Logic, 17:1\u201326, 1988.","journal-title":"Journal of Philosophical Logic"},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00211187","volume":"19","author":"M. Brown","year":"1990","unstructured":"M. Brown. Action and ability. Journal of Philosophical Logic, 19:95\u2013114, 1990.","journal-title":"Journal of Philosophical Logic"},{"key":"17_CR12","unstructured":"N. F. Carver, V. R. Lesser, and D. L. McCue. Focusing on plan recognition. In Proc. National Conference on Artificial Intelligence (AAAI-84), 1984."},{"key":"17_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9888-5","volume-title":"Thinking and doing: The philosophical foundations of institutions","author":"H. N. Castaneda","year":"1975","unstructured":"H. N. Castaneda. Thinking and doing: The philosophical foundations of institutions. D. Reidel Pub. Co., Dordrecht, Holland, 1975."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"B. F. Chellas. Modal logic. Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"key":"17_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3839.001.0001","volume-title":"Intentions in Communication","author":"P. R. Cohen","year":"1990","unstructured":"P. R. Cohen and H. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication. MIT Press, Cambridge, Ma., 1990."},{"key":"17_CR16","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. R. Cohen","year":"1990","unstructured":"P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213\u2013261, 1990.","journal-title":"Artificial Intelligence"},{"key":"17_CR17","doi-asserted-by":"crossref","first-page":"11","DOI":"10.2307\/2216075","volume":"25","author":"P. R. Cohen","year":"1991","unstructured":"P. R. Cohen and H. J. Levesque. Teamwork. Nous, 25:11\u201324, 1991.","journal-title":"Nous"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"P. R. Cohen, J. Morgan, and M. E. Pollack, editors. Intentions in Communication. MIT Press, 1990.","DOI":"10.7551\/mitpress\/3839.001.0001"},{"key":"17_CR19","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1207\/s15516709cog0303_1","volume":"3","author":"P. R. Cohen","year":"1979","unstructured":"P. R. Cohen and C. R. Perrault. Elements of a plan-based theory of speech acts. Cognitive Science, 3:177\u2013212, 1979.","journal-title":"Cognitive Science"},{"key":"17_CR20","unstructured":"E. Davis. Representation of Comonsense Knowledge.Morgan Kaufmann, 1990."},{"issue":"1","key":"17_CR21","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(83)90015-2","volume":"20","author":"R. Davis","year":"1983","unstructured":"R. Davis and R. G. Smith. Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20(1):63\u2013109, 1983.","journal-title":"Artificial Intelligence"},{"key":"17_CR22","unstructured":"E. H. Durfee and T. A. Montgomery. A hierarchical protocol for coordinating multiagent behaviors. In Proc. National Conference on Artificial Intelligence (AAAI-90). AAAI, 1990."},{"volume-title":"Encyclopedia of Philosophy","year":"1967","key":"17_CR23","unstructured":"P. Edwards, editor. Encyclopedia of Philosophy. Macmillan, New York, 1967. Section on Epistemology."},{"key":"17_CR24","unstructured":"D. Elgesem. He would have done it anyway: The logic of agency, ability and opportunity. Stanford University, CSLI, manuscript, 1990."},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning about Knowledge. MIT Press, 1994. (to appear).","DOI":"10.1145\/174652.174658"},{"key":"17_CR26","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R. Fagin","year":"1988","unstructured":"R. Fagin and J. Y. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34:39\u201376, 1988.","journal-title":"Artificial Intelligence"},{"key":"17_CR27","volume-title":"A knowledge-based framework for belief change. Part I: Foundations","author":"N. Friedman","year":"1994","unstructured":"N. Friedman and J. Y. Halpern. A knowledge-based framework for belief change. Part I: Foundations. In R. Fagin, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference, San Mateo, CA, 1994 (to appear). Morgan Kaufmann."},{"key":"17_CR28","volume-title":"Knowledge in Flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors. Knowledge in Flux. Cambridge University Press, Cambridge, UK, 1988."},{"key":"17_CR29","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-011-3488-0_8","volume-title":"Automated Reasoning: Essays in Honor of Woody Bledsoe","author":"M. Gelfond","year":"1991","unstructured":"Michael Gelfond, Vladimir Lifschitz, and Arkady Rabinov. What are the limitations of the situation calculus? In Robert Boyer, editor, Automated Reasoning: Essays in Honor of Woody Bledsoe, pages 167\u2013179. Kluwer Academic, Dordrecht, 1991."},{"key":"17_CR30","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/analys\/23.6.121","volume":"23","author":"E. L. Gettier","year":"1963","unstructured":"E. L. Gettier. Is justified true belief knowledge? Analysis, 23:121\u2013123, 1963.","journal-title":"Analysis"},{"key":"17_CR31","unstructured":"A. J. Grove. Topics in Multi-Agent Epistemic Logic. PhD thesis, Stanford University, Computer Science Department, 1992."},{"key":"17_CR32","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Y. Halpern","year":"1992","unstructured":"J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319\u2013379, 1992.","journal-title":"Artificial Intelligence"},{"key":"17_CR33","unstructured":"J. Hintikka. Knowledge and Belief. Cornell University Press, 1962."},{"key":"17_CR34","unstructured":"J. F. Horty and N. Belnap. The deliberative stit: A study of action, omission, ability, and obligation. Manuscript, Philosophy Dept., Univ. of Maryland, July 1993."},{"key":"17_CR35","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF00413581","volume":"66","author":"A. Jones","year":"1986","unstructured":"A. Jones and I. P\u00f6rn. 'ought\u2019 and \u2018must'. Synthese, 66:89\u201393, 1986.","journal-title":"Synthese"},{"key":"17_CR36","doi-asserted-by":"crossref","unstructured":"H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proc. Second Conference on Knowledge Representation and Reasoning, Boston, MA, 1991.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"17_CR37","unstructured":"H. A. Kautz. A Formal Theory of Plan Recognition. PhD thesis, University of Rochester, 1987."},{"key":"17_CR38","unstructured":"K. Konolige. A Deduction Model of Belief. Pitman \/ Morgan Kaufmann, 1986."},{"key":"17_CR39","unstructured":"K. Konolige and M. E. Pollack. Ascribing plans to agents: Preliminary report. In Proc. 11th International Joint Conference on Artificial Intelligence, pages 924\u2013930, 1989."},{"key":"17_CR40","first-page":"1","volume":"30","author":"W. Lenzen","year":"1978","unstructured":"W. Lenzen. Recent work in epistemic logic. ACTA Phil Fennica, 30:1\u2013137, 1978.","journal-title":"ACTA Phil Fennica"},{"key":"17_CR41","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00205012","volume":"14","author":"W. Lenzen","year":"1979","unstructured":"W. Lenzen. Epistemologische betrachtungen zu (S4, S5). Erkenntnis, 14:33\u201356, 1979.","journal-title":"Erkenntnis"},{"key":"17_CR42","unstructured":"Y. Lesperance. A Formal Theory of Indexical Knowledge and Action. PhD thesis, University of Toronto, 1991. Technical Report CSRI-248."},{"issue":"2","key":"17_CR43","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H. J. Levesque","year":"1987","unstructured":"H. J. Levesque and R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3(2):78\u201393, May 1987.","journal-title":"Computational Intelligence"},{"key":"17_CR44","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1207\/s15516709cog1102_4","volume":"11","author":"D. J. Litman","year":"1987","unstructured":"D. J. Litman and J. F. Allen. A plan recognition model for subdialogues in conversations. Cognitive Science, 11:163\u2013200, 1987.","journal-title":"Cognitive Science"},{"key":"17_CR45","unstructured":"L. T. McCarty. Defeasible deontic reasoning. In Fourth International Workshop on Nonmonotonic Reasoning, pages 139\u2013147, 1992."},{"issue":"3","key":"17_CR46","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1207\/s15516709cog0203_5","volume":"2","author":"D. V. McDermott","year":"1978","unstructured":"D. V. McDermott. Tarskian semantics, or no notation without denotation! Cognitive Science, 2(3):277\u2013282, 1978.","journal-title":"Cognitive Science"},{"key":"17_CR47","doi-asserted-by":"crossref","unstructured":"R. C. Moore. Reasoning about Knowledge and Action. PhD thesis, MIT, 1980.","DOI":"10.1016\/B978-0-934613-03-3.50037-4"},{"key":"17_CR48","doi-asserted-by":"crossref","unstructured":"Y. Moses and Y. Shoham. Belief as defeasible knowledge. Artificial Intelligence, 64, 1993.","DOI":"10.1016\/0004-3702(93)90107-M"},{"issue":"4","key":"17_CR49","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1111\/j.1468-2958.1993.tb00311.x","volume":"19","author":"C. Nass","year":"1993","unstructured":"C. Nass and J. Steuer. Voices, boxes, and sources of messages: Computers and social actors. Human Communication Research, 19(4):504\u2013527, June 1993.","journal-title":"Human Communication Research"},{"key":"17_CR50","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511571299","volume-title":"The cognitive structure of emotions","author":"A. Ortony","year":"1988","unstructured":"A. Ortony, G. L. Clore, and A. Collins. The cognitive structure of emotions. Cambridge University Press, New York, 1988."},{"key":"17_CR51","doi-asserted-by":"crossref","unstructured":"J. Pearl. From conditional oughts to qualitative decision theory. In D. Heckerman and A. Mamdani, editors, Proceedings of the Ninth Conference on Uncertainty in Artificial Intelligence, pages 12\u201320. Morgan Kaufmann Publishers, 1993.","DOI":"10.1016\/B978-1-4832-1451-1.50006-8"},{"key":"17_CR52","doi-asserted-by":"crossref","unstructured":"C.R. Perrault, J.F. Allen, and P.R. Cohen. Speech acts as a basis for understanding dialogue coherence. In Proceedings of the Second Workshop on Theoretical Issues in Natural Language Processing (TINLAP-2), pages 125\u2013132, 1978.","DOI":"10.3115\/980262.980282"},{"key":"17_CR53","unstructured":"J. Pinto and R. Reiter. A temporal situation calculus. In Proc. Second AAAI Workshop on Formalizing Common Sense, 1993."},{"key":"17_CR54","unstructured":"A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In Proc. Second Conference on Knowledge Representation and Reasoning, pages 473\u2013484, 1991."},{"key":"17_CR55","unstructured":"W. S. Reilly and J. Bates. Building emotional agents. Technical Report CMU-CS-92-143, Carnegie Mellon University, 1992."},{"key":"17_CR56","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1146\/annurev.cs.02.060187.001051","volume":"2","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. Nonmonotonic reasoning. Annual Revew of Computer Science, 2:147\u2013186, 1987.","journal-title":"Annual Revew of Computer Science"},{"key":"17_CR57","unstructured":"Y. Shoham. Time for action. In Proc. 11th InternationalJoint Conference on Artificial Intelligence, pages 954\u2013959, 1989."},{"issue":"1","key":"17_CR58","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51\u201392, March 1993.","journal-title":"Artificial Intelligence"},{"key":"17_CR59","doi-asserted-by":"crossref","unstructured":"Y. Shoham and N. Goyal. Temporal reasoning. In H. Shrobe, editor, Exploring Artificial Intelligence. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-67-5.50015-0"},{"key":"17_CR60","unstructured":"Yoav Shoham. Reasoning about Change. The MIT Press, 1988."},{"key":"17_CR61","unstructured":"M. P. Singh. A logic of situated know-how. In Proc. National Conference on Artificial Intelligence (AAAI-91), pages 343\u2013348, 1991."},{"key":"17_CR62","unstructured":"S. R. Thomas. PLACA, An agent oriented programming language. PhD thesis, Stanford University, 1993."},{"key":"17_CR63","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"J. Benthem Van","year":"1983","unstructured":"J. Van Benthem. The Logic of Time. Kluwer Academic Publishers, Boston, Massachusetts, 1983."}],"container-title":["Lecture Notes in Computer Science","Foundations of Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58107-3_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T15:46:20Z","timestamp":1713627980000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58107-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581079","9783540484530"],"references-count":63,"URL":"https:\/\/doi.org\/10.1007\/3-540-58107-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}