{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T02:12:26Z","timestamp":1780107146516,"version":"3.54.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662488980","type":"print"},{"value":"9783662488997","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48899-7_37","type":"book-chapter","created":{"date-parts":[[2015,11,20]],"date-time":"2015-11-20T22:59:28Z","timestamp":1448060368000},"page":"532-548","source":"Crossref","is-referenced-by-count":11,"title":["Modelling Moral Reasoning and Ethical Responsibility with Logic Programming"],"prefix":"10.1007","author":[{"given":"Fiona","family":"Berreby","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gauvain","family":"Bourgne","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Gabriel","family":"Ganascia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"37_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511978036","volume-title":"Machine Ethics","author":"M Anderson","year":"2011","unstructured":"Anderson, M., Anderson, S.: Machine Ethics. Cambridge University Press, Cambridge (2011)"},{"key":"37_CR2","volume-title":"Principles of Biomedical Ethics","author":"T Beauchamp","year":"2001","unstructured":"Beauchamp, T., Childress, J.: Principles of Biomedical Ethics. Oxford University Press, New York (2001)"},{"key":"37_CR3","doi-asserted-by":"publisher","DOI":"10.1093\/oxfordhb\/9780199279739.001.0001","volume-title":"The Oxford Handbook of Causation","author":"H Beebee","year":"2009","unstructured":"Beebee, H., Hitchcock, C., Menzies, P.: The Oxford Handbook of Causation. Oxford University Press, New York (2009)"},{"key":"37_CR4","volume-title":"Doing & Deserving Essays in The Theory of Responsibility","author":"J Feinberg","year":"1970","unstructured":"Feinberg, J.: Doing & Deserving Essays in The Theory of Responsibility. Princeton University Press, Princeton (1970)"},{"key":"37_CR5","doi-asserted-by":"crossref","unstructured":"Foot, P.: The problem of abortion and the doctrine of the double effect. In: Applied Ethics: Critical Concepts in Philosophy, vol. 2, p. 187 (2002)","DOI":"10.1093\/0199252866.003.0002"},{"key":"37_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/S1574-6526(07)03007-6","volume":"3","author":"M Gelfond","year":"2008","unstructured":"Gelfond, M.: Answer sets. Found. Artif. Intell. 3, 285\u2013316 (2008)","journal-title":"Found. Artif. Intell."},{"key":"37_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"key":"37_CR8","unstructured":"Halpern, J., Hitchcock, C.: Actual causation and the art of modelling. In: Dechter, R., Geffner, H., Halpern, J. (eds.) Heuristics, Probability, and Causality (2010)"},{"issue":"4","key":"37_CR9","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1093\/bjps\/axi147","volume":"56","author":"J Halpern","year":"2005","unstructured":"Halpern, J., Pearl, J.: Causes and explanations: a structural-model approach. Part I: causes. Br. J. Philos. Sci. 56(4), 843\u2013887 (2005)","journal-title":"Br. J. Philos. Sci."},{"issue":"5","key":"37_CR10","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1093\/logcom\/exm048","volume":"17","author":"M Hopkins","year":"2007","unstructured":"Hopkins, M., Pearl, J.: Causality and counterfactuals in the situation calculus. J. Logic Comput. 17(5), 939\u2013953 (2007)","journal-title":"J. Logic Comput."},{"key":"37_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8851-5_2","volume-title":"Nonmonotonic Foundations for Deontic Logic","author":"J Horty","year":"1997","unstructured":"Horty, J.: Defeasible deontic logic. In: Nute, D. (ed.) Nonmonotonic Foundations for Deontic Logic. Springer, The Netherlands (1997)"},{"key":"37_CR12","volume-title":"A Treatise of Human Nature","author":"D Hume","year":"2012","unstructured":"Hume, D.: A Treatise of Human Nature. Courier Corporation, Mineola (2012)"},{"key":"37_CR13","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1111\/1467-8349.00061","volume":"74","author":"FM Kamm","year":"2000","unstructured":"Kamm, F.M.: The doctrine of triple effect and why a rational agent need not intend the means to his end: Frances M. Kamm. Aristotelian Soc. Suppl. 74, 21\u201339 (2000)","journal-title":"Aristotelian Soc. Suppl."},{"key":"37_CR14","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199604685.001.0001","volume-title":"Modality and Explanatory Reasoning","author":"B Kment","year":"2014","unstructured":"Kment, B.: Modality and Explanatory Reasoning. Oxford University Press, Oxford (2014)"},{"key":"37_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511984747","volume-title":"Computational Logic and Human Thinking: How To Be Artificially Intelligent","author":"R Kowalski","year":"2011","unstructured":"Kowalski, R.: Computational Logic and Human Thinking: How To Be Artificially Intelligent. Cambridge University Press, Cambridge (2011)"},{"key":"37_CR16","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-83397-7_2","volume-title":"Foundations of Knowledge Base Management","author":"R Kowalski","year":"1989","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. In: Schmidt, J.W., Thanos, C. (eds.) Foundations of Knowledge Base Management, pp. 23\u201355. Springer, Heidelberg (1989)"},{"issue":"1","key":"37_CR17","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1613\/jair.3489","volume":"43","author":"J Lee","year":"2012","unstructured":"Lee, J., Palla, R.: Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming. J. Artif. Intell. Res. 43(1), 571\u2013620 (2012)","journal-title":"J. Artif. Intell. Res."},{"key":"37_CR18","unstructured":"L\u00e9vy, F., Quantz, J.: Representing beliefs in a situated event calculus. In: Proceedings of the 13th European Conference on Artificial Intelligence. Citeseer (1997)"},{"issue":"2","key":"37_CR19","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s11098-008-9252-y","volume":"146","author":"SM Liao","year":"2009","unstructured":"Liao, S.M.: The loop case and Kamm\u2019s doctrine of triple effect. Philos. Stud. 146(2), 223\u2013231 (2009)","journal-title":"Philos. Stud."},{"key":"37_CR20","volume-title":"Two Treatises of Government","author":"J Locke","year":"1824","unstructured":"Locke, J.: Two Treatises of Government. C. and J. Rivington, London (1824)"},{"issue":"4","key":"37_CR21","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.tics.2006.12.007","volume":"11","author":"J Mikhail","year":"2007","unstructured":"Mikhail, J.: Universal moral grammar: theory, evidence and the future. Trends Cogn. Sci. 11(4), 143\u2013152 (2007)","journal-title":"Trends Cogn. Sci."},{"key":"37_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1007\/3-540-45632-5_17","volume-title":"Computational Logic: Logic Programming and Beyond","author":"R Miller","year":"2002","unstructured":"Miller, R., Shanahan, M.: Some alternative formulations of the event calculus. In: Kakas, A.C., Sadri, F. (eds.) computational logic: logic programming and beyond. LNCS (LNAI), vol. 2408, p. 452. Springer, Heidelberg (2002)"},{"key":"37_CR23","volume-title":"Commonsense Reasoning: An Event Calculus Based Approach","author":"ET Mueller","year":"2014","unstructured":"Mueller, E.T.: Commonsense Reasoning: An Event Calculus Based Approach. Elsevier Science, Amsterdam (2014)"},{"issue":"4","key":"37_CR24","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1093\/biomet\/82.4.669","volume":"82","author":"J Pearl","year":"1995","unstructured":"Pearl, J.: Causal diagrams for empirical research. Biometrika 82(4), 669\u2013688 (1995)","journal-title":"Biometrika"},{"key":"37_CR25","first-page":"675","volume":"19","author":"J Pearl","year":"2003","unstructured":"Pearl, J.: Causality: models, reasoning, and inference. Econometric Theo. 19, 675\u2013685 (2003)","journal-title":"Econometric Theo."},{"key":"37_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-77002-2_9","volume-title":"Progress in Artificial Intelligence","author":"LM Pereira","year":"2007","unstructured":"Pereira, L.M., Saptawijaya, A.: Modelling morality with prospective logic. In: Neves, J., Santos, M.F., Machado, J.M. (eds.) EPIA 2007. LNCS (LNAI), vol. 4874, pp. 99\u2013111. Springer, Heidelberg (2007)"},{"key":"37_CR27","unstructured":"Pereira, L.M., Saptawijaya, A.: Moral decision making with ACORDA. In: Short Paper LPAR, vol. 7 (2007)"},{"key":"37_CR28","volume-title":"Beginning Bioethics: A Text with Integrated Readings","author":"A Ridley","year":"1998","unstructured":"Ridley, A.: Beginning Bioethics: A Text with Integrated Readings. Bedford, New York (1998)"},{"issue":"3\u20134","key":"37_CR29","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10892-005-3508-y","volume":"9","author":"P Singer","year":"2005","unstructured":"Singer, P.: Ethics and intuitions. J. Ethics 9(3\u20134), 331\u2013352 (2005)","journal-title":"J. Ethics"},{"key":"37_CR30","volume-title":"Causation","author":"E Sosa","year":"1993","unstructured":"Sosa, E., Tooley, M.: Causation, vol. 27. Oxford University Press, Oxford (1993)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48899-7_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T15:25:31Z","timestamp":1559316331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48899-7_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662488980","9783662488997"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48899-7_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}