{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:37:55Z","timestamp":1743140275767,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319147253"},{"type":"electronic","value":"9783319147260"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-14726-0_5","type":"book-chapter","created":{"date-parts":[[2015,1,7]],"date-time":"2015-01-07T03:37:32Z","timestamp":1420601852000},"page":"63-80","source":"Crossref","is-referenced-by-count":5,"title":["Deontic Logic for Human Reasoning"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Furbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Schon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Artosi, A., Cattabriga, P., Governatori, G.: Ked: A deontic theorem prover. In: On Legal Application of Logic Programming, ICLP 1994, pp. 60\u201376 (1994)"},{"issue":"1","key":"5_CR2","doi-asserted-by":"crossref","first-page":"18","DOI":"10.4018\/jswis.2011010102","volume":"7","author":"N. Bassiliades","year":"2011","unstructured":"Bassiliades, N., Kontopoulos, E., Governatori, G., Antoniou, G.: A modal defeasible reasoner of deontic logic for the semantic web. Int. J. Semant. Web Inf. Syst.\u00a07(1), 18\u201343 (2011)","journal-title":"Int. J. Semant. Web Inf. Syst."},{"key":"5_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-540-73595-3_36","volume-title":"Automated Deduction \u2013 CADE-21","author":"P. Baumgartner","year":"2007","unstructured":"Baumgartner, P., Furbach, U., Pelzer, B.: Hyper tableaux with equality. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 492\u2013507. Springer, Heidelberg (2007)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-38574-2_8","volume-title":"Automated Deduction \u2013 CADE-24","author":"M. Bender","year":"2013","unstructured":"Bender, M., Pelzer, B., Schon, C.: System description: E-kRHyper 1.4. In: Bonacina, M.P. (ed.) CADE 2013. LNCS, vol.\u00a07898, pp. 126\u2013134. Springer, Heidelberg (2013)"},{"key":"5_CR5","unstructured":"Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol.\u00a03. Elsevier Science (December 2006)"},{"issue":"4","key":"5_CR6","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"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0010-0277(89)90018-8","volume":"31","author":"R.M. Byrne","year":"1989","unstructured":"Byrne, R.M.: Suppressing valid inferences with conditionals. Cognition\u00a031(1), 61\u201383 (1989)","journal-title":"Cognition"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/analys\/24.2.33","volume":"23","author":"R.M. Chisolm","year":"1963","unstructured":"Chisolm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis\u00a023, 33\u201336 (1963)","journal-title":"Analysis"},{"key":"5_CR9","first-page":"53","volume":"1","author":"L. Cosmides","year":"2008","unstructured":"Cosmides, L., Tooby, J.: Can a general deontic logic capture the facts of human moral reasoning? how the mind interprets social exchange rules and detects cheaters. Moral Psychology\u00a01, 53\u2013120 (2008)","journal-title":"Moral Psychology"},{"key":"5_CR10","unstructured":"Edgington, D.: Conditionals. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Winter 2008 edn. (2008)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Furbach, U., Schon, C., Stolzenberg, F.: Automated reasoning in deontic logic. In: Proceedings of the KIK 2014 Workshop. CEUR Workshop Proceedings (2014)","DOI":"10.1007\/978-3-319-13365-2_6"},{"key":"5_CR12","unstructured":"H\u00f6lldobler, S., Philipp, T., Wernhard, C.: An abductive model for human reasoning. In: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)"},{"key":"5_CR13","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.\u00a05649, pp. 464\u2013478. Springer, Heidelberg (2009)"},{"issue":"4","key":"5_CR14","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1037\/0033-295X.109.4.646","volume":"109","author":"P.N. Johnson-Laird","year":"2002","unstructured":"Johnson-Laird, P.N., Byrne, R.M.: Conditionals: a theory of meaning, pragmatics, and inference. Psychological Review\u00a0109(4), 646 (2002)","journal-title":"Psychological Review"},{"issue":"6","key":"5_CR15","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: Computational logic and human thinking: how to be artificially intelligent. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511984747"},{"key":"5_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-73595-3_6","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics Using Hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 67\u201383. Springer, Heidelberg (2007)"},{"key":"5_CR18","unstructured":"Sanford, D.: If P, then Q: Conditionals and the Foundations of Reasoning. Routledge (1989)"},{"key":"5_CR19","unstructured":"Schild, K.: A correspondence theory for terminological logics: Preliminary report. In: Proc. of IJCAI-91, pp. 466\u2013471 (1991)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-37651-1_15","volume-title":"Programming Logics","author":"R.A. Schmidt","year":"2013","unstructured":"Schmidt, R.A., Hustadt, U.: First-order resolution methods for modal logics. In: Voronkov, A., Weidenbach, C. (eds.) Programming Logics. LNCS, vol.\u00a07797, pp. 345\u2013391. Springer, Heidelberg (2013)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Stenning, K., Van Lambalgen, M.: Human reasoning and cognitive science. MIT Press (2008)","DOI":"10.7551\/mitpress\/7964.001.0001"},{"issue":"17","key":"5_CR22","doi-asserted-by":"publisher","first-page":"11531","DOI":"10.1073\/pnas.122352699","volume":"99","author":"V.E. Stone","year":"2002","unstructured":"Stone, V.E., Cosmides, L., Tooby, J., Kroll, N., Knight, R.T.: Selective impairment of reasoning about social exchange in a patient with bilateral limbic system damage. Proceedings of the National Academy of Sciences\u00a099(17), 11531\u201311536 (2002)","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"5_CR23","unstructured":"von Kutschera, F.: Einf\u00fchrung in die Logik der Normen, Werte und Entscheidungen. In: Alber (1973)"},{"issue":"3","key":"5_CR24","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1080\/14640746808400161","volume":"20","author":"P.C. Wason","year":"1968","unstructured":"Wason, P.C.: Reasoning about a rule. The Quarterly Journal of Experimental Psychology\u00a020(3), 273\u2013281 (1968)","journal-title":"The Quarterly Journal of Experimental Psychology"},{"key":"5_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-73595-3_37","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Pelzer","year":"2007","unstructured":"Pelzer, B., Wernhard, C.: System description: E- kRHyper. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 508\u2013513. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14726-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T13:27:47Z","timestamp":1690810067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14726-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147253","9783319147260"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14726-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}