{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T10:26:18Z","timestamp":1759400778107,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031569395"},{"type":"electronic","value":"9783031569401"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-56940-1_11","type":"book-chapter","created":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T11:01:40Z","timestamp":1711623700000},"page":"203-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the\u00a0Logic of\u00a0Interventionist Counterfactuals Under Indeterministic Causal Laws"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0959-6977","authenticated-orcid":false,"given":"Fausto","family":"Barbero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,3,29]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Barbero, F., Galliani, P.: Embedding causal team languages into predicate logic. Ann. Pure Appl. Log. 103\u2013159 (2022)","DOI":"10.1016\/j.apal.2022.103159"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Barbero, F., Sandu, G.: Team semantics for interventionist counterfactuals: observations vs. interventions. J. Philos. Log. 50, 471\u2013521 (2021)","DOI":"10.1007\/s10992-020-09573-6"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Barbero, F., Schulz, K., Velazquez-Quesada, F.R., Xie, K.: Observing interventions: a logic for thinking about experiments. J. Log. Comput. (2022)","DOI":"10.1093\/logcom\/exac011"},{"key":"11_CR4","doi-asserted-by":"publisher","unstructured":"Barbero, F., Virtema, J.: Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. In: Gaggl, S., Martinez, M.V., Ortiz, M. (eds.) Logics in Artificial Intelligence. JELIA 2023. LNCS, vol. 14281, pp. 649\u2013664. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43619-2_44","DOI":"10.1007\/978-3-031-43619-2_44"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Barbero, F., Yang, F.: Characterizing counterfactuals and dependencies over (generalized) causal teams. Notre Dame J. Form. Log. 63(3) (2022)","DOI":"10.1215\/00294527-2022-0017"},{"key":"11_CR6","unstructured":"Beckers, S., Halpern, J., Hitchcock, C.: Causal models with constraints. In: Conference on Causal Learning and Reasoning, pp. 866\u2013879. PMLR (2023)"},{"key":"11_CR7","volume-title":"Causality and Chance in Modern Physics","author":"D Bohm","year":"1957","unstructured":"Bohm, D.: Causality and Chance in Modern Physics. Van Nostrand Company Inc., Princeton, NJ (1957)"},{"issue":"1","key":"11_CR8","first-page":"139","volume":"160","author":"R Briggs","year":"2012","unstructured":"Briggs, R.: Interventionist counterfactuals. Philos. Stud. Int. J. Philos. Anal. Tradit. 160(1), 139\u2013166 (2012)","journal-title":"Philos. Stud. Int. J. Philos. Anal. Tradit."},{"key":"11_CR9","doi-asserted-by":"publisher","unstructured":"Fang, J., Zhang, J.: A characterization of Lewisian causal models. In: Alechina, N., Herzig, A., Liang, F. (eds.) Logic, Rationality, and Interaction. LORI 2023. LNCS, vol. 14329, pp. 94\u2013108. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-45558-2_8","DOI":"10.1007\/978-3-031-45558-2_8"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1009602825894","volume":"3","author":"D Galles","year":"1998","unstructured":"Galles, D., Pearl, J.: An axiomatic characterization of causal counterfactuals. Found. Sci. 3(1), 151\u2013182 (1998)","journal-title":"Found. Sci."},{"issue":"1","key":"11_CR11","first-page":"317","volume":"12","author":"JY Halpern","year":"2000","unstructured":"Halpern, J.Y.: Axiomatizing causal reasoning. J. Artif. Int. Res. 12(1), 317\u2013337 (2000)","journal-title":"J. Artif. Int. Res."},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020312000305","volume":"6","author":"JY Halpern","year":"2013","unstructured":"Halpern, J.Y.: From causal models to counterfactual structures. Rev. Symb. Log. 6(2), 305\u2013322 (2013)","journal-title":"Rev. Symb. Log."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y.: Actual Causality. MIT Press, Cambridge (2016)","DOI":"10.7551\/mitpress\/10809.001.0001"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Peters, S.: Reasoning about causal models with infinitely many variables. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, pp. 5668\u20135675 (2022)","DOI":"10.1609\/aaai.v36i5.20508"},{"key":"11_CR15","first-page":"4779","volume":"6","author":"JJ Heckman","year":"2007","unstructured":"Heckman, J.J., Vytlacil, E.J.: Econometric evaluation of social programs, part i: causal models, structural models and econometric policy evaluation. Handb. Econ. 6, 4779\u20134874 (2007)","journal-title":"Handb. Econ."},{"key":"11_CR16","unstructured":"Hernan, M.A., Robins, J.: Causal Inference: What if. Chapman & Hill\/CRC, Boca Raton. forthcoming"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Ibeling, D., Icard, T.: Probabilistic reasoning across the causal hierarchy. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, pp. 10170\u201310177 (2020)","DOI":"10.1609\/aaai.v34i06.6577"},{"key":"11_CR18","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Blackwell Publishers, Oxford (1973)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Morgan, S.L., Winship, C.: Counterfactuals and Causal Inference. Cambridge University Press, Cambridge (2015)","DOI":"10.1017\/CBO9781107587991"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Mosse, M., Ibeling, D., Icard, T.: Is causal reasoning harder than probabilistic reasoning? Rev. Symb. Log. 1\u201326 (2022)","DOI":"10.1017\/S1755020322000211"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Paul, L.A., Hall, E.J.: Causation: A User\u2019s Guide. Oxford University Press, Oxford (2013)","DOI":"10.1093\/acprof:oso\/9780199673445.001.0001"},{"key":"11_CR22","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, NY, USA (2000)"},{"issue":"2","key":"11_CR23","doi-asserted-by":"publisher","first-page":"20170018","DOI":"10.1515\/jci-2017-0018","volume":"5","author":"J Pearl","year":"2017","unstructured":"Pearl, J.: Physical and metaphysical counterfactuals: evaluating disjunctive actions. J. Causal Inference 5(2), 20170018 (2017)","journal-title":"J. Causal Inference"},{"key":"11_CR24","unstructured":"Peters, J., Janzing, D., Scholkopf, B.: Elements of Causal Inference: Foundations and Learning Algorithms. MIT Press, Cambridge (2017)"},{"key":"11_CR25","unstructured":"Peters, S., Halpern, J.Y.: Causal modeling with infinitely many variables. arXiv preprint arXiv:2112.09171 (2021)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Sch\u00f6lkopf, B.: Causality for machine learning. In: Probabilistic and Causal Inference: The Works of Judea Pearl, pp. 765\u2013804. Association for Computing Machinery (2022)","DOI":"10.1145\/3501714.3501755"},{"key":"11_CR27","doi-asserted-by":"publisher","unstructured":"Spirtes, P., Glymour, C.N., Scheines, R.: Causation, Prediction, and Search, vol. 81 of LNS. Springer, New York (1993). https:\/\/doi.org\/10.1007\/978-1-4612-2748-9","DOI":"10.1007\/978-1-4612-2748-9"},{"key":"11_CR28","unstructured":"Wysocki, T.: The underdeterministic framework. Br. J. Philos. Sci. forthcoming"},{"issue":"1","key":"11_CR29","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s11023-011-9261-z","volume":"23","author":"J Zhang","year":"2013","unstructured":"Zhang, J.: A Lewisian logic of causal counterfactuals. Minds Mach. 23(1), 77\u201393 (2013)","journal-title":"Minds Mach."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-56940-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T00:03:42Z","timestamp":1711757022000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-56940-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031569395","9783031569401"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-56940-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoIKS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Foundations of Information and Knowledge Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sheffield","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"foiks2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/foiks2024.github.io","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}