{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:31:34Z","timestamp":1760707894519},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775638"},{"type":"electronic","value":"9783540775645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-77564-5_5","type":"book-chapter","created":{"date-parts":[[2008,1,16]],"date-time":"2008-01-16T09:43:02Z","timestamp":1200476582000},"page":"69-85","source":"Crossref","is-referenced-by-count":12,"title":["Composing High-Level Plans for Declarative Agent Programming"],"prefix":"10.1007","author":[{"given":"Felipe","family":"Meneguzzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Luck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"5_CR1","first-page":"33","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, Knowledge-Based Diagnosis in Process Engineering\u00a07(6), 33\u201344 (1992)","journal-title":"IEEE Expert, Knowledge-Based Diagnosis in Process Engineering"},{"issue":"1-2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/B:AGNT.0000019688.11109.19","volume":"9","author":"M. d\u2019Inverno","year":"2004","unstructured":"d\u2019Inverno, M., Luck, M., Georgeff, M., Kinny, D., Wooldridge, M.: The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems\u00a09(1-2), 5\u201353 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","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: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1145\/860575.860639","volume-title":"Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems","author":"B. Riemsdijk van","year":"2003","unstructured":"van Riemsdijk, B., van der Hoek, W., Meyer, J.J.C.: Agent programming in dribble: from beliefs to goals using plans. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 393\u2013400. ACM Press, New York (2003)"},{"key":"5_CR5","volume-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Multi-Agent Programming: Languages, Platforms and Applications. In: Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015, Springer, Heidelberg (2005)"},{"key":"5_CR6","unstructured":"Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Proceedings of the First International Conference on Multiagent Systems, San Francisco, pp. 312\u2013319 (1995)"},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1093\/logcom\/8.3.233","volume":"8","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Luck, M.: Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation\u00a08(3), 233\u2013260 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR8","unstructured":"Georgeff, M.P., Ingrand, F.F.: Monitoring and control of spacecraft systems using procedural reasoning. In: Proceedings of the Space Operations and Robotics Workshop, Houston, USA (1989)"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research\u00a020, 61\u2013124 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"3-4","key":"5_CR10","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02(3-4), 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Thangarajah, J., Harland, J., Morley, D., Yorke-Smith, N.: Aborting tasks in BDI agents. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 8\u201315 (2007)","DOI":"10.1145\/1329125.1329133"},{"key":"5_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: Bdi agent programming in agentspeak using jason. In: Toni, F., Torroni, P. (eds.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol.\u00a03900, pp. 143\u2013164. Springer, Heidelberg (2006)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Sardina, S., Padgham, L.: Goals in the context of BDI plan failure and planning. In: Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 16\u201323 (2007)","DOI":"10.1145\/1329125.1329134"},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/0-387-26350-0_1","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"R.H. Bordini","year":"2005","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Vieira, R.: Jason and the golden fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 3\u201337. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(94)90081-7","volume":"69","author":"T. Bylander","year":"1994","unstructured":"Bylander, T.: The computational complexity of propositional STRIPS planning. Artificial Intelligence\u00a069(1-2), 165\u2013204 (1994)","journal-title":"Artificial Intelligence"},{"key":"5_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11961536_9","volume-title":"Declarative Agent Languages and Technologies IV","author":"J.F. H\u00fcbner","year":"2006","unstructured":"H\u00fcbner, J.F., Bordini, R.H., Wooldridge, M.: Programming declarative goals using plan patterns. In: Baldoni, M., Endriss, U. (eds.) DALT 2006. LNCS (LNAI), vol.\u00a04327, pp. 123\u2013140. Springer, Heidelberg (2006)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/1082473.1082494","volume-title":"Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems","author":"M.B. Riemsdijk van","year":"2005","unstructured":"van Riemsdijk, M.B., Dastani, M., Meyer, J.J.C.: Semantics of declarative goals in agent programming. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, Utrecht, The Netherlands, pp. 133\u2013140. ACM Press, New York (2005)"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/967900.967916","volume-title":"Proceedings of the 2004 ACM Symposium on Applied Computing","author":"F.R. Meneguzzi","year":"2004","unstructured":"Meneguzzi, F.R., Zorzo, A.F., M\u00f3ra, M.D.C.: Propositional planning in BDI agents. In: Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia, Cyprus, pp. 58\u201363. ACM Press, New York (2004)"},{"key":"5_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-49057-4_2","volume-title":"Intelligent Agents V. Agents Theories, Architectures, and Languages","author":"M.d.C. M\u00f3ra","year":"1999","unstructured":"M\u00f3ra, M.d.C., Lopes, J.G.P., Vicari, R.M., Coelho, H.: BDI models and systems: Bridging the gap. In: Rao, A.S., Singh, M.P., M\u00fcller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol.\u00a01555, pp. 11\u201327. Springer, Heidelberg (1999)"},{"key":"5_CR20","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":"5_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-540-25932-9_7","volume-title":"Declarative Agent Languages and Technologies","author":"D. Ancona","year":"2004","unstructured":"Ancona, D., Mascardi, V.: Coo-BDI: Extending the BDI Model with Cooperativity. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 109\u2013134. Springer, Heidelberg (2004)"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1145\/1160633.1160813","volume-title":"Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems","author":"S. Sardina","year":"2006","unstructured":"Sardina, S., de Silva, L., Padgham, L.: Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1001\u20131008. ACM Press, New York (2006)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Walczak, A., Braubach, L., Pokahr, A., Lamersdorf, W.: Augmenting BDI Agents with Deliberative Planning Techniques. In: Programming Multi-Agent Systems, 4th International Workshop. LNCS, vol.\u00a04411, pp. 113\u2013127 (2006)","DOI":"10.1007\/978-3-540-71956-4_7"},{"key":"5_CR24","unstructured":"Ancona, D., Mascardi, V., H\u00fcbner, J.F., Bordini, R.H.: Coo-agentspeak: Cooperation in agentspeak through plan exchange. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 696\u2013705 (2004)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77564-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T20:23:26Z","timestamp":1557174206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77564-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540775638","9783540775645"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77564-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}