{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T14:16:45Z","timestamp":1790518605726,"version":"4.1.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2009,10,8]],"date-time":"2009-10-08T00:00:00Z","timestamp":1254960000000},"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":[[2009,12]]},"DOI":"10.1007\/s10992-009-9116-8","type":"journal-article","created":{"date-parts":[[2009,10,7]],"date-time":"2009-10-07T06:28:43Z","timestamp":1254896923000},"page":"633-647","source":"Crossref","is-referenced-by-count":33,"title":["Logical Theories of Intention and the Database Perspective"],"prefix":"10.1007","volume":"38","author":[{"given":"Yoav","family":"Shoham","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2009,10,8]]},"reference":[{"issue":"2","key":"9116_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.\u00a0E., G\u00e4rdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contractions and revision functions. Journal of Symbolic Logic, 50(2), 510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"9116_CR2","volume-title":"Intention, plans and practical reason","author":"M Bratman","year":"1987","unstructured":"Bratman, M. (1987). Intention, plans and practical reason. Cambridge: Harvard University Press."},{"key":"9116_CR3","volume-title":"Spheres of reason","author":"M Bratman","year":"2009","unstructured":"Bratman, M. (2009). Intention, belief, practical, theoretical. In J.\u00a0Timmerman, J.\u00a0Skorupski, & S.\u00a0Robertson (Eds.), Spheres of reason. Oxford: Oxford University Press."},{"issue":"3","key":"9116_CR4","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"PR Cohen","year":"1990","unstructured":"Cohen, P.\u00a0R., & Levesque, H. (1990). Intention is choice with committment. Artificial Intelligence, 42(3), 213\u2013261.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9116_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J Kleer de","year":"1986","unstructured":"de\u00a0Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence, 28(2), 127\u2013162.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9116_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90061-0","volume":"32","author":"T Dean","year":"1987","unstructured":"Dean, T., & McDermott, D.\u00a0V. (1987). Temporal data base management. Artificial Intelligence, 32(1), 1\u201355.","journal-title":"Artificial Intelligence"},{"key":"9116_CR7","unstructured":"Doyle, J., & Wellman, M.\u00a0P. (1994). Representing preferences as ceteris paribus comparatives. In Proceedings of the AAAI spring symposium on decision-theoretic planning (pp.\u00a069\u201375)."},{"key":"9116_CR8","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1994). Reasoning about knowledge. Cambridge: MIT."},{"key":"9116_CR9","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1613\/jair.506","volume":"10","author":"N Friedman","year":"1999","unstructured":"Friedman, N., & Halpern, J. Y. (1999). Modelling beliefs in dynamic systems. Part II: Revision and update. Journal of Artificial Intelligence Research, 10, 117\u2013167.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9116_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled deductive systems","author":"D Gabbay","year":"1996","unstructured":"Gabbay, D. (1996). Labelled deductive systems. Oxford: Clarendon."},{"key":"9116_CR11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/analys\/23.6.121","volume":"23","author":"EL Gettier","year":"1963","unstructured":"Gettier, E.\u00a0L. (1963). Is justified true belief knowledge? Analysis, 23, 121\u2013123.","journal-title":"Analysis"},{"key":"9116_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel, D., Kozen, D., & Tiuryn, J. (2000). Dynamic logic. Cambridge: MIT."},{"key":"9116_CR13","volume-title":"Change in view","author":"G Harman","year":"1986","unstructured":"Harman, G. (1986). Change in view. Cambridge: MIT."},{"key":"9116_CR14","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1093\/0198238029.003.0003","volume-title":"Reasoning, meaning and mind","author":"G Harman","year":"1999","unstructured":"Harman, G. (1999). Practical reasoning. In Reasoning, meaning and mind (pp.\u00a046\u201374). Oxford: Oxford University Press."},{"key":"9116_CR15","unstructured":"Herzig, A., & Longin, D. (2004). C&l intention revisited. In Proc. KR2004."},{"issue":"2","key":"9116_CR16","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0004-3702(01)00060-1","volume":"127","author":"JF Horty","year":"2001","unstructured":"Horty, J. F., & Pollack, M. E. (2001). Evaluating new options in the context of existing plans. Artificial Intelligence, 127(2), 199\u2013220.","journal-title":"Artificial Intelligence"},{"key":"9116_CR17","unstructured":"Icard, T., Pacuit, E., & Shoham, Y. (2009). A dynamic logic of belief and intention, (Forthcoming)."},{"key":"9116_CR18","volume-title":"Naming and necessity","author":"SA Kripke","year":"1980","unstructured":"Kripke, S.\u00a0A. (1980). Naming and necessity (revised and enlarged edition). Oxford: Blackwell."},{"key":"9116_CR19","doi-asserted-by":"crossref","unstructured":"Lamarre, P., & Shoham, Y. (1994). Knowledge, certainty, belief, and conditionalisation (abbreviated version). In Proceedings of KR (pp.\u00a0415\u2013424).","DOI":"10.1016\/B978-1-4832-1452-8.50134-2"},{"key":"9116_CR20","first-page":"463","volume":"4","author":"JM McCarthy","year":"1969","unstructured":"McCarthy, J.\u00a0M., & Hayes, P.\u00a0J. (1969). Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4, 463\u2013502.","journal-title":"Machine Intelligence"},{"issue":"2","key":"9116_CR21","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D McDermott","year":"1982","unstructured":"McDermott, D. (1982). A temporal logic for reasoning about processes and plans. Cognitive Science, 6(2), 101\u2013155.","journal-title":"Cognitive Science"},{"key":"9116_CR22","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1109\/TPAMI.1983.4767388","volume":"5","author":"DV McDermott","year":"1983","unstructured":"McDermott, D.\u00a0V. (1983). Contexts and data dependencies: A synthesis. IEEE Transactions on Pattern Analysis and Machine Intelligence, 5, 237\u2013246.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"9116_CR23","volume-title":"Handbook of knowledge representation","author":"P Peppas","year":"2007","unstructured":"Peppas, P. (2007). Belief revision. In F.\u00a0van Harmelen, V.\u00a0Lifschitz, & B.\u00a0Porter (Eds.), Handbook of knowledge representation. Amsterdam: Elsevier."},{"key":"9116_CR24","unstructured":"Rao, A. S., & Georgeff, M. P. (1991). Modeling rational agents within a BDI-architecture. In Proceedings of the third conference on knowledge representation and reasoning. Morgan Kaufmann."},{"issue":"3","key":"9116_CR25","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1525\/nclr.2007.10.3.319","volume":"10","author":"PH Robinson","year":"2007","unstructured":"Robinson, P.\u00a0H., & Dubber, M.\u00a0D. (2007). The American model penal code: A brief overview. New Criminal Law Review, 10(3), 319\u2013341.","journal-title":"New Criminal Law Review"},{"key":"9116_CR26","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198503064.001.0001","volume-title":"Change, choice and inference: A study of belief revision and nonmonotonic reasoning. Oxford logic guides","author":"H Rott","year":"2001","unstructured":"Rott, H. (2001). Change, choice and inference: A study of belief revision and nonmonotonic reasoning. Oxford logic guides. Oxford: Oxford University Press."},{"key":"9116_CR27","unstructured":"Roy, O. (2008). Thinking before acting: Intentions, logic, rational choice. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam."},{"issue":"2","key":"9116_CR28","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/s11229-009-9553-5","volume":"169","author":"O Roy","year":"2009","unstructured":"Roy, O. (2009). Intentions and interactive transformations of decision problems. Synthese, 169(2), 335\u2013349.","journal-title":"Synthese"},{"key":"9116_CR29","volume-title":"Handbook of logic in artificial intelligence and logic programming","author":"EJ Sandewall","year":"1994","unstructured":"Sandewall, E.\u00a0J., & Shoham, Y. (1994). Nonmonotonic temporal reasoning. In D.\u00a0Gabbai (Ed.), Handbook of logic in artificial intelligence and logic programming. Amsterdam: Elsevier."},{"issue":"1","key":"9116_CR30","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y Shoham","year":"1993","unstructured":"Shoham, Y. (1993). Agent oriented programming. Journal of Artificial I ntelligence, 60(1), 51\u201392.","journal-title":"Journal of Artificial Intelligence"},{"key":"9116_CR31","unstructured":"van Benthem, J. (1997). Exploring logical dynamics. CSLI, Stanford University."},{"issue":"1","key":"9116_CR32","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","volume":"38","author":"J Benthem van","year":"2008","unstructured":"van Benthem, J., Girard, P., & Roy, O. (2008). Everything else being equal: A modal logic for ceteris paribus preferences. Journal of Philosophical Logic, 38(1), 83\u2013125.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9116_CR33","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/s11229-006-9145-6","volume":"155","author":"W Hoek van der","year":"2007","unstructured":"van der Hoek, W., Jamroga, W., & Wooldridge, M. (2007). Towards a theory of intention revision. Synthese, 155(2), 265\u2013290.","journal-title":"Synthese"},{"issue":"2","key":"9116_CR34","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1093\/jigpal\/11.2.135","volume":"11","author":"W Hoek van der","year":"2003","unstructured":"van\u00a0der Hoek, W., & Wooldridge, M. (2003). Towards a logic of rational agency. Logic Journal of the IGPL, 11(2), 135\u2013160.","journal-title":"Logic Journal of the IGPL"},{"key":"9116_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van\u00a0der Hoek, W., Kooi, B. (2007). Dynamic epistemic logic. New York: Springer."},{"key":"9116_CR36","volume-title":"Action in context","author":"JD Velleman","year":"2008","unstructured":"Velleman, J. D. (2008). What good is a will? In A.\u00a0Leist, & H.\u00a0Baumann (Eds.), Action in context. Berlin: de Gruyter\/Mouton."},{"key":"9116_CR37","first-page":"214","volume-title":"Proceedings conference on theoretical aspects of reasoning about knowledge","author":"F Voorbrak","year":"1990","unstructured":"Voorbrak, F. (1990). Generalized Kripke models for epistemic logic. In Proceedings conference on theoretical aspects of reasoning about knowledge (pp.\u00a0214\u2013228). San Francisco: Morgan Kaufmann."},{"key":"9116_CR38","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780199287482.001.0001","volume-title":"Normativity and the will","author":"RJ Wallace","year":"2006","unstructured":"Wallace, R.\u00a0J. (2006). Normativity and the will. Oxford: Oxford University Press."},{"key":"9116_CR39","first-page":"93","volume":"20","author":"DS Weld","year":"1999","unstructured":"Weld, D.\u00a0S. (1999). Recent advances in AI planning. AI Magazine, 20, 93\u2013123.","journal-title":"AI Magazine"},{"key":"9116_CR40","doi-asserted-by":"crossref","unstructured":"Yaffe, G. (2004). Trying, intending, and attempted crimes. Philosophical Topics, 32(1\u20132).","DOI":"10.5840\/philtopics2004321\/214"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-009-9116-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-009-9116-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-009-9116-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T19:47:48Z","timestamp":1710618468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-009-9116-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,8]]},"references-count":40,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9116"],"URL":"https:\/\/doi.org\/10.1007\/s10992-009-9116-8","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,8]]}}}