{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:37:35Z","timestamp":1726033055264},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030221010"},{"type":"electronic","value":"9783030221027"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22102-7_17","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T12:21:26Z","timestamp":1561465286000},"page":"367-384","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Do Humans Reason with $$\\mathcal{E}$$ -Matchers?"],"prefix":"10.1007","author":[{"given":"Steffen","family":"H\u00f6lldobler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,1]]},"reference":[{"key":"17_CR1","volume-title":"From Logic to Logic Programming","author":"KR Apt","year":"1997","unstructured":"Apt, K.R.: From Logic to Logic Programming. Prentice Hall, London (1997)"},{"key":"17_CR2","unstructured":"Aquinas, T.: Summa theologica II-II, q. 64, art. 7, \u201cof Killing\u201d. In: Baumgarth, W.P., Regan, R. (eds.) On Law, Morality, and Politics, pp. 226\u2013227. Hackett Publishing Co., Indianapolis (1988)"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1038\/s41586-018-0637-6","volume":"563","author":"E Awad","year":"2018","unstructured":"Awad, E., et al.: The moral machine experiment. Nature 563, 59\u201364 (2018)","journal-title":"Nature"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Baader, F., Siekmann, J.: Unification theory. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 2, pp. 41\u2013125. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198537465.003.0002"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.4064\/fm-3-1-133-181","volume":"3","author":"S Banach","year":"1922","unstructured":"Banach, S.: Sur les op\u00e9rations dans les ensembles abstraits et leur application aux \u00e9quations int\u00e9grales. Fund. Math. 3, 133\u2013181 (1922)","journal-title":"Fund. Math."},{"key":"17_CR6","unstructured":"Bentham, J.: An Introduction to the Principles of Morals and Legislation. Dover Publications Inc. (2009)"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0010-0277(89)90018-8","volume":"31","author":"R Byrne","year":"1989","unstructured":"Byrne, R.: Suppressing valid inferences with conditionals. Cognition 31, 61\u201383 (1989)","journal-title":"Cognition"},{"key":"17_CR8","first-page":"293","volume-title":"Logic and Databases","author":"K Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293\u2013322. Plenum, New York (1978)"},{"key":"17_CR9","unstructured":"Deckert, D.: A formalization of the trolley problem with the fluent calculus. TU Dresden, Informatik (2018)"},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1613\/jair.1.11236","volume":"63","author":"EA Dietz Saldanha","year":"2018","unstructured":"Dietz Saldanha, E.A., H\u00f6lldobler, S., Kencana Ramli, C.D.P., Palacios Medinacelli, L.: A core method for the weak completion semantics with skeptical abduction. J. Artif. Intell. Res. 63, 51\u201386 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"17_CR11","unstructured":"Dietz Saldanha, E.A., H\u00f6lldobler, S., Lour\u00eado Rocha, I.: The weak completion semantics. In: Schon, C., Furbach, U. (eds.) Proceedings of the Workshop on Bridging the Gap Between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?, vol. 1994, pp. 18\u201330. CEUR-WS.org (2017). http:\/\/ceur-ws.org\/Vol-1994\/"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-319-61660-5_8","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"E-A Dietz Saldanha","year":"2017","unstructured":"Dietz Saldanha, E.-A., H\u00f6lldobler, S., Pereira, L.M.: Contextual reasoning: usually birds can abductively fly. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 64\u201377. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_8"},{"key":"17_CR13","unstructured":"Dietz Saldanha, E.A., H\u00f6lldobler, S., Schwarz, S., Stefanus, L.Y.: The weak completion semantics and equality. In: Barthe, G., Sutcliffe, G., Veanes, M. (eds.) Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-22, vol. 57, pp. 326\u2013242. EPiC series in Computing (2018)"},{"key":"17_CR14","unstructured":"Foot, P.: The Problem of Abortion and the Doctrine of Double Effect, vol. 5. Oxford Review (1967)"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1111\/j.2044-8295.1982.tb01823.x","volume":"73","author":"R Griggs","year":"1982","unstructured":"Griggs, R., Cox, J.: The elusive thematic materials effect in the Wason selection task. Br. J. Psychol. 73, 407\u2013420 (1982)","journal-title":"Br. J. Psychol."},{"key":"17_CR16","volume-title":"Children\u2019s Understanding","author":"GS Halford","year":"1993","unstructured":"Halford, G.S.: Children\u2019s Understanding. Psychology Press, New York (1993)"},{"key":"17_CR17","unstructured":"H\u00f6lldobler, S.: Ethical decision making under the weak completion semantics. In: Schon, C. (ed.) Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, vol. 2261, pp. 1\u20135. CEUR-WS.org (2018). http:\/\/ceur-ws.org\/Vol-2261\/"},{"key":"17_CR18","unstructured":"H\u00f6lldobler, S., Kencana Ramli, C.D.P.: Contraction properties of a semantic operator for human reasoning. In: Li, L., Yen, K.K. (eds.) Proceedings of the Fifth International Conference on Information, pp. 228\u2013231. International Information Institute (2009)"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-642-02846-5_37","volume-title":"Logic Programming","author":"S H\u00f6lldobler","year":"2009","unstructured":"H\u00f6lldobler, S., Kencana Ramli, C.D.P.: Logic programs under three-valued \u0141ukasiewicz semantics. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 464\u2013478. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02846-5_37"},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S H\u00f6lldobler","year":"1990","unstructured":"H\u00f6lldobler, S., Schneeberger, J.: A new deductive approach to planning. New Gener. Comput. 8, 225\u2013244 (1990)","journal-title":"New Gener. Comput."},{"key":"17_CR21","unstructured":"H\u00f6lldobler, S., Schneeberger, J., Thielscher, M.: AC1-unification\/matching in linear logic programming. In: Baader, F., Siekmann, J., Snyder, W. (eds.) Proceedings of the Sixth International Workshop on Unification. BUCS Tech Report 93\u2013004, Boston University, Computer Science Department (1993)"},{"key":"17_CR22","unstructured":"Jaffar, J., Lassez, J.L., Maher, M.J.: A theory of complete logic programs with equality. In: Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 175\u2013184. ICOT (1984)"},{"key":"17_CR23","volume-title":"Intricate Ethics: Rights, Responsibilities, and Permissible Harm","author":"FM Kamm","year":"2006","unstructured":"Kamm, F.M.: Intricate Ethics: Rights, Responsibilities, and Permissible Harm. Oxford University Press, Oxford (2006)"},{"issue":"3","key":"17_CR24","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1037\/a0026841","volume":"138","author":"S Khemlani","year":"2012","unstructured":"Khemlani, S., Johnson-Laird, P.N.: Theories of the syllogism: a meta-analysis. Psychol. Bull. 138(3), 427\u2013457 (2012)","journal-title":"Psychol. Bull."},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4, 67\u201395 (1986)","journal-title":"New Gener. Comput."},{"key":"17_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984). https:\/\/doi.org\/10.1007\/978-3-642-83189-8"},{"key":"17_CR27","unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej. Ruch Filozoficzny 5, 169\u2013171 (1920). English translation: On three-valued logic. In: Borkowski, L. (ed.) Jan \u0141ukasiewicz Selected Works, pp. 87\u201388. North Holland (1990)"},{"key":"17_CR28","unstructured":"McIntyre, A.: Doctrine of double effect. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Spring 2019 edn. (2019). https:\/\/plato.stanford.edu\/archives\/spr2019\/entries\/double-effect\/"},{"issue":"2","key":"17_CR29","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"GA Miller","year":"1956","unstructured":"Miller, G.A.: The magical number seven, plus or minus two: some limits on our capacity for processing information. Psychol. Rev. 63(2), 81\u201397 (1956)","journal-title":"Psychol. Rev."},{"key":"17_CR30","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780190202996.001.0001","volume-title":"Conditional Reasoning","author":"RS Nickerson","year":"2015","unstructured":"Nickerson, R.S.: Conditional Reasoning. Oxford University Press, Oxford (2015)"},{"key":"17_CR31","unstructured":"Oliviera da Costa, A., Dietz Saldanha, E.A., H\u00f6lldobler, S., Ragni, M.: A computational logic approach to human syllogistic reasoning. In: Gunzelmann, G., Howes, A., Tenbrink, T., Davelaar, E.J. (eds.) Proceedings of the 39th Annual Conference of the Cognitive Science Society, pp. 883\u2013888. Cognitive Science Society, Austin (2017)"},{"key":"17_CR32","volume-title":"Logical Abilities in Children","author":"DN Osherson","year":"1974","unstructured":"Osherson, D.N.: Logical Abilities in Children, vol. 1. Routledge, London (1974)"},{"key":"17_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29354-7","volume-title":"Programming Machine Ethics","author":"LM Pereira","year":"2016","unstructured":"Pereira, L.M., Saptawijaya, A.: Programming Machine Ethics. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-319-29354-7"},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Plaisted, D.A.: Equational reasoning and term rewriting system. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, chap. 5. Oxford University Press, Oxford (1993)","DOI":"10.1093\/oso\/9780198537458.003.0005"},{"key":"17_CR35","doi-asserted-by":"crossref","unstructured":"Reiter, R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation\u2014Papers in Honor of John McCarthy, pp. 359\u2013380. Academic Press (1991)","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"issue":"3","key":"17_CR36","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S0140525X00030910","volume":"16","author":"L Shastri","year":"1993","unstructured":"Shastri, L., Ajjanagadde, V.: From associations to systematic reasoning: a connectionist representation of rules, variables and dynamic bindings using temporal synchrony. Behav. Brain Sci. 16(3), 417\u2013494 (1993)","journal-title":"Behav. Brain Sci."},{"key":"17_CR37","doi-asserted-by":"publisher","first-page":"919","DOI":"10.1207\/s15516709cog0000_36","volume":"29","author":"K Stenning","year":"2005","unstructured":"Stenning, K., van Lambalgen, M.: Semantic interpretation as computation in nonmonotonic logic: the real meaning of the suppression task. Cogn. Sci. 29, 919\u2013960 (2005)","journal-title":"Cogn. Sci."},{"key":"17_CR38","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science","author":"K Stenning","year":"2008","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)"},{"key":"17_CR39","unstructured":"Thielscher, M.: AC1-Unifikation in der linearen logischen Programmierung. Master\u2019s thesis, Intellektik, Informatik, TH Darmstadt (1992)"},{"issue":"3\u20134","key":"17_CR40","first-page":"179","volume":"2","author":"M Thielscher","year":"1998","unstructured":"Thielscher, M.: Introduction to the fluent calculus. Electron. Trans. Artif. Intell. 2(3\u20134), 179\u2013192 (1998)","journal-title":"Electron. Trans. Artif. Intell."},{"key":"17_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-540-24599-5_49","volume-title":"Logic Programming","author":"M Thielscher","year":"2003","unstructured":"Thielscher, M.: Controlling semi-automatic systems with FLUX. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 515\u2013516. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-24599-5_49"},{"key":"17_CR42","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1080\/14640746808400161","volume":"20","author":"PC Wason","year":"1968","unstructured":"Wason, P.C.: Reasoning about a rule. Q. J. Exp. Psychol. 20, 273\u2013281 (1968)","journal-title":"Q. J. Exp. Psychol."}],"container-title":["Lecture Notes in Computer Science","Description Logic, Theory Combination, and All That"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22102-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T05:34:34Z","timestamp":1721453674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22102-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030221010","9783030221027"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22102-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}