{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:40:01Z","timestamp":1748623201573,"version":"3.41.0"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232638"},{"type":"electronic","value":"9783319232645"}],"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-23264-5_23","type":"book-chapter","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T06:29:48Z","timestamp":1442212188000},"page":"265-278","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A New Computational Logic Approach to Reason with Conditionals"],"prefix":"10.1007","author":[{"given":"Emmanuelle-Anna","family":"Dietz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"H\u00f6lldobler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,15]]},"reference":[{"issue":"1","key":"23_CR1","first-page":"57","volume":"9","author":"C Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, J.N.: Probabilistic reasoning with answer sets. TPLP 9(1), 57\u2013144 (2009)","journal-title":"TPLP"},{"key":"23_CR2","unstructured":"Baral, C., Hunsaker, M.: Using the probabilistic logic programming language p-log for causal and counterfactual reasoning and non-naive conditioning. In: Veloso, M.M. (ed.) IJCAI, pp. 243\u2013249 (2007)"},{"key":"23_CR3","unstructured":"Bench-Capon, T.J.M.: Representing counterfactual conditionals. In: Cohn, A.G. (ed.) Proceedings of the Artificial Intelligence and Simulation of Behaviour, pp. 51\u201360. Pitman and Kaufmann, Brighton, England (1989)"},{"key":"23_CR4","volume-title":"The Rational Imagination: How People Create Alternatives to Reality","author":"RMJ Byrne","year":"2007","unstructured":"Byrne, R.M.J.: The Rational Imagination: How People Create Alternatives to Reality. MIT Press, Cambridge (2007)"},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"KL Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, vol. 1, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"23_CR6","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., Pereira, L.M.: On indicative conditionals. In: H\u00f6lldobler, S., Liang, Y. (eds.) Proceedings of the 1st International Workshop on Semantic Technologies, CEUR Workshop Proceedings, vol. 1339, pp. 19\u201330 (2015)"},{"key":"23_CR7","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., Ragni, M.: A computational logic approach to the suppression task. In: Miyake, N., Peebles, D., Cooper, R.P. (eds.) Proceedings of the 34th Annual Conference of the Cognitive Science Society, pp. 1500\u20131505. Cognitive Science Society, Austin, TX (2012)"},{"key":"23_CR8","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., Ragni, M.: A computational logic approach to the abstract and the social case of the selection task. In: 11th International Symposium on Logical Formalizations of Commonsense Reasoning (2013)"},{"issue":"1\u20132","key":"23_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1080\/11663081.2014.911520","volume":"24","author":"E-A Dietz","year":"2014","unstructured":"Dietz, E.-A., H\u00f6lldobler, S., Wernhard, C.: Modeling the suppression task under weak completion and well-founded semantics. J. Appl. Non-Class. Logics 24(1\u20132), 61\u201385 (2014)","journal-title":"J. Appl. Non-Class. Logics"},{"issue":"414","key":"23_CR10","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/mind\/104.414.235","volume":"104","author":"D Edgington","year":"1995","unstructured":"Edgington, D.: On conditionals. Mind 104(414), 235\u2013329 (1995)","journal-title":"Mind"},{"key":"23_CR11","series-title":"Oxford cognitive science series","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198525134.001.0001","volume-title":"If","author":"J Evans","year":"2004","unstructured":"Evans, J., Over, D.: If. Oxford cognitive science series. Oxford University Press, Oxford (2004)"},{"issue":"4","key":"23_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M Fitting","year":"1985","unstructured":"Fitting, M.: A Kripke-Kleene semantics for logic programs. J. Logic Program. 2(4), 295\u2013312 (1985)","journal-title":"J. Logic Program."},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"ML Ginsberg","year":"1986","unstructured":"Ginsberg, M.L.: Counterfactuals. Artif. Intell. 30(1), 35\u201379 (1986)","journal-title":"Artif. Intell."},{"key":"23_CR14","volume-title":"Consciousness and Self-consciousness","author":"C Hoerl","year":"2011","unstructured":"Hoerl, C., McCormack, T., Beck, S.R.: Understanding counterfactuals and causation. In: Hoerl, C., McCormack, T., Beck, S.R. (eds.) Consciousness and Self-consciousness. Oxford University Press, Oxford (2011)"},{"key":"23_CR15","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)"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-04277-5_9","volume-title":"Artificial Neural Networks \u2013 ICANN 2009","author":"S H\u00f6lldobler","year":"2009","unstructured":"H\u00f6lldobler, S., Kencana Ramli, C.D.P.: Logics and networks for human reasoning. In: Alippi, C., Polycarpou, M., Panayiotou, C., Ellinas, G. (eds.) ICANN 2009, Part II. LNCS, vol. 5769, pp. 85\u201394. Springer, Heidelberg (2009)"},{"key":"23_CR17","unstructured":"H\u00f6lldobler, S., Philipp, T., Wernhard, C.: An abductive model for human reasoning. In: Logical Formalizations of Commonsense Reasoning, Papers from the AAAI 2011 Spring Symposium, AAAI Spring Symposium Series, Technical Reports, pp. 135\u2013138. AAAI Press, Cambridge, MA (2011)"},{"key":"23_CR18","unstructured":"H\u00f6lldobler, S., Ramli, C.K.: 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)"},{"issue":"6","key":"23_CR19","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"AC Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. J. Logic Comput. 2(6), 719\u2013770 (1993)","journal-title":"J. Logic Comput."},{"key":"23_CR20","unstructured":"Kencana Ramli, C.D.: Logic programs and three-valued consequence operators. Master\u2019s thesis, Institute for Artificial Intelligence, TU Dresden, 2009"},{"key":"23_CR21","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Blackwell Publishers, Oxford (1973)"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"581","DOI":"10.2307\/2185051","volume":"95","author":"D Lewis","year":"1976","unstructured":"Lewis, D.: Probabilities of conditionals and conditional probabilities. Philos. Rev. 95, 581\u2013589 (1976)","journal-title":"Philos. Rev."},{"key":"23_CR23","volume-title":"On the Plurality of Worlds","author":"D Lewis","year":"1986","unstructured":"Lewis, D.: On the Plurality of Worlds. Blackwell Publishers, Oxford (1986)"},{"key":"23_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984)"},{"key":"23_CR25","unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej. Ruch Filozoficzny, 5:169\u2013171, 1920: English translation: on three-valued logic. In: \u0141ukasiewicz, J., Borkowski, L. (eds.) Selected Works, pp. 87\u201388. North Holland, Amsterdam (1990)"},{"key":"23_CR26","volume-title":"Causality: Models, Reasoning, and Inference","author":"J Pearl","year":"2000","unstructured":"Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press, New York (2000)"},{"issue":"1","key":"23_CR27","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10472-011-9247-9","volume":"61","author":"J Pearl","year":"2011","unstructured":"Pearl, J.: The algorithmization of counterfactuals. Ann. Math. Artif. Intell. 61(1), 29\u201339 (2011)","journal-title":"Ann. Math. Artif. Intell."},{"key":"23_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-51665-4_78","volume-title":"EPIA 1989","author":"LM Pereira","year":"1989","unstructured":"Pereira, L.M., Apar\u00edcio, J.N.: Relevant counterfactuals. EPIA 1989. LNCS, vol. 390, pp. 107\u2013118. Springer, Heidelberg (1989)"},{"key":"23_CR29","unstructured":"Pereira, L.M., Dietz, E.-A., H\u00f6lldobler, S.: A computational logic approach to the belief bias effect. In: Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (2014)"},{"key":"23_CR30","first-page":"633","volume":"14","author":"LM Pereira","year":"2014","unstructured":"Pereira, L.M., Dietz, E.-A., H\u00f6lldobler, S.: Contextual abductive reasoning with side-effects. TPLP 14, 633\u2013648 (2014)","journal-title":"TPLP"},{"key":"23_CR31","unstructured":"Pereira, L.M., Saptawijaya, A.: Abduction and beyond in logic programming with application to morality. IfCoLog J. Logics Appl. Special issue on\u201cFrontiers of Abduction\u201d (2015, accepted)"},{"key":"23_CR32","volume-title":"The Foundations of Mathematics and Other Logical Essays","author":"F Ramsey","year":"1931","unstructured":"Ramsey, F.: The Foundations of Mathematics and Other Logical Essays. Harcourt, Brace and Company, New York (1931)"},{"key":"23_CR33","volume-title":"What If?: Thought Experimentation In Philosophy","author":"N Rescher","year":"2005","unstructured":"Rescher, N.: What If?: Thought Experimentation In Philosophy. Transaction Publishers, New Brunswick (2005)"},{"key":"23_CR34","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2093.001.0001","volume-title":"Conditionals","author":"N Rescher","year":"2007","unstructured":"Rescher, N.: Conditionals. MIT Press, Cambridge (2007)"},{"issue":"1","key":"23_CR35","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0020-7373(07)80008-3","volume":"35","author":"T Routen","year":"1991","unstructured":"Routen, T., Bench-Capon, T.J.M.: Hierarchical formalizations. Int. J. Man-Mach. Stud. 35(1), 69\u201393 (1991)","journal-title":"Int. J. Man-Mach. Stud."},{"issue":"1\u20132","key":"23_CR36","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1080\/11663081.2014.911537","volume":"24","author":"K Schulz","year":"2014","unstructured":"Schulz, K.: Minimal models vs. logic programming: the case of counterfactual conditionals. J. Appl. Non-Class. Logics 24(1\u20132), 153\u2013168 (2014)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"23_CR37","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195183115.001.0001","volume-title":"Causal Models How People Think about the World and Its Alternatives","author":"S Sloman","year":"2005","unstructured":"Sloman, S.: Causal Models How People Think about the World and Its Alternatives. Oxford University Press, Oxford (2005)"},{"key":"23_CR38","first-page":"98","volume-title":"Studies in Logical Theory","author":"RC Stalnaker","year":"1968","unstructured":"Stalnaker, R.C.: A theory of conditionals. In: Rescher, N. (ed.) Studies in Logical Theory, pp. 98\u2013112. Blackwell, Oxford (1968)"},{"key":"23_CR39","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1111\/j.1755-2567.1970.tb00408.x","volume":"36","author":"RC Stalnaker","year":"1970","unstructured":"Stalnaker, R.C., Thomason, R.H.: A semantic analysis of conditional logic. Theoria 36, 23\u201342 (1970)","journal-title":"Theoria"},{"key":"23_CR40","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science. A Bradford Book","author":"K Stenning","year":"2008","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. A Bradford Book. MIT Press, Cambridge (2008)"},{"key":"23_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-642-15675-5_27","volume-title":"Logics in Artificial Intelligence","author":"J Vennekens","year":"2010","unstructured":"Vennekens, J., Bruynooghe, M., Denecker, M.: Embracing events in causal modelling: interventions and counterfactuals in CP-logic. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol. 6341, pp. 313\u2013325. Springer, Heidelberg (2010)"},{"key":"23_CR42","doi-asserted-by":"crossref","unstructured":"Vennekens, J., Denecker, M., Bruynooghe, M.: CP-logic: a language of causal probabilistic events and its relation to logic programming. CoRR, abs\/0904.1672 (2009)","DOI":"10.1017\/S1471068409003767"},{"key":"23_CR43","volume-title":"Understanding Counterfactuals, Understanding Causation: Issues in Philosophy and Psychology, Consciousness and Self-consciousness","author":"J Woodward","year":"2011","unstructured":"Woodward, J.: Psychological studies of causal and counterfactual reasoning. In: Hoerl, C., McCormack, T., Beck, S.R. (eds.) Understanding Counterfactuals, Understanding Causation: Issues in Philosophy and Psychology, Consciousness and Self-consciousness. Oxford University Press, Oxford (2011)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23264-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T16:22:32Z","timestamp":1748622152000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23264-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232638","9783319232645"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23264-5_23","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":"15 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}