{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T07:03:28Z","timestamp":1773903808371,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031166167","type":"print"},{"value":"9783031166174","type":"electronic"}],"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-031-16617-4_3","type":"book-chapter","created":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T07:03:42Z","timestamp":1665731022000},"page":"28-43","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Collaborative Human-Agent Planning for\u00a0Resilience"],"prefix":"10.1007","author":[{"given":"Ronal","family":"Singh","sequence":"first","affiliation":[]},{"given":"Tim","family":"Miller","sequence":"additional","affiliation":[]},{"given":"Darryn","family":"Reid","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,15]]},"reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MIS.2004.1265878","volume":"19","author":"M Ai-Chang","year":"2004","unstructured":"Ai-Chang, M., et al.: Mapgen: mixed-initiative planning and scheduling for the mars exploration rover mission. IEEE Intell. Syst. 19(1), 8\u201312 (2004)","journal-title":"IEEE Intell. Syst."},{"issue":"4","key":"3_CR2","first-page":"105","volume":"35","author":"S Amershi","year":"2014","unstructured":"Amershi, S., Cakmak, M., Knox, W.B., Kulesza, T.: Power to the people: The role of humans in interactive machine learning. AI Mag. 35(4), 105\u2013120 (2014)","journal-title":"AI Mag."},{"key":"3_CR3","unstructured":"Anderson, D., et al.: Human-guided simple search. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence, pp. 209\u2013216 (2000)"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F Bacchus","year":"2000","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artif. Intell. 116(1), 123\u2013191 (2000)","journal-title":"Artif. Intell."},{"key":"3_CR5","unstructured":"Baier, J.A., Fritz, C., McIlraith, S.A.: Exploiting procedural domain control knowledge in state-of-the-art planners. In: ICAPS, pp. 26\u201333 (2007)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Camacho, A., Baier, J.A., Muise, C., McIlraith, S.A.: Finite LTL synthesis as planning. In: Twenty-Eighth International Conference on Automated Planning and Scheduling (2018)","DOI":"10.24963\/ijcai.2018\/848"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Camacho, A., Muise, C.J., Baier, J.A., McIlraith, S.A.: LTL realizability via safety and reachability games. In: IJCAI. pp. 4683\u20134691 (2018)","DOI":"10.24963\/ijcai.2018\/651"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Camacho, A., Triantafillou, E., Muise, C., Baier, J.A., McIlraith, S.A.: Non-deterministic planning with temporally extended goals: LTL over finite and infinite traces. In: AAAI (2017)","DOI":"10.1609\/aaai.v31i1.11058"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Coles, A.J., Coles, A.: LPRPG-P: Relaxed plan heuristics for planning with preferences. In: Proceeedings of the 21st International Conference on Automated Planning and Scheduling, pp. 26\u201333. AAAI Press (2011)","DOI":"10.1609\/icaps.v21i1.13445"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1613\/jair.2077","volume":"28","author":"A Coles","year":"2007","unstructured":"Coles, A., Smith, A.: Marvin: a heuristic search planner with online macro-action learning. J. Artif. Intell. Res. (JAIR) 28, 119\u2013156 (2007)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., De Masellis, R., Montali, M.: Reasoning on LTL on finite traces: Insensitivity to infiniteness. In: Twenty-Eighth AAAI Conference on Artificial Intelligence (2014)","DOI":"10.1609\/aaai.v28i1.8872"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Iocchi, L., Favorito, M., Patrizi, F.: Foundations for restraining bolts: Reinforcement learning with ltlf\/ldlf restraining specifications. In: Proceedings of the International Conference on Automated Planning and Scheduling, vol. 29, pp. 128\u2013136 (2019)","DOI":"10.1609\/icaps.v29i1.3549"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Rubin, S.: Automata-theoretic foundations of fond planning for LTLf and LDLf goals. In: IJCAI, pp. 4729\u20134735 (2018)","DOI":"10.24963\/ijcai.2018\/657"},{"key":"3_CR14","unstructured":"De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Twenty-Third International Joint Conference on Artificial Intelligence (2013)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Faruq, F., Lacerda, B., Hawes, N., Parker, D.: Simultaneous task allocation and planning under uncertainty. In: 2018 IEEE\/RSJ International Conference on Intelligent Robots and Systems, IROS 2018, pp. 3559\u20133564 (2018)","DOI":"10.1109\/IROS.2018.8594404"},{"key":"3_CR16","unstructured":"Ferguson, G., Allen, J.F., Miller, B.W., et al.: TRAINS-95: Towards a mixed-initiative planning assistant. In: AIPS, pp. 70\u201377 (1996)"},{"key":"3_CR17","unstructured":"Ferguson, G., Allen, J.F., et al.: TRIPS: An integrated intelligent problem-solving assistant. In: AAAI\/IAAI, pp. 567\u2013572 (1998)"},{"issue":"1","key":"3_CR18","first-page":"1","volume":"8","author":"H Geffner","year":"2013","unstructured":"Geffner, H., Bonet, B.: A concise introduction to models and methods for automated planning. Synth. Lect. Artif. Intell. Mach. Learn. 8(1), 1\u2013141 (2013)","journal-title":"Synth. Lect. Artif. Intell. Mach. Learn."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Hayes, B., Scassellati, B.: Autonomously constructing hierarchical task networks for planning and human-robot collaboration. In: IEEE International Conference on Robotics and Automation, pp. 5469\u20135476. IEEE (2016)","DOI":"10.1109\/ICRA.2016.7487760"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1613\/jair.1705","volume":"26","author":"M Helmert","year":"2006","unstructured":"Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. 26, 191\u2013246 (2006)","journal-title":"J. Artif. Intell. Res."},{"issue":"1\u20132","key":"3_CR21","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1504\/IJCIS.2016.075869","volume":"12","author":"E Ibanez","year":"2016","unstructured":"Ibanez, E., et al.: Resilience and robustness in long-term planning of the national energy and transportation system. Int. J. Crit. Infrastruct. 12(1\u20132), 82 (2016)","journal-title":"Int. J. Crit. Infrastruct."},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-319-89656-4_6","volume-title":"Adv. Artif. Intell.","author":"R Toro Icarte","year":"2018","unstructured":"Toro Icarte, R., Klassen, T.Q., Valenzano, R.A., McIlraith, S.A.: Advice-based exploration in model-based reinforcement learning. In: Bagheri, E., Cheung, J.C.K. (eds.) Canadian AI 2018. LNCS (LNAI), vol. 10832, pp. 72\u201383. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89656-4_6"},{"key":"3_CR23","unstructured":"Kelley, L., Ouimet, M., Croft, B., Gustafson, E., Martinez, L.: An approach to integrating human knowledge into agent-based planning. In: Workshop on Impedance Matching in Cognitive Partnerships at IJCAI-17 (2017). https:\/\/people.eng.unimelb.edu.au\/adrianrp\/COGPARTNER-17\/COGPARTNER-Kelly.pdf"},{"issue":"1","key":"3_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0004-3702(99)00060-0","volume":"113","author":"R Khardon","year":"1999","unstructured":"Khardon, R.: Learning action strategies for planning domains. Artif. Intell. 113(1), 125\u2013148 (1999)","journal-title":"Artif. Intell."},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Kim, J., Banks, C.J., Shah, J.A.: Collaborative planning with encoding of users high-level strategies. In: Proceedings of AAAI (2017)","DOI":"10.1609\/aaai.v31i1.10627"},{"issue":"4","key":"3_CR26","first-page":"43","volume":"28","author":"DS Nau","year":"2007","unstructured":"Nau, D.S.: Current trends in automated planning. AI Mag. 28(4), 43 (2007)","journal-title":"AI Mag."},{"key":"3_CR27","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"DS Nau","year":"2003","unstructured":"Nau, D.S., et al.: Shop2: An HTN planning system. J. Artif. Intell. Res. (JAIR) 20, 379\u2013404 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Foundations of Computer Science, 1977, 18th Annual Symposium on, pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"3_CR29","unstructured":"Puterman, M.L.: Markov decision processes: discrete stochastic dynamic programming. John Wiley & Sons (2014)"},{"key":"3_CR30","series-title":"Studies in Systems, Decision and Control","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-319-64816-3_21","volume-title":"Foundations of Trusted Autonomy","author":"DJ Reid","year":"2018","unstructured":"Reid, D.J.: An autonomy interrogative. In: Abbass, H.A., Scholz, J., Reid, D.J. (eds.) Foundations of Trusted Autonomy. SSDC, vol. 117, pp. 365\u2013391. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-64816-3_21"},{"key":"3_CR31","unstructured":"Rosenfeld, A., Agmon, N., Maksimov, O., Azaria, A., Kraus, S.: Intelligent agent supporting human-multi-robot team collaboration. In: Proceedings of the 24th International Conference on Artificial Intelligence, pp. 1902\u20131908. AAAI Press (2015)"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/j.artint.2017.08.005","volume":"252","author":"A Rosenfeld","year":"2017","unstructured":"Rosenfeld, A., Agmon, N., Maksimov, O., Kraus, S.: Intelligent agent supporting human-multi-robot team collaboration. Artif. Intell. 252, 211\u2013231 (2017)","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16617-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,14]],"date-time":"2022-10-14T07:06:20Z","timestamp":1665731180000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16617-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031166167","9783031166174"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16617-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"15 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COINE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","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":"3 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coin2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/coin-workshop.github.io\/coine-2021-london\/","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":"12","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":"9","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":"0","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":"75% - 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":"2","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)"}}]}}