{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T22:29:41Z","timestamp":1777415381684,"version":"3.51.4"},"publisher-location":"Cham","reference-count":66,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319041315","type":"print"},{"value":"9783319041322","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04132-2_8","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T02:49:14Z","timestamp":1386557354000},"page":"104-119","source":"Crossref","is-referenced-by-count":7,"title":["Towards Modeling Morality Computationally with Logic Programming"],"prefix":"10.1007","author":[{"given":"Ari","family":"Saptawijaya","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Brogi, A., Leite, J., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45757-7_5"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1017\/S1471068403001960","volume":"4","author":"J.J. Alferes","year":"2004","unstructured":"Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory and Practice of Logic Programming\u00a04(4), 383\u2013428 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR3","unstructured":"Anderson, M., Anderson, S.L.: EthEl: Toward a principled ethical eldercare robot. In: Procs. AAAI Fall 2008 Symposium on AI in Eldercare (2008)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Anderson, M., Anderson, S.L.: Robot be good: A call for ethical autonomous machines. Scientific American (October 2010)","DOI":"10.1038\/scientificamerican1010-72"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Anderson, M., Anderson, S.L. (eds.): Machine Ethics. Cambridge U. P. (2011)","DOI":"10.1017\/CBO9780511978036"},{"key":"8_CR6","unstructured":"Anderson, M., Anderson, S.L., Armen, C.: Towards machine ethics: implementing two action-based ethical theories. In: Procs. AAAI 2005 Fall Symposium on Machine Ethics (2005)"},{"key":"8_CR7","unstructured":"Anderson, M., Anderson, S., Armen, C.: MedEthEx: a prototype medical ethics advisor. In: IAAI 2006 (2006)"},{"key":"8_CR8","unstructured":"Baral, C., Hunsaker, M.: Using the probabilistic logic programming language P-log for causal and counterfactual reasoning and non-naive conditioning. In: IJCAI 2007 (2007)"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S1471068408003645","volume":"9","author":"C. Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Theory and Practice of Logic Programming\u00a09(1), 57\u2013144 (2009)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR10","unstructured":"Bratman, M.E.: Intention, Plans and Practical Reasoning. Harvard University Press (1987)"},{"issue":"4","key":"8_CR11","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\u00a021(4), 38\u201344 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Bringsjord, S., Taylor, J., van Heuveln, B., Arkoudas, K., Clark, M., Wojtowicz, R.: Piagetian roboethics via category theory: Moving beyond mere formal operations to engineer robots whose decisions are guaranteed to be ethically correct. In: Anderson, M., Anderson, S.L. (eds.) Machine Ethics. Cambridge U. P. (2011)","DOI":"10.1017\/CBO9780511978036.025"},{"key":"8_CR13","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"},{"key":"8_CR14","unstructured":"Danielson, P.: Artificial Morality: Virtuous Robots for Virtual Games. Routledge (1992)"},{"issue":"4","key":"8_CR15","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. J. of Applied Logic\u00a05(4), 586\u2013601 (2007)","journal-title":"J. of Applied Logic"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence\u00a077(2), 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"8_CR17","unstructured":"Economist. Morals and the machine. Main Front Cover and Leaders, June 2-8, p. 13. The Economist (2012)"},{"key":"8_CR18","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\u00a05, 5\u201315 (1967)","journal-title":"Oxford Review"},{"key":"8_CR19","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: 5th Intl. Logic Programming Conf. MIT Press (1988)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Gigerenzer, G., Engel, C.: Heuristics and the Law. MIT Press (2006)","DOI":"10.7551\/mitpress\/3488.001.0001"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Guarini, M.: Computational neural modeling and the philosophy of ethics: Reflections on the particularism-generalism debate. In: Anderson, M., Anderson, S.L. (eds.) Machine Ethics. Cambridge U. P. (2011)","DOI":"10.1017\/CBO9780511978036.023"},{"key":"8_CR22","unstructured":"Han, T.A.: Intention Recognition, Commitments and Their Roles in the Evolution of Cooperation: From Artificial Intelligence Techniques to Evolutionary Game Theory Models. SAPERE, vol.\u00a09. Springer (2013) ISBN 978-3-642-37511-8"},{"issue":"2","key":"8_CR23","doi-asserted-by":"crossref","first-page":"237","DOI":"10.3233\/AIC-130559","volume":"26","author":"T.A. Han","year":"2013","unstructured":"Han, T.A., Pereira, L.M.: State-of-the-art of intention recognition and its use in decision making. AI Communications\u00a026(2), 237\u2013246 (2013)","journal-title":"AI Communications"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Han, T.A., Saptawijaya, A., Pereira, L.M.: Moral reasoning under uncertainty. In: Bj\u00f8rner, N., Voronkov, A. (eds.) LPAR-18. LNCS, vol.\u00a07180, pp. 212\u2013227. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28717-6_18"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Han, T.A., Pereira, L.M., Santos, F.C., Lenearts, T.: Good agreements make good friends. Nature Scientific Reports\u00a03(2695) (2013), doi:10.1038\/srep02695","DOI":"10.1038\/srep02695"},{"key":"8_CR26","unstructured":"Han, T.A., Pereira, L.M., Santos, F.C., Lenearts, T.: Why Is It So Hard to Say Sorry: The Evolution of Apology with Commitments in the Iterated Prisoner\u2019s Dilemma. In: IJCAI 2013, pp. 177\u2013183. AAAI Press (2013)"},{"key":"8_CR27","unstructured":"Hauser, M.D.: Moral Minds: How Nature Designed Our Universal Sense of Right and Wrong. Little Brown (2007)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Inhelder, B., Piaget, J.: The Growth of Logical Thinking from Childhood to Adolescence. Basic Books (1958)","DOI":"10.1037\/10034-000"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Jonsen, A.R., Toulmin, S.: The Abuse of Casuistry: A History of Moral Reasoning. University of California Press (1988)","DOI":"10.1525\/9780520352797"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Kakas, A., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05. Oxford U. P. (1998)","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"8_CR31","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":"8_CR32","unstructured":"Kant, I.: Grounding for the Metaphysics of Morals, translated by J. Ellington. Hackett (1981)"},{"key":"8_CR33","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"},{"issue":"1","key":"8_CR34","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10472-011-9253-y","volume":"62","author":"R. Kowalski","year":"2011","unstructured":"Kowalski, R., Sadri, F.: Abductive logic programming agents with destructive databases. Annals of Mathematics and Artificial Intelligence\u00a062(1), 129\u2013158 (2011)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"8_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32689-9_1","volume-title":"Rules on the Web: Research and Applications","author":"R. Kowalski","year":"2012","unstructured":"Kowalski, R., Sadri, F.: A logic-based framework for reactive systems. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol.\u00a07438, pp. 1\u201315. Springer, Heidelberg (2012)"},{"key":"8_CR36","unstructured":"Lopes, G., Pereira, L.M.: Prospective programming with ACORDA. In: ESCoR 2006 Workshop, IJCAR 2006 (2006)"},{"key":"8_CR37","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.\u00a05937, pp. 294\u2013296. Springer, Heidelberg (2010)"},{"key":"8_CR38","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":"8_CR39","doi-asserted-by":"crossref","unstructured":"McLaren, B.M.: Computational models of ethical reasoning: Challenges, initial steps, and future directions. IEEE Intelligent Systems, 29\u201337 (2006)","DOI":"10.1109\/MIS.2006.67"},{"issue":"4","key":"8_CR40","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 in Cognitive Sciences\u00a011(4), 143\u2013152 (2007)","journal-title":"Trends in Cognitive Sciences"},{"key":"8_CR41","doi-asserted-by":"crossref","unstructured":"Pearl, J.: Causality: Models, Reasoning and Inference. Cambridge U. P. (2009)","DOI":"10.1017\/CBO9780511803161"},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"Pereira, L.M.: Evolutionary tolerance. In: Magnani, L., Ping, L. (eds.) PCS 2011. SAPERE, vol.\u00a02, pp. 263\u2013287. Springer (2012)","DOI":"10.1007\/978-3-642-29928-5_14"},{"key":"8_CR43","unstructured":"Pereira, L.M., Pinto, A.M.: Inspection points and meta-abduction in logic programs. In: INAP 2009 (2009)"},{"key":"8_CR44","unstructured":"Pereira, L.M., Saptawijaya, A.: Moral Decision Making with ACORDA. In: Local Procs. of LPAR 2007 (2007a)"},{"key":"8_CR45","series-title":"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":"L.M. 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.\u00a04874, pp. 99\u2013111. Springer, Heidelberg (2007)"},{"issue":"3\/4","key":"8_CR46","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1504\/IJRIS.2009.028020","volume":"1","author":"L.M. Pereira","year":"2009","unstructured":"Pereira, L.M., Saptawijaya, A.: Modelling Morality with Prospective Logic. International Journal of Reasoning-based Intelligent Systems\u00a01(3\/4), 209\u2013221 (2009)","journal-title":"International Journal of Reasoning-based Intelligent Systems"},{"key":"8_CR47","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., Saptawijaya, A.: Computational Modelling of Morality. The Association for Logic Programming Newsletter\u00a022(1) (2009)","DOI":"10.1504\/IJRIS.2009.028020"},{"key":"8_CR48","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":"8_CR49","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., Han, T.A., Santos, F.C.: Complex systems of mindful entities \u2013 on intention recognition and commitment. In: Magnani, L. (ed.) Model-Based Reasoning in Science and Technology: Theoretical and Cognitive Issues. SAPERE, vol.\u00a08. Springer (2013)","DOI":"10.1007\/978-3-642-37428-9_28"},{"issue":"1","key":"8_CR50","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D.L. Poole","year":"1988","unstructured":"Poole, D.L.: A logical framework for default reasoning. Artificial Intelligence\u00a036(1), 27\u201347 (1988)","journal-title":"Artificial Intelligence"},{"issue":"4","key":"8_CR51","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MIS.2006.77","volume":"21","author":"T.M. Powers","year":"2006","unstructured":"Powers, T.M.: Prospects for a Kantian machine. IEEE Intelligent Systems\u00a021(4), 46\u201351 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"8_CR52","doi-asserted-by":"crossref","unstructured":"Rahwan, I., Simari, G. (eds.): Argumentation in Artificial Intelligence. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0"},{"key":"8_CR53","unstructured":"Ross, W.D.: The Right and the Good. Oxford University Press (1930)"},{"key":"8_CR54","unstructured":"Saptawijaya, A., Pereira, L.M.: Tabled abduction in logic programs (technical communication of ICLP 2013). Theory and Practice of Logic Programming, Online Supplement\u00a013(4-5) (2013)"},{"key":"8_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"694","DOI":"10.1007\/978-3-642-45221-5_46","volume-title":"LPAR-19","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. LNCS, vol.\u00a08312, pp. 694\u2013709. Springer, Heidelberg (2013)"},{"key":"8_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-40564-8_47","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A. Saptawijaya","year":"2013","unstructured":"Saptawijaya, A., Pereira, L.M.: Program updating by incremental and answer subsumption tabling. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS, vol.\u00a08148, pp. 148\u2013160. Springer, Heidelberg (2013)"},{"key":"8_CR57","doi-asserted-by":"crossref","unstructured":"Saptawijaya, A., Pereira, L.M.: Towards practical tabled abduction usable in decision making. In: KES-IDT 2013, Frontiers of Artificial Intelligence and Applications (FAIA). IOS Press (2013)","DOI":"10.1007\/978-3-642-40669-0_20"},{"key":"8_CR58","doi-asserted-by":"crossref","unstructured":"Scanlon, T.M.: Contractualism and utilitarianism. In: Sen, A., Williams, B. (eds.) Utilitarianism and Beyond. Cambridge U. P. (1982)","DOI":"10.1017\/CBO9780511611964.007"},{"key":"8_CR59","unstructured":"Scanlon, T.M.: What We Owe to Each Other. Harvard University Press (1998)"},{"key":"8_CR60","doi-asserted-by":"crossref","unstructured":"Scanlon, T.M.: Moral Dimensions: Permissibility, Meaning, Blame. Harvard University Press (2008)","DOI":"10.4159\/9780674043145"},{"issue":"1-2","key":"8_CR61","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S1471068411000500","volume":"12","author":"T. Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: Extending Prolog with tabled logic programming. Theory and Practice of Logic Programming\u00a012(1-2), 157\u2013187 (2012)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR62","doi-asserted-by":"crossref","unstructured":"Toni, F.: Argumentative agents. In: Procs. Intl. Multi Conference on Computer Science and Information Technology, vol.\u00a05 (2010)","DOI":"10.1109\/IMCSIT.2010.5680035"},{"issue":"3","key":"8_CR63","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1111\/1467-9973.00233","volume":"33","author":"J. Hoven van den","year":"2002","unstructured":"van den Hoven, J., Lokhorst, G.-J.: Deontic logic and computer-supported computer ethics. Metaphilosophy\u00a033(3), 376\u2013386 (2002)","journal-title":"Metaphilosophy"},{"issue":"3","key":"8_CR64","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of ACM"},{"key":"8_CR65","doi-asserted-by":"crossref","unstructured":"Wallach, W., Allen, C.: Moral Machines: Teaching Robots Right from Wrong. Oxford U. P. (2009)","DOI":"10.1093\/acprof:oso\/9780195374049.001.0001"},{"key":"8_CR66","unstructured":"Wiegel, V.: SophoLab; Experimental Computational Philosophy. PhD thesis, Delft University of Technology (2007)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04132-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,21]],"date-time":"2024-05-21T06:00:28Z","timestamp":1716271228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-04132-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319041315","9783319041322"],"references-count":66,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04132-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}