{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:01:00Z","timestamp":1768554060029,"version":"3.49.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1023\/a:1018961502002","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"1-34","source":"Crossref","is-referenced-by-count":4,"title":["Introspective and elaborative processes in rational agents"],"prefix":"10.1007","volume":"25","author":[{"suffix":"Jr.","given":"Charles L.","family":"Ortiz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325516_CR1","unstructured":"C.T. Balkanski, Modeling act-type relations in collaborative activity, Technical Report, Harvard University (1990)."},{"key":"325516_CR2","unstructured":"J. Bennett, Events and Their Names (Hackett Publishing Company, 1988)."},{"key":"325516_CR3","unstructured":"M. Bratman, Intentions, Plans, and Practical Reason (Harvard University Press, 1987)."},{"key":"325516_CR4","first-page":"349","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 (1988) 349-355.","journal-title":"Plans and resource-bounded practical reasoning, Computational Intelligence"},{"key":"325516_CR5","doi-asserted-by":"crossref","unstructured":"P. Bretier and M.D. Sadek, A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interation, in: ECAI-96 Workshop on Agent Theories, Architectures, and Languages (1996).","DOI":"10.1007\/BFb0013586"},{"key":"325516_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"B.F. Chellas, Modal Logic: An Introduction (Cambridge University Press, Cambridge, 1980)."},{"key":"325516_CR7","first-page":"213","volume":"42","author":"P. Cohen","year":"1990","unstructured":"P. Cohen and H. Levesque, Intention is choice with commitment, Artificial Intelligence 42 (1990) 213-261.","journal-title":"Intention is choice with commitment, Artificial Intelligence"},{"key":"325516_CR8","volume-title":"Logical Foundations of Artificial Intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"M.R. Genesereth and N.J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, San Mateo, CA, 1987)."},{"issue":"1","key":"325516_CR9","first-page":"269","volume":"86","author":"B.J. Grosz","year":"1996","unstructured":"B.J. Grosz and S. Kraus, Collaborative plans for complex group action, Artificial Intelligence 86(1) (1996) 269-357.","journal-title":"Collaborative plans for complex group action, Artificial Intelligence"},{"key":"325516_CR10","doi-asserted-by":"crossref","unstructured":"B.J. Grosz and S. Kraus, The evolution of SharedPlans, in: Foundations and Theories of Rational Agency, eds. A. Rao and M. Wooldridge (1998).","DOI":"10.1007\/978-94-015-9204-8_10"},{"key":"325516_CR11","unstructured":"M. Hadad, Using sharedplan model in electronic commerce environment, Technical Report, Bar Ilan University, Master's thesis (1997)."},{"key":"325516_CR12","first-page":"169","volume-title":"Foundations of Distributed Artificial Intelligence","author":"A. Haddadi","year":"1996","unstructured":"A. Haddadi and K. Sundermeyer, Belief-desire-intention agent architectures, in: Foundations of Distributed Artificial Intelligence, eds. G.M.P. O'Hare and N.R. Jennings (Wiley, New York, 1996) pp. 169-186."},{"key":"325516_CR13","doi-asserted-by":"crossref","unstructured":"J.Y. Halpern and Y. Moses, A guide to the modal logics of knowledge and belief: a preliminary report, Technical Report, IBM Research Laboratory (1985).","DOI":"10.1007\/978-3-642-82453-1_16"},{"key":"325516_CR14","unstructured":"L. Hunsberger, Making sharedplans more concise and easier to reason about, Technical Report, Harvard University (1997)."},{"key":"325516_CR15","unstructured":"D. Israel, J. Perry and S. Tutiya, Actions and movements, in: Proceedings of the International Joint Conference on Artificial Intelligence (1991) pp. 1060-1065."},{"key":"325516_CR16","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1017\/CBO9780511526664.007","volume-title":"Belif Revision","author":"H. Katsuno","year":"1992","unstructured":"H. Katsuno and A. Mendelzon, On the difference between updating a knowledge base and revising it, in: Belif Revision, ed. P. G\u00e4rdenfors (Cambridge University Press, Cambridge, 1992) pp. 183-203."},{"key":"325516_CR17","unstructured":"K. Konolige and M.E. Pollack, A representationalist theory of intention, in: Thirteenth International Joint Conference on Artificial Intelligence (1993) pp. 390-395."},{"key":"325516_CR18","volume-title":"Logic for Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"R. Kowalski, Logic for Problem Solving (North-Holland, Amsterdam, 1979)."},{"key":"325516_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813313","volume-title":"Pragmatics","author":"S.C. Levinson","year":"1983","unstructured":"S.C. Levinson, Pragmatics (Cambridge University Press, Cambridge, 1983)."},{"key":"325516_CR20","unstructured":"J. McCarthy, Making robots conscious of their mental states, in: Proceedings of the 1995 Workshop on Machine Intelligence (Oxford University)."},{"key":"325516_CR21","unstructured":"C.L. Ortiz, Worlds of change: counterfactual reasoning and causation, Ph.D. dissertation, University of Pennsylvania, Department of Computer and Information Science (1996)."},{"key":"325516_CR22","unstructured":"C.L. Ortiz, A commonsense language for reasoning about causation and action, AI Journal, to appear."},{"issue":"1\u20132","key":"325516_CR23","first-page":"125","volume":"108","author":"C.L. Ortiz","year":"1999","unstructured":"C.L. Ortiz, Explanatory update theory: Applications of counterfactual reasoning to causation, AI Journal 108(1\u20132) (1999) 125-178.","journal-title":"AI Journal"},{"key":"325516_CR24","unstructured":"H. Pasula, Design of a collaborative planning system, Technical Report, Harvard University, Senior Honors thesis (1996)."},{"key":"325516_CR25","unstructured":"M. Pollack, Inferring domain plans in question-answering, Ph.D. dissertation, University of Pennsylvania (1986)."},{"key":"325516_CR26","doi-asserted-by":"crossref","first-page":"513","DOI":"10.2307\/2216076","volume":"25","author":"M. Pollack","year":"1991","unstructured":"M. Pollack, Overloading intentions for efficient practical reasoning, Nous 25 (1991) 513-536.","journal-title":"Nous"},{"key":"325516_CR27","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language","author":"A.D. Rao","year":"1996","unstructured":"A.D. Rao, AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language, Lecture Notes in Artificial Intelligence, Vol. 1038 (Springer, Berlin, 1996)."},{"key":"325516_CR28","unstructured":"A.S. Rao and M.P. Georgeff, BDI Agents: From theory to practice, in: Proceedings of the First International Conference on Multi-agent Systems (1995)."},{"key":"325516_CR29","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/BF00262940","volume":"18","author":"K. Segerberg","year":"1989","unstructured":"K. Segerberg, Bringing it about, Journal of Philosophical Logic 18 (1989) 327-347.","journal-title":"Journal of Philosophical Logic"},{"key":"325516_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"M. Shanahan","year":"1995","unstructured":"M. Shanahan, A circumscriptive calculus of events, Artificial Intelligence 77 (1995) 249-284.","journal-title":"Artificial Intelligence"},{"key":"325516_CR31","unstructured":"Y. Shoham, Agent-oriented programming, Technical Report STAN-CS-90-1335, Stanford University, Computer Science Department (1990)."},{"key":"325516_CR32","volume-title":"Logic and Information Flow","year":"1994","unstructured":"J. van Eijck and A. Visser, eds., Logic and Information Flow (MIT Press, Cambridge, MA, 1994)."},{"key":"325516_CR33","unstructured":"M. Winslett, Reasoning about actions using a possible models approach, in: Proceedings of the National Conference on Artificial Intelligence (1988) pp. 89-93."},{"key":"325516_CR34","first-page":"269","volume-title":"Foundations of Distributed Artificial Intelligence","author":"M. Wooldridge","year":"1996","unstructured":"M. Wooldridge, Temporal belief logics for modeling distributed artificial intelligence systems, in: Foundations of Distributed Artificial Intelligence, eds. G.M.P. O'Hare and N.R. Jennings (Wiley, New York, 1996) pp. 269-286."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018961502002.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018961502002\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018961502002.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:43:23Z","timestamp":1747547003000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018961502002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":34,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["325516"],"URL":"https:\/\/doi.org\/10.1023\/a:1018961502002","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}