{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:54:58Z","timestamp":1743015298119,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319234847"},{"type":"electronic","value":"9783319234854"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-23485-4_41","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T16:07:15Z","timestamp":1440432435000},"page":"414-422","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Logic Programming Applied to Machine Ethics"],"prefix":"10.1007","author":[{"given":"Ari","family":"Saptawijaya","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"41_CR1","unstructured":"Anderson, M., Anderson, S.L.: EthEl: Toward a principled ethical eldercare robot. In: Procs. AAAI Fall 2008 Symposium on AI in Eldercare (2008)"},{"issue":"4","key":"41_CR2","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MIS.2006.82","volume":"21","author":"S Bringsjord","year":"2006","unstructured":"Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intelligent Systems 21(4), 38\u201344 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"Cushman, F., Young, L., Greene, J.D.: Multi-system moral psychology. In: Doris, J.M. (ed.) The Moral Psychology Handbook. Oxford University Press (2010)","DOI":"10.1093\/acprof:oso\/9780199582143.003.0003"},{"issue":"4","key":"41_CR4","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1016\/j.jal.2006.03.010","volume":"5","author":"P Dell\u2019Acqua","year":"2007","unstructured":"Dell\u2019Acqua, P., Pereira, L.M.: Preferential theory revision. Journal of Applied Logic 5(4), 586\u2013601 (2007)","journal-title":"Journal of Applied Logic"},{"key":"41_CR5","first-page":"5","volume":"5","author":"P Foot","year":"1967","unstructured":"Foot, P.: The problem of abortion and the doctrine of double effect. Oxford Review 5, 5\u201315 (1967)","journal-title":"Oxford Review"},{"issue":"1","key":"41_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s10676-006-9134-y","volume":"9","author":"J-G Ganascia","year":"2007","unstructured":"Ganascia, J.-G.: Modelling ethical rules of lying with answer set programming. Ethics and Information Technology 9(1), 39\u201347 (2007)","journal-title":"Ethics and Information Technology"},{"key":"41_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1007\/978-3-540-89982-2_68","volume-title":"Logic Programming","author":"HT Anh","year":"2008","unstructured":"Anh, H.T., Kencana Ramli, C.D.P., Dam\u00e1sio, C.V.: An implementation of extended P-Log using XASP. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 739\u2013743. Springer, Heidelberg (2008)"},{"key":"41_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-28717-6_18","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"TA Han","year":"2012","unstructured":"Han, T.A., Saptawijaya, A., Pereira, L.M.: Moral reasoning under uncertainty. In: Bj\u00f8rner, N., Voronkov, A. (eds.) LPAR-18 2012. LNCS, vol. 7180, pp. 212\u2013227. Springer, Heidelberg (2012)"},{"issue":"1","key":"41_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1468-0017.2006.00297.x","volume":"22","author":"M Hauser","year":"2007","unstructured":"Hauser, M., Cushman, F., Young, L., Jin, R.K., Mikhail, J.: A dissociation between moral judgments and justifications. Mind and Language 22(1), 1\u201321 (2007)","journal-title":"Mind and Language"},{"key":"41_CR10","doi-asserted-by":"crossref","unstructured":"Kamm, F.M.: Intricate Ethics: Rights, Responsibilities, and Permissible Harm. Oxford U. P (2006)","DOI":"10.1093\/acprof:oso\/9780195189698.001.0001"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: Computational Logic and Human Thinking: How to be Artificially Intelligent. Cambridge U. P (2011)","DOI":"10.1017\/CBO9780511984747"},{"key":"41_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-11503-5_24","volume-title":"Practical Aspects of Declarative Languages","author":"G Lopes","year":"2010","unstructured":"Lopes, G., Pereira, L.M.: Prospective storytelling agents. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol. 5937, pp. 294\u2013296. Springer, Heidelberg (2010)"},{"key":"41_CR13","unstructured":"Lopes, G., Pereira, L.M.: Visual demo of \u201cPrincess-saviour Robot\u201d (2010). http:\/\/centria.di.fct.unl.pt\/~lmp\/publications\/slides\/padl10\/quick_moral_robot.avi"},{"key":"41_CR14","doi-asserted-by":"crossref","unstructured":"Mallon, R., Nichols, S.: Rules. In: Doris, J.M. (ed.) The Moral Psychology Handbook. Oxford University Press (2010)","DOI":"10.1093\/acprof:oso\/9780199582143.003.0010"},{"key":"41_CR15","unstructured":"McIntyre, A.: Doctrine of double effect. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Center for the Study of Language and Information, Stanford University, Fall 2011 edition (2004). http:\/\/plato.stanford.edu\/archives\/fall2011\/entries\/double-effect\/"},{"issue":"3\u20134","key":"41_CR16","first-page":"267","volume":"5","author":"JO Newman","year":"2006","unstructured":"Newman, J.O.: Quantifying the standard of proof beyond a reasonable doubt: a comment on three comments. Law, Probability and Risk 5(3\u20134), 267\u2013269 (2006)","journal-title":"Law, Probability and Risk"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., Saptawijaya, A.: Modelling morality with prospective logic. In: Anderson, M., Anderson, S.L. (eds.) Machine Ethics, pp. 398\u2013421. Cambridge U. P (2011)","DOI":"10.1017\/CBO9780511978036.027"},{"key":"41_CR18","unstructured":"Pereira, L.M., Saptawijaya, A.: Abduction and beyond in logic programming with application to morality. Accepted in \u201cFrontiers of Abduction\u201d, Special Issue in IfCoLog Journal of Logics and their Applications (2015). http:\/\/goo.gl\/yhmZzy"},{"key":"41_CR19","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., Saptawijaya, A.: Bridging two realms of machine ethics. In: White, J.B., Searle, R. (eds.) Rethinking Machine Ethics in the Age of Ubiquitous Technology. IGI Global (2015)","DOI":"10.4018\/978-1-4666-8592-5.ch010"},{"key":"41_CR20","unstructured":"Pereira, L.M., Saptawijaya, A.: Counterfactuals in Logic Programming with Applications to Agent Morality. Accepted at a special volume of Logic, Argumentation & Reasoning (2015). http:\/\/goo.gl\/6ERgGG (preprint)"},{"key":"41_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1007\/978-3-642-45221-5_46","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"A Saptawijaya","year":"2013","unstructured":"Saptawijaya, A., Pereira, L.M.: Incremental tabling for query-driven propagation of logic program updates. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol. 8312, pp. 694\u2013709. Springer, Heidelberg (2013)"},{"issue":"1","key":"41_CR22","first-page":"69","volume":"2","author":"A Saptawijaya","year":"2015","unstructured":"Saptawijaya, A., Pereira, L.M.: TABDUAL: a Tabled Abduction System for Logic Programs. IfCoLog Journal of Logics and their Applications 2(1), 69\u2013123 (2015)","journal-title":"IfCoLog Journal of Logics and their Applications"},{"key":"41_CR23","unstructured":"Scanlon, T.M.: What We Owe to Each Other. Harvard University Press (1998)"},{"key":"41_CR24","doi-asserted-by":"crossref","unstructured":"Scanlon, T.M.: Moral Dimensions: Permissibility, Meaning, Blame. Harvard University Press (2008)","DOI":"10.4159\/9780674043145"},{"issue":"3\u20134","key":"41_CR25","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1018990308362","volume":"25","author":"T Swift","year":"1999","unstructured":"Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence 25(3\u20134), 201\u2013240 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"41_CR26","unstructured":"The Future of Life Institute. Research Priorities for Robust and Beneficial Artificial Intelligence (2015). http:\/\/futureoflife.org\/static\/data\/documents\/research_priorities.pdf"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23485-4_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T18:08:32Z","timestamp":1675274912000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23485-4_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319234847","9783319234854"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23485-4_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}