{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:29:32Z","timestamp":1725542972186},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642113543"},{"type":"electronic","value":"9783642113550"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11355-0_8","type":"book-chapter","created":{"date-parts":[[2010,1,9]],"date-time":"2010-01-09T15:16:18Z","timestamp":1263050178000},"page":"119-136","source":"Crossref","is-referenced-by-count":2,"title":["Prioritized Goals and Subgoals in a Logical Account of Goal Change \u2013 A Preliminary Report"],"prefix":"10.1007","author":[{"given":"Shakil M.","family":"Khan","sequence":"first","affiliation":[]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2-3","key":"8_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is Choice with Commitment. Artificial Intelligence\u00a042(2-3), 213\u2013361 (1990)","journal-title":"Artificial Intelligence"},{"key":"8_CR2","unstructured":"Sadek, M.D.: A Study in the Logic of Intention. In: Third Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR&R 1992), Cambridge, MA, pp. 462\u2013473 (1992)"},{"key":"8_CR3","unstructured":"Konolige, K., Pollack, M.E.: A Representationalist Theory of Intention. In: Thirteenth Intl. J. Conf. on Artificial Intelligence (IJCAI 1993), Chamb\u00e9ry, France, pp. 390\u2013395 (1993)"},{"key":"8_CR4","unstructured":"Singh, M.P.: Multiagent Systems \u2013 A Theoretical Framework for Intentions, Know-How, and Communications. LNCS (LNAI), vol.\u00a0799. Springer, Heidelberg (1994)"},{"key":"8_CR5","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.J.: Goals and Rational Action in the Situation Calculus - A Preliminary Report. In: Working Notes of the AAAI Fall Symposium on Rational Agency: Concepts, Theories, Models, and Applications, Cambridge, MA, November 1995, pp. 117\u2013122 (1995)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Sardina, S., Shapiro, S.: Rational Action in Agent Programs with Prioritized Goals. In: Second Intl. J. Conf. on Autonomous Agents and Multi-Agent Sys (AAMAS 2003), Melbourne, Australia, pp. 417\u2013424 (2003)","DOI":"10.1145\/860575.860642"},{"key":"8_CR7","unstructured":"Shapiro, S., Brewka, G.: Dynamic Interactions Between Goals and Beliefs. In: Twentieth Intl. J. Conf. on Artificial Intelligence (IJCAI 2007), India, pp. 2625\u20132630 (2007)"},{"key":"8_CR8","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: Eighth Intl. Conf. on Principles and Knowledge Representation and Reasoning (KR&R 2002), Toulouse, France, pp. 470\u2013481 (2002)"},{"volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","year":"2005","key":"8_CR9","unstructured":"Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)"},{"key":"8_CR10","volume-title":"Intentions, Plans, and Practical Reason","author":"M.E. Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"key":"8_CR11","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"8_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. DeGiacomo","year":"2000","unstructured":"DeGiacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence\u00a0121, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"issue":"3-4","key":"8_CR14","first-page":"159","volume":"2","author":"H.J. Levesque","year":"1998","unstructured":"Levesque, H.J., Pirri, F., Reiter, R.: Foundations for a Calculus of Situations. Electronic Transactions of AI (ETAI)\u00a02(3-4), 159\u2013178 (1998)","journal-title":"Electronic Transactions of AI (ETAI)"},{"key":"8_CR15","first-page":"319","volume-title":"Formal Theories of the Commonsense World","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C.: A Formal Theory of Knowledge and Action. In: Hobbs, J.R., Moore, R.C. (eds.) Formal Theories of the Commonsense World, pp. 319\u2013358. Ablex, Greenwich (1985)"},{"issue":"1-2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R. Scherl","year":"2003","unstructured":"Scherl, R., Levesque, H.: Knowledge, Action, and the Frame Problem. Artificial Intelligence\u00a0144(1-2), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"8_CR17","first-page":"473","volume-title":"Second Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR&R 1991)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling Rational Agents with a BDI-Architecture. In: Fikes, R., Sandewall, E. (eds.) Second Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR&R 1991), San Mateo, CA, pp. 473\u2013484. Morgan Kaufmann Publishers, San Francisco (1991)"},{"issue":"5","key":"8_CR18","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1093\/logcom\/exm050","volume":"17","author":"S. Shapiro","year":"2007","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.J.: Goal Change in the Situation Calculus. J. of Logic and Computation\u00a017(5), 983\u20131018 (2007)","journal-title":"J. of Logic and Computation"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Sardina, S.: deSilva, L., Padgham, L.: Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach. In: Fifth Intl. J. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS 2006), Hakodate, Japan, pp. 1001\u20131008 (2006)","DOI":"10.1145\/1160633.1160813"},{"key":"8_CR20","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Declarative Agent Languages and Technologies II","author":"M.B. Riemsdijk van","year":"2005","unstructured":"van Riemsdijk, M.B., Dastani, M., Dignum, F., Meyer, J.J.C.: Dynamics of Declarative Goals in Agent Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 1\u201318. Springer, Heidelberg (2005)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.J.: Ch.: Semantics of Declarative Goals in Agent Programming. In: Fourth Int\u2019l J. Conf. on Autonomous Agents and Multiagent Sys. (AAMAS 2005), pp. 133\u2013140 (2005)","DOI":"10.1145\/1082473.1082494"},{"issue":"3","key":"8_CR22","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10458-008-9067-4","volume":"18","author":"M.B. Riemsdijk van","year":"2009","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.J.Ch.: Goals in Conflict: Semantic Foundations of Goals in Agent Programming. International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)\u00a018(3), 471\u2013500 (2009)","journal-title":"International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11355-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T01:57:18Z","timestamp":1558749438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11355-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642113543","9783642113550"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11355-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}