{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:13:45Z","timestamp":1742948025911,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662436448"},{"type":"electronic","value":"9783662436455"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43645-5_45","type":"book-chapter","created":{"date-parts":[[2014,6,27]],"date-time":"2014-06-27T13:25:24Z","timestamp":1403875524000},"page":"433-445","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Ethical Choice in Unforeseen Circumstances"],"prefix":"10.1007","author":[{"given":"Louise","family":"Dennis","sequence":"first","affiliation":[]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[]},{"given":"Marija","family":"Slavkovik","sequence":"additional","affiliation":[]},{"given":"Matt","family":"Webster","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,28]]},"reference":[{"key":"45_CR1","unstructured":"Aldewereld, H., \u00c1lvarez-Napagao, S., Dignum, F., V\u00e1zquez-Salceda, J.: Making norms concrete. In: Proceedings of the AAMAS, pp. 807\u2013814 (2010)"},{"issue":"4","key":"45_CR2","first-page":"15","volume":"28","author":"M Anderson","year":"2007","unstructured":"Anderson, M., Anderson, S.: Machine ethics: creating an ethical intelligent agent. AI Mag. 28(4), 15\u201326 (2007)","journal-title":"AI Mag."},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Anderson, S., Anderson, M.: A prima facie duty approach to machine ethics and its application to elder care. In Human-Robot Interaction in Elder Care (2011)","DOI":"10.1017\/CBO9780511978036.032"},{"issue":"3","key":"45_CR4","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1109\/JPROC.2011.2173265","volume":"100","author":"RC Arkin","year":"2012","unstructured":"Arkin, R.C., Ulam, P., Wagner, A.R.: Moral decision making in autonomous systems: enforcement, moral emotions, dignity, trust, and deception. Proc. IEEE 100(3), 571\u2013589 (2012)","journal-title":"Proc. IEEE"},{"key":"45_CR5","unstructured":"Civil Aviation Authority. CAP 393 Air Navigation: The Order and the Regulations (2010). http:\/\/www.caa.co.uk\/docs\/33\/CAP393.pdf"},{"key":"45_CR6","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"issue":"4","key":"45_CR7","first-page":"25","volume":"29","author":"J Baier","year":"2008","unstructured":"Baier, J., McIlraith, S.: Planning with preferences. AI Mag. 29(4), 25\u201336 (2008)","journal-title":"AI Mag."},{"key":"45_CR8","volume-title":"An Introduction to the Principles of Morals and Legislation","author":"J Bentham","year":"1781","unstructured":"Bentham, J.: An Introduction to the Principles of Morals and Legislation. Clarendon Press, Oxford (1781)"},{"volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","year":"2005","key":"45_CR9","unstructured":"Bordini, R., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005)"},{"issue":"2","key":"45_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/analys\/24.2.33","volume":"24","author":"RM Chisholm","year":"1963","unstructured":"Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24(2), 33\u201336 (1963)","journal-title":"Analysis"},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"Coles, A.J., Coles, A.I., Fox, M., Long, D.: Forward-chaining partial-order planning. In: Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS-10), May 2010","DOI":"10.1609\/icaps.v20i1.13403"},{"key":"45_CR12","unstructured":"Dennis, L.A., Farwer, B.: Gwendolen: a BDI language for verifiable agents. In: Proceedings of the AISB Workshop on Logic and the Simulation of Interaction and Reasoning. AISB, 2008"},{"issue":"1","key":"45_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-011-0088-x","volume":"19","author":"LA Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. 19(1), 5\u201363 (2012)","journal-title":"Autom. Softw. Eng."},{"key":"45_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10462-007-9049-y","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."},{"key":"45_CR15","unstructured":"Lincoln, N., Veres, S.M., Dennis, L.A., Fisher, M., Lisitsa, A.: An agent based framework for adaptive control and decision making of autonomous vehicles. In Proceedings of IFAC Workshop on Adaptation and Learning in Control and Signal Processing (2010)"},{"issue":"4","key":"45_CR16","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MIS.2006.77","volume":"21","author":"T Powers","year":"2006","unstructured":"Powers, T.: Prospects for a Kantian machine. IEEE Intell. Syst. 21(4), 46\u201351 (2006)","journal-title":"IEEE Intell. Syst."},{"key":"45_CR17","unstructured":"Rao, A., Georgeff, M.: BDI agents: from theory to practice. In: Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS), pp. 312\u2013319 (1995)"},{"key":"45_CR18","volume-title":"The Right and the Good","author":"WD Ross","year":"1930","unstructured":"Ross, W.D.: The Right and the Good. Oxford University Press, Oxford (1930)"},{"key":"45_CR19","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","volume":"5","author":"E Sacerdoti","year":"1974","unstructured":"Sacerdoti, E.: Planning in a heirarchy of abstraction spaces. Artif. Intell. 5, 115\u2013135 (1974)","journal-title":"Artif. Intell."},{"key":"45_CR20","doi-asserted-by":"crossref","unstructured":"Sardi\u00f1a, S., Shapiro, S.: Rational action in agent programs with prioritized goals. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 417\u2013424. ACM (2003)","DOI":"10.1145\/860575.860642"},{"key":"45_CR21","doi-asserted-by":"crossref","unstructured":"Tulum, K., Durak, U., Yder, S.K.: Situation aware UAV mission route planning. In: 2009 IEEE Aerospace Conference, pp. 1\u201312, March 2009","DOI":"10.1109\/AERO.2009.4839602"},{"key":"45_CR22","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10676-006-9128-9","volume":"9","author":"M Turilli","year":"2007","unstructured":"Turilli, M.: Ethical protocols design. Ethics Inf. Technol. 9, 49\u201362 (2007)","journal-title":"Ethics Inf. Technol."},{"key":"45_CR23","unstructured":"Visser, S., Thangarajah, J., Harland, J.: Reasoning about preferences in intelligent agent systems. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (2011)"},{"key":"45_CR24","doi-asserted-by":"crossref","unstructured":"Webster, M., Cameron, N., Jump, M., Fisher, M.: Towards certification of autonomous unmanned aircraft using formal model checking and simulation. In: Proceedings of the Infotech@Aerospace, AIAA, pp. 2012\u20132573 (2012)","DOI":"10.2514\/6.2012-2573"},{"key":"45_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-24270-0_17","volume-title":"Computer Safety, Reliability, and Security","author":"M Webster","year":"2011","unstructured":"Webster, M., Fisher, M., Cameron, N., Jump, M.: Formal methods for the certification of autonomous unmanned aircraft systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 228\u2013242. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Towards Autonomous Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43645-5_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T05:14:28Z","timestamp":1676870068000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-43645-5_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662436448","9783662436455"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43645-5_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"28 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}