{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:42:41Z","timestamp":1771026161187,"version":"3.50.1"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030004606","type":"print"},{"value":"9783030004613","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00461-3_23","type":"book-chapter","created":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T20:13:01Z","timestamp":1536610381000},"page":"333-347","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Approach to Embedding First-Principles Planning in BDI Agent Systems"],"prefix":"10.1007","author":[{"given":"Mengwei","family":"Xu","sequence":"first","affiliation":[]},{"given":"Kim","family":"Bauters","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"McAreavey","sequence":"additional","affiliation":[]},{"given":"Weiru","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,11]]},"reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"AS 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, vol. 1038, pp. 42\u201355. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0031845"},{"key":"23_CR2","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: The 8th International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufman (2002)"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/s10458-010-9130-9","volume":"23","author":"S Sardina","year":"2011","unstructured":"Sardina, S., Padgham, L.: A BDI agent programming language with failure handling, declarative goals, and planning. Auton. Agents Multi-Agent Syst. 23, 18\u201370 (2011)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"23_CR4","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations (International Book Series)","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/0-387-26350-0_7","volume-title":"Multi-Agent Programming","author":"M Winikoff","year":"2005","unstructured":"Winikoff, M.: Jack\u2122: intelligent agents: an industrial strength platform. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming. Multiagent Systems, Artificial Societies, and Simulated Organizations (International Book Series), vol. 15, pp. 175\u2013193. Springer, Boston (2005). https:\/\/doi.org\/10.1007\/0-387-26350-0_7"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcJomi, J.F., Wooldridge, M.: Programming Multi-Agent Systems in Agentspeak Using Jason, vol. 8. John Wiley & Sons, Chichester (2007)","DOI":"10.1002\/9780470061848"},{"key":"23_CR6","series-title":"Intelligent Systems Reference Library","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-33323-1_2","volume-title":"Multiagent Systems and Applications","author":"A Pokahr","year":"2013","unstructured":"Pokahr, A., Braubach, L., Jander, K.: The Jadex project: programming model. In: Ganzha, M., Jain, L. (eds.) Multiagent Systems and Applications. Intelligent Systems Reference Library, vol. 45, pp. 21\u201353. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-33323-1_2"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/MCS.2003.1200249","volume":"23","author":"NR Jennings","year":"2003","unstructured":"Jennings, N.R., Bussmann, S.: Agent-based control systems. IEEE Control Syst. 23, 61\u201373 (2003)","journal-title":"IEEE Control Syst."},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"1743","DOI":"10.1109\/TPWRS.2007.908471","volume":"22","author":"SD McArthur","year":"2007","unstructured":"McArthur, S.D., et al.: Multi-agent systems for power engineering applications \u2013 Part I: concepts, approaches, and technical challenges. IEEE Trans. Power Syst. 22, 1743\u20131752 (2007)","journal-title":"IEEE Trans. Power Syst."},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888913000337","volume":"30","author":"F Meneguzzi","year":"2015","unstructured":"Meneguzzi, F., De Silva, L.: Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning. Knowl. Eng. Rev. 30, 1\u201344 (2015)","journal-title":"Knowl. Eng. Rev."},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-77564-5_5","volume-title":"Declarative Agent Languages and Technologies V","author":"F Meneguzzi","year":"2008","unstructured":"Meneguzzi, F., Luck, M.: Composing high-level plans for declarative agent programming. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS (LNAI), vol. 4897, pp. 69\u201385. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-77564-5_5"},{"key":"23_CR11","unstructured":"De Silva, L., Sardina, S., Padgham, L.: First principles planning in BDI systems. In: The 8th International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems, vol. 2, pp. 1105\u20131112 (2009)"},{"key":"23_CR12","series-title":"Smart Innovation, Systems and Technologies","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-26860-6_2","volume-title":"Combinations of Intelligent Methods and Applications","author":"K Bauters","year":"2016","unstructured":"Bauters, K., et al.: Probabilistic Planning in agentspeak using the POMDP framework. In: Hatzilygeroudis, I., Palade, V., Prentzas, J. (eds.) Combinations of Intelligent Methods and Applications. SIST, vol. 46, pp. 19\u201337. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-26860-6_2"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Sardina, S., Padgham, L.: Goals in the context of BDI plan failure and planning. In: The 6th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 16\u201323 (2007)","DOI":"10.1145\/1329125.1329134"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11493402_1","volume-title":"Declarative Agent Languages and Technologies II","author":"MB 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, I. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 1\u201318. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11493402_1"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Keller, T., Eyerich, P.: PROST: probabilistic planning based on UCT. In: The 22nd International Conference on Automated Planning and Scheduling (2012)","DOI":"10.1609\/icaps.v22i1.13518"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The FF planning system: fast plan generation through heuristic search. J. Artif. Intell. Res. 14, 253\u2013302 (2001)","journal-title":"J. Artif. Intell. Res."},{"key":"23_CR17","unstructured":"McDermott, D.: The AIPS-98 planning competition committee. PDDL \u2013 The Planning Domain Definition Language. (1998)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/10720246_22","volume-title":"Recent Advances in AI Planning","author":"O Despouys","year":"2000","unstructured":"Despouys, O., Ingrand, F.F.: Propice-Plan: toward a unified framework for planning and execution. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS (LNAI), vol. 1809, pp. 278\u2013293. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/10720246_22"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-63912-8_92","volume-title":"Recent Advances in AI Planning","author":"J Koehler","year":"1997","unstructured":"Koehler, J., Nebel, B., Hoffmann, J., Dimopoulos, Y.: Extending planning graphs to an ADL subset. In: Steel, S., Alami, R. (eds.) ECP 1997. LNCS, vol. 1348, pp. 273\u2013285. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63912-8_92"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/64.180407","volume":"7","author":"FF Ingrand","year":"1992","unstructured":"Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert 7, 34\u201344 (1992)","journal-title":"IEEE Expert"},{"key":"23_CR21","unstructured":"Cla\u00dfen, J., Eyerich, P., Lakemeyer, G., Nebel, B.: Towards an integration of Golog and planning. In: The 20th International Joint Conferences on Artificial Intelligence, pp. 1846\u20131851 (2007)"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/B:AMAI.0000031197.13122.aa","volume":"41","author":"S Sardina","year":"2004","unstructured":"Sardina, S., Giacomo, G.D., Lesp\u00e9rance, Y., Levesque, H.J.: On the semantics of deliberation in indiGolog-from theory to implementation. Ann. Math. Artif. Intell. 41, 259\u2013299 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Killough, R., Bauters, K., McAreavey, K., Liu, W., Hong, J.: Risk-aware planning in BDI agents. In: The 8th International Conference on Agents and Artificial Intelligence, pp. 322\u2013329 (2016)","DOI":"10.5220\/0005703103220329"},{"key":"23_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1167","DOI":"10.1007\/978-3-540-30549-1_118","volume-title":"AI 2004: Advances in Artificial Intelligence","author":"L Silva de","year":"2004","unstructured":"de Silva, L., Padgham, L.: A comparison of BDI based real-time reasoning and HTN based planning. In: Webb, G.I., Yu, X. (eds.) AI 2004. LNCS (LNAI), vol. 3339, pp. 1167\u20131173. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30549-1_118"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Simari, G.I., Parsons, S.: On the relationship between MDPs and the BDI architecture. In: the 5th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1041\u20131048. ACM (2006)","DOI":"10.1145\/1160633.1160818"},{"key":"23_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-45634-1_15","volume-title":"Foundations and Applications of Multi-Agent Systems","author":"M Schut","year":"2002","unstructured":"Schut, M., Wooldridge, M., Parsons, S.: On partially observable MDPs and BDI models. In: d\u2019Inverno, M., Luck, M., Fisher, M., Preist, C. (eds.) Foundations and Applications of Multi-Agent Systems. LNCS (LNAI), vol. 2403, pp. 243\u2013259. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45634-1_15"},{"key":"23_CR27","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-44927-7_5","volume-title":"PRIMA 2013: Principles and Practice of Multi-Agent Systems","author":"Y Chen","year":"2013","unstructured":"Chen, Y., Hong, J., Liu, W., Godo\u00eds, L., Sierra, C., Loughlin, M.: Incorporating PGMs into a BDI architecture. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds.) PRIMA 2013. LNCS (LNAI), vol. 8291, pp. 54\u201369. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-44927-7_5"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00461-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,5]],"date-time":"2023-09-05T00:40:37Z","timestamp":1693874437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00461-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030004606","9783030004613"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00461-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}