{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:20:41Z","timestamp":1742998841000,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030974565"},{"type":"electronic","value":"9783030974572"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-97457-2_19","type":"book-chapter","created":{"date-parts":[[2022,3,9]],"date-time":"2022-03-09T11:03:04Z","timestamp":1646823784000},"page":"332-351","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Implementing Durative Actions with Failure Detection in Gwendolen"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8760-4717","authenticated-orcid":false,"given":"Peter","family":"Stringer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6666-6954","authenticated-orcid":false,"given":"Rafael C.","family":"Cardoso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4610-9533","authenticated-orcid":false,"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1426-1896","authenticated-orcid":false,"given":"Louise A.","family":"Dennis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,3,10]]},"reference":[{"issue":"6","key":"19_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/MIS.2018.111144814","volume":"33","author":"JM Aitken","year":"2018","unstructured":"Aitken, J.M., Veres, S.M., Shaukat, A., Gao, Y., Cucco, E., Dennis, L.A., Fisher, M., Kuo, J.A., Robinson, T., Mort, P.E.: Autonomous nuclear waste management. IEEE Intell. Syst. 33(6), 47\u201355 (2018)","journal-title":"IEEE Intell. Syst."},{"key":"19_CR2","volume-title":"Multi-agent Oriented Programming: Programming Multi-agent Systems Using JaCaMo","author":"O Boissier","year":"2020","unstructured":"Boissier, O., Bordini, R.H., Hubner, J., Ricci, A.: Multi-agent Oriented Programming: Programming Multi-agent Systems Using JaCaMo. MIT Press, Cambridge (2020)"},{"doi-asserted-by":"publisher","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: Semantics for the Jason variant of AgentSpeak (Plan failure and some internal actions). In: ECAI, pp. 635\u2013640 (2010). https:\/\/doi.org\/10.3233\/978-1-60750-606-5-635","key":"19_CR3","DOI":"10.3233\/978-1-60750-606-5-635"},{"issue":"2","key":"19_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-020-09453-y","volume":"34","author":"RH Bordini","year":"2020","unstructured":"Bordini, R.H., El Fallah Seghrouchni, A., Hindriks, K., Logan, B., Ricci, A.: Agent programming in the cognitive era. Auton. Agents Multi-Agent Syst. 34(2), 1\u201331 (2020). https:\/\/doi.org\/10.1007\/s10458-020-09453-y","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"19_CR5","volume-title":"Intentions, Plans, and Practical Reason","author":"ME Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-030-51417-4_10","volume-title":"Engineering Multi-Agent Systems","author":"RC Cardoso","year":"2020","unstructured":"Cardoso, R.C., Dennis, L.A., Fisher, M.: Plan library reconfigurability in BDI agents. In: Dennis, L.A., Bordini, R.H., Lesp\u00e9rance, Y. (eds.) EMAS 2019. LNCS (LNAI), vol. 12058, pp. 195\u2013212. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51417-4_10"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-030-55754-6_20","volume-title":"NASA Formal Methods","author":"RC Cardoso","year":"2020","unstructured":"Cardoso, R.C., Farrell, M., Luckcuck, M., Ferrando, A., Fisher, M.: Heterogeneous verification of an autonomous curiosity rover. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 353\u2013360. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_20"},{"issue":"2","key":"19_CR8","doi-asserted-by":"publisher","first-page":"16","DOI":"10.3390\/computers10020016","volume":"10","author":"RC Cardoso","year":"2021","unstructured":"Cardoso, R.C., Ferrando, A.: A review of agent-based programming for multi-agent systems. Computers 10(2), 16 (2021). https:\/\/doi.org\/10.3390\/computers10020016","journal-title":"Computers"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-030-66412-1_13","volume-title":"Multi-Agent Systems and Agreement Technologies","author":"RC Cardoso","year":"2020","unstructured":"Cardoso, R.C., Ferrando, A., Dennis, L.A., Fisher, M.: An interface for programming verifiable autonomous agents in ROS. In: Bassiliades, N., Chalkiadakis, G., de Jonge, D. (eds.) Multi-Agent Systems and Agreement Technologies, pp. 191\u2013205. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-66412-1_13"},{"issue":"2","key":"19_CR10","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1869397.1869404","volume":"1","author":"M Cirillo","year":"2010","unstructured":"Cirillo, M., Karlsson, L., Saffiotti, A.: Human-aware task-planning: an application to mobile robots. ACM Trans. Intell. Syst. Technol. 1(2), 15 (2010)","journal-title":"ACM Trans. Intell. Syst. Technol."},{"key":"19_CR11","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/0-387-26350-0_2","volume-title":"Multi-Agent Programming","author":"M Dastani","year":"2005","unstructured":"Dastani, M., van Birna Riemsdijk, M., Meyer, J.-J.C.: Programming multi-agent systems in 3APL. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming. MSASSO, vol. 15, pp. 39\u201367. Springer, Boston, MA (2005). https:\/\/doi.org\/10.1007\/0-387-26350-0_2"},{"issue":"3","key":"19_CR12","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/mis.2010.88","volume":"25","author":"L Dennis","year":"2010","unstructured":"Dennis, L., Fisher, M., Lisitsa, A., Lincoln, N., Veres, S.: Satellite control using rational agent programming. IEEE Intell. Syst. 25(3), 92\u201397 (2010). https:\/\/doi.org\/10.1109\/mis.2010.88","journal-title":"IEEE Intell. Syst."},{"unstructured":"Dennis, L.A.: Gwendolen semantics: 2017. Technical Report ULCS-17-001, University of Liverpool, Department of Computer Science (2017)","key":"19_CR13"},{"doi-asserted-by":"publisher","unstructured":"Dennis, L.A.: The MCAPL framework including the agent infrastructure layer and agent Java pathfinder. J. Open Source Softw. 3(24), 617 (2018). https:\/\/doi.org\/10.21105\/joss.00617. The Open Journal","key":"19_CR14","DOI":"10.21105\/joss.00617"},{"doi-asserted-by":"publisher","unstructured":"Dennis, L.A., Fisher, M.: Actions with durations and failures in BDI languages. In: ECAI. pp. 995\u2013996 (2014). https:\/\/doi.org\/10.3233\/978-1-61499-419-0-995","key":"19_CR15","DOI":"10.3233\/978-1-61499-419-0-995"},{"unstructured":"Ferber, J., M\u00fcller, J.P.: Influences and reaction: a model of situated multiagent systems. In: Proceedings of Second International Conference on Multi-Agent Systems (ICMAS-1996), pp. 72\u201379 (1996)","key":"19_CR16"},{"key":"19_CR17","doi-asserted-by":"publisher","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. JAIR 20, 61\u2013124 (2003)","journal-title":"JAIR"},{"issue":"4","key":"19_CR18","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/s10458-013-9238-9","volume":"28","author":"J Harland","year":"2013","unstructured":"Harland, J., Morley, D.N., Thangarajah, J., Yorke-Smith, N.: An operational semantics for the goal life-cycle in BDI agents. Auton. Agents Multi-Agent Syst. 28(4), 682\u2013719 (2013). https:\/\/doi.org\/10.1007\/s10458-013-9238-9","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"1","key":"19_CR19","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10458-006-0014-y","volume":"14","author":"A Helleboogh","year":"2007","unstructured":"Helleboogh, A., Vizzari, G., Uhrmacher, A., Michel, F.: Modeling dynamic environments in multi-agent simulation. Auton. Agents Multi-Agent Syst. 14(1), 87\u2013116 (2007). https:\/\/doi.org\/10.1007\/s10458-006-0014-y","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-0-387-89299-3_4","volume-title":"Multi-Agent Programming","author":"KV Hindriks","year":"2009","unstructured":"Hindriks, K.V.: Programming rational agents in GOAL. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R.H. (eds.) Multi-Agent Programming, pp. 119\u2013157. Springer, Boston, MA (2009). https:\/\/doi.org\/10.1007\/978-0-387-89299-3_4"},{"unstructured":"Hindriks, K.V.: Programming cognitive agents in goal (2021)","key":"19_CR21"},{"issue":"2","key":"19_CR22","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1504\/IJAOSE.2018.094374","volume":"6","author":"B Logan","year":"2018","unstructured":"Logan, B.: An agent programming manifesto. Int. J. Agent-Oriented Softw. Eng. 6(2), 187\u2013210 (2018)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"unstructured":"Mascardi, V., Demergasso, D., Ancona, D.: Languages for programming BDI-style agents: an overview. In: WOA, vol. 2005, pp. 9\u201315 (2005)","key":"19_CR23"},{"key":"19_CR24","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1613\/jair.2269","volume":"31","author":"DS Weld","year":"2008","unstructured":"Weld, D.S.: Planning with durative actions in stochastic domains. JAIR 31, 33\u201382 (2008)","journal-title":"JAIR"},{"unstructured":"Rao, A.S., Georgeff, M.P.: Modeling agents within a BDI-Architecture. In: Proceedings of 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR&R), pp. 473\u2013484. Morgan Kaufmann (1991)","key":"19_CR25"},{"unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR&R), pp. 439\u2013449. Morgan Kaufmann (1992)","key":"19_CR26"},{"issue":"2","key":"19_CR27","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s10458-010-9140-7","volume":"23","author":"A Ricci","year":"2011","unstructured":"Ricci, A., Piunti, M., Viroli, M.: Environment programming in multi-agent systems: an artifact-based perspective. Auton. Agents Multi-Agent Syst. 23(2), 158\u2013192 (2011). https:\/\/doi.org\/10.1007\/s10458-010-9140-7","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"19_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-642-28939-2_7","volume-title":"Programming Multi-Agent Systems","author":"A Ricci","year":"2012","unstructured":"Ricci, A., Santi, A., Piunti, M.: Action and perception in agent programming languages: from exogenous to endogenous environments. In: Collier, R., Dix, J., Nov\u00e1k, P. (eds.) ProMAS 2010. LNCS (LNAI), vol. 6599, pp. 119\u2013138. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28939-2_7"},{"key":"19_CR29","volume-title":"Artificial Intelligence, A Modern Approach","author":"S Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence, A Modern Approach, 2nd edn. Prentice Hall, Hoboken (2003)","edition":"2"},{"issue":"1","key":"19_CR30","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(1), 18\u201370 (2011)","journal-title":"Auton. Agents Multi-Agent Syst."},{"unstructured":"Sierhuis, M.: Modeling and Simulating Work Practice. BRAHMS: a multiagent modeling and simulation language for work system analysis and design. Ph.D. Thesis, SWI, University of Amsterdam, SIKS Dissertation Series No. 2001\u201310 (2001)","key":"19_CR31"},{"key":"19_CR32","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-642-22359-4_18","volume-title":"Computational Logic in Multi-Agent Systems","author":"R Stocker","year":"2011","unstructured":"Stocker, R., Sierhuis, M., Dennis, L., Dixon, C., Fisher, M.: A formal semantics for Brahms. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA 2011. LNCS (LNAI), vol. 6814, pp. 259\u2013274. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22359-4_18"},{"doi-asserted-by":"publisher","unstructured":"Stringer, P., Cardoso, R.C., Huang, X., Dennis, L.A.: Adaptable and verifiable BDI reasoning. In: Cardoso, R.C., Ferrando, A., Briola, D., Menghi, C., Ahlbrecht, T. (eds.) Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, Virtual event, 4th September 2020. Electronic Proceedings in Theoretical Computer Science, vol. 319, pp. 117\u2013125. Open Publishing Association (2020). https:\/\/doi.org\/10.4204\/EPTCS.319.9","key":"19_CR33","DOI":"10.4204\/EPTCS.319.9"},{"key":"19_CR34","first-page":"775","volume":"141","author":"N Troquard","year":"2006","unstructured":"Troquard, N., Vieu, L.: Towards a logic of agency and actions with duration. Front. Artif. Intell. Appl. 141, 775 (2006)","journal-title":"Front. Artif. Intell. Appl."},{"key":"19_CR35","volume-title":"An Introduction to Multiagent Systems","author":"M Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to Multiagent Systems. Wiley, New York (2002)"},{"doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers (1999)","key":"19_CR36","DOI":"10.1007\/978-94-015-9204-8"},{"unstructured":"Younes, H.L.A., Simmons, R.G.: Solving generalized semi-Markov decision processes using continuous phase-type distributions. In: Proceedings of AAAI, p. 742 (2004)","key":"19_CR37"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-97457-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,9]],"date-time":"2022-03-09T11:07:11Z","timestamp":1646824031000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-97457-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030974565","9783030974572"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-97457-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 March 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Engineering Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emas2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/emas2021.in.tu-clausthal.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"74% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}