{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:59:11Z","timestamp":1743148751265,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642319143"},{"type":"electronic","value":"9783642319150"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31915-0_1","type":"book-chapter","created":{"date-parts":[[2012,7,12]],"date-time":"2012-07-12T01:25:04Z","timestamp":1342056304000},"page":"3-21","source":"Crossref","is-referenced-by-count":0,"title":["Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)"],"prefix":"10.1007","author":[{"given":"Shakil M.","family":"Khan","sequence":"first","affiliation":[]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","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":"1_CR2","unstructured":"Calvanese, D., De Giacomo, G., Vardi, M.Y.: Reasoning about Actions and Planning in LTL Action Theories. In: Proc. KR 2002, pp. 593\u2013602 (2002)"},{"key":"1_CR3","unstructured":"Clement, B.J., Durfee, E.H.: Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information. In: Proc. AAAI 1999, pp. 495\u2013502 (1999)"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1613\/jair.2158","volume":"28","author":"B.J. Clement","year":"2007","unstructured":"Clement, B.J., Durfee, E.H., Barrett, A.C.: Abstract Reasoning for Planning and Coordination. J. of Artificial Intelligence Research\u00a028, 453\u2013515 (2007)","journal-title":"J. of Artificial Intelligence Research"},{"issue":"3","key":"1_CR5","first-page":"214","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: A Practical Agent Programming Language. J. of AAMAS\u00a016(3), 214\u2013248 (2008)","journal-title":"J. of AAMAS"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. De Giacomo","year":"2000","unstructured":"De Giacomo, 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"},{"key":"1_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"K.V. Hindriks","year":"2001","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent Programming with Declarative Goals. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 228\u2013243. Springer, Heidelberg (2001)"},{"key":"1_CR8","unstructured":"Hindriks, K.V., van der Hoek, W., van Riemsdijk, M.B.: Agent Programming with Temporally Extended Goals. In: Proc. AAMAS 2009, pp. 137\u2013144 (2009)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0004-3702(01)00060-1","volume":"127","author":"J.F. Horty","year":"2001","unstructured":"Horty, J.F., Pollack, M.E.: Evaluating New Options in the Context of Existing Plans. Artificial Intelligence\u00a0127, 199\u2013220 (2001)","journal-title":"Artificial Intelligence"},{"issue":"6","key":"1_CR10","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/64.180407","volume":"7","author":"F.F. Ingrand","year":"1992","unstructured":"Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An Architecture for Real-Time Reasoning and System Control. IEEE Expert\u00a07(6), 34\u201344 (1992)","journal-title":"IEEE Expert"},{"key":"1_CR11","unstructured":"Khan, S.M.: Rational Agents : Prioritized Goals, Goal Dynamics, and Agent Programming Languages with Declarative Goals (in preparation). Ph.D. thesis, York University, Canada (2011)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Khan, S.M., Lesp\u00e9rance, Y.: ECASL: A Model of Rational Agency for Communicating Agents. In: Proc. AAMAS 2005, pp. 762\u2013769 (2005)","DOI":"10.1145\/1082473.1082590"},{"key":"1_CR13","unstructured":"Khan, S.M., Lesp\u00e9rance, Y.: A Logical Framework for Prioritized Goal Change. In: Proc. AAMAS 2010, pp. 283\u2013290 (2010)"},{"key":"1_CR14","unstructured":"Khan, S.M., Lesp\u00e9rance, Y.: Towards a Rational Agent Programming Language with Prioritized Goals. In: Working Notes of DALT VIII, pp. 18\u201333 (2010)"},{"key":"1_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-642-11355-0_8","volume-title":"Declarative Agent Languages and Technologies VII","author":"S.M. Khan","year":"2010","unstructured":"Khan, S.M., Lesp\u00e9rance, Y.: Prioritized Goals and Subgoals in a Logical Account of Goal Change \u2013 A Preliminary Report. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS (LNAI), vol.\u00a05948, pp. 119\u2013136. Springer, Heidelberg (2010)"},{"key":"1_CR16","unstructured":"Khan, S.M., Lesp\u00e9rance, Y.: SR-APL: A Model for a Programming Language for Rational BDI Agents with Prioritized Goals (Extended Abstract). In: Proc. AAMAS 2011, pp. 1251\u20131252 (2011)"},{"issue":"3-4","key":"1_CR17","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":"1_CR18","unstructured":"Pistore, M., Traverso, P.: Planning as Model Checking for Extended Goals in Non-Deterministic Domains. In: Proc. IJCAI 2001, pp. 479\u2013484 (2001)"},{"key":"1_CR19","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Sardi\u00f1a, S., de Silva, L., Padgham, L.: Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach. In: Proc. AAMAS 2006, pp. 1001\u20131008 (2006)","DOI":"10.1145\/1160633.1160813"},{"issue":"1","key":"1_CR22","first-page":"18","volume":"23","author":"S. Sardi\u00f1a","year":"2011","unstructured":"Sardi\u00f1a, S., Padgham, L.: A BDI Agent Programming Language with Failure Recovery, Declarative Goals, and Planning. J. of AAMAS\u00a023(1), 18\u201370 (2011)","journal-title":"J. of AAMAS"},{"issue":"1-2","key":"1_CR23","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.J.: Knowledge, Action, and the Frame Problem. Artificial Intelligence\u00a0144(1-2), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"1_CR24","unstructured":"Shapiro, S., Brewka, G.: Dynamic Interactions Between Goals and Beliefs. In: Proc. IJCAI 2007, pp. 2625\u20132630 (2007)"},{"issue":"5","key":"1_CR25","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":"1_CR26","unstructured":"Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and Avoiding Interference between Goals in Intelligent Agents. In: Proc. IJCAI 2003, pp. 721\u2013726 (2003)"},{"issue":"3","key":"1_CR27","first-page":"471","volume":"18","author":"M.B. van Riemsdijk","year":"2009","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Goals in Conflict: Semantic Foundations of Goals in Agent Programming. J. of AAMAS\u00a018(3), 471\u2013500 (2009)","journal-title":"J. of AAMAS"},{"key":"1_CR28","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: Proc. KR 2002, pp. 470\u2013481 (2002)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31915-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T08:17:32Z","timestamp":1675757852000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31915-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642319143","9783642319150"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31915-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}