{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:59:15Z","timestamp":1742957955590,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031517761"},{"type":"electronic","value":"9783031517778"}],"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-51777-8_7","type":"book-chapter","created":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T09:03:07Z","timestamp":1705050187000},"page":"104-118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Learning by\u00a0Intervention in\u00a0Simple Causal Domains"],"prefix":"10.1007","author":[{"given":"Katrine Bj\u00f8rn Pedersen","family":"Thoft","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5081-4676","authenticated-orcid":false,"given":"Nina","family":"Gierasimczuk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,13]]},"reference":[{"issue":"5","key":"7_CR1","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1007\/s10992-020-09588-z","volume":"50","author":"A Baltag","year":"2021","unstructured":"Baltag, A., van Benthem, J.: A simple logic of functional dependence. J. Philos. Log. 50(5), 939\u20131005 (2021). https:\/\/doi.org\/10.1007\/s10992-020-09588-z","journal-title":"J. Philos. Log."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"100485","DOI":"10.1016\/j.jlamp.2019.100485","volume":"109","author":"A Baltag","year":"2019","unstructured":"Baltag, A., Gierasimczuk, N., \u00d6zg\u00fcn, A., Vargas Sandoval, A.L., Smets, S.: A dynamic logic for learning theory. J. Log. Algebraic Methods Program. 109, 100485 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2019.100485","journal-title":"J. Log. Algebraic Methods Program."},{"issue":"3","key":"7_CR3","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10992-020-09573-6","volume":"50","author":"F Barbero","year":"2021","unstructured":"Barbero, F., Sandu, G.: Team semantics for interventionist counterfactuals: observations vs. interventions. J. Philos. Log. 50(3), 471\u2013521 (2021). https:\/\/doi.org\/10.1007\/s10992-020-09573-6","journal-title":"J. Philos. Log."},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-030-65840-3_2","volume-title":"Dynamic Logic. New Trends and Applications","author":"F Barbero","year":"2020","unstructured":"Barbero, F., Schulz, K., Smets, S., Vel\u00e1zquez-Quesada, F.R., Xie, K.: Thinking about causation: a causal language with epistemic operators. In: Martins, M.A., Sedl\u00e1r, I. (eds.) DaLi 2020. LNCS, vol. 12569, pp. 17\u201332. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-65840-3_2"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Bolander, T., Gierasimczuk, N., Liberman, A.: Learning to act and observe in partially observable domains. In: Bezhanishvili, N., Yang, F. (eds.) Outstanding Contributions to Logic: Dick de Jongh. Springer, Cham (2023). (in preparation). https:\/\/doi.org\/10.48550\/arXiv.2109.06076","DOI":"10.48550\/arXiv.2109.06076"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-662-48561-3_4","volume-title":"Logic, Rationality, and Interaction","author":"T Bolander","year":"2015","unstructured":"Bolander, T., Gierasimczuk, N.: Learning actions models: qualitative approach. In: van der Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 40\u201352. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48561-3_4"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1093\/logcom\/exx036","volume":"28","author":"T Bolander","year":"2017","unstructured":"Bolander, T., Gierasimczuk, N.: Learning to act: qualitative learning of deterministic action models. J. Log. Comput. 28(2), 337\u2013365 (2017). https:\/\/doi.org\/10.1093\/logcom\/exx036","journal-title":"J. Log. Comput."},{"issue":"3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/j.ic.2010.08.002","volume":"209","author":"C D\u00e9gremont","year":"2011","unstructured":"D\u00e9gremont, C., Gierasimczuk, N.: Finite identification from the viewpoint of epistemic update. Inf. Comput. 209(3), 383\u2013396 (2011). https:\/\/doi.org\/10.1016\/j.ic.2010.08.002","journal-title":"Inf. Comput."},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Gierasimczuk, N.: Inductive inference and epistemic modal logic. In: Klin, B., Pimentel, E. (eds.) 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). Leibniz International Proceedings in Informatics (LIPIcs), vol. 252, pp. 2:1\u20132:16. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl (2023). https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2023.2","DOI":"10.4230\/LIPIcs.CSL.2023.2"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1093\/comjnl\/bxs059","volume":"56","author":"N Gierasimczuk","year":"2013","unstructured":"Gierasimczuk, N., Jonghde Jongh, D.: On the complexity of conclusive update. Comput. J. 56(3), 365\u2013377 (2013). https:\/\/doi.org\/10.1093\/comjnl\/bxs059","journal-title":"Comput. J."},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"524","DOI":"10.3389\/fgene.2019.00524","volume":"10","author":"C Glymour","year":"2019","unstructured":"Glymour, C., Zhang, K., Spirtes, P.: Review of causal discovery methods based on graphical models. Front. Genet. 10, 524 (2019). https:\/\/doi.org\/10.3389\/fgene.2019.00524","journal-title":"Front. Genet."},{"issue":"5","key":"7_CR12","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"M Gold","year":"1967","unstructured":"Gold, M.: Language identification in the limit. Inf. Control 10(5), 447\u2013474 (1967). https:\/\/doi.org\/10.1016\/S0019-9958(67)91165-5","journal-title":"Inf. Control"},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/10809.001.0001","volume-title":"Actual Causality","author":"JY Halpern","year":"2016","unstructured":"Halpern, J.Y.: Actual Causality. The MIT Press, Cambridge (2016). https:\/\/doi.org\/10.7551\/mitpress\/10809.001.0001"},{"key":"7_CR14","doi-asserted-by":"publisher","unstructured":"Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon. In: Fenstad, J.E., Frolov, I.T., Hilpinen, R. (eds.) Logic, Methodology and Philosophy of Science VIII, Studies in Logic and the Foundations of Mathematics, vol. 126, pp. 571\u2013589. Elsevier (1989). https:\/\/doi.org\/10.1016\/S0049-237X(08)70066-1","DOI":"10.1016\/S0049-237X(08)70066-1"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jecp.2015.06.017","volume":"141","author":"T McCormack","year":"2016","unstructured":"McCormack, T., Bramley, N., Frosch, C., Patrick, F., Lagnado, D.: Children\u2019s use of interventions to learn causal structure. J. Exp. Child Psychol. 141, 1\u201322 (2016). https:\/\/doi.org\/10.1016\/j.jecp.2015.06.017","journal-title":"J. Exp. Child Psychol."},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Muentener, P., Bonawitz, E.: The development of causal reasoning. In: Waldmann, M.R. (ed.) The Oxford Handbook of Causal Reasoning, pp. 677\u2013698. Oxford University Press (2017). https:\/\/doi.org\/10.1093\/oxfordhb\/9780199399550.001.0001","DOI":"10.1093\/oxfordhb\/9780199399550.001.0001"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"Pearl, J.: Introduction to Probabilities, Graphs, and Causal Models, 2 edn., pp. 1\u201340. Cambridge University Press (2009). https:\/\/doi.org\/10.1017\/CBO9780511803161.003","DOI":"10.1017\/CBO9780511803161.003"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Pearl, J., Mackenzie, D.: The Book of Why: The New Science of Cause and Effect, 1st edn. Basic Books Inc., USA (2018). https:\/\/doi.org\/10.1007\/s00146-020-00971-7","DOI":"10.1007\/s00146-020-00971-7"},{"key":"7_CR19","volume-title":"Elements of Causal Inference: Foundations and Learning Algorithms: Foundations and Learning Algorithms","author":"JM Peters","year":"2017","unstructured":"Peters, J.M., Janzing, D., Sch\u00f6lkopf, B.: Elements of Causal Inference: Foundations and Learning Algorithms: Foundations and Learning Algorithms. MIT Press, Cambridge (2017)"},{"key":"7_CR20","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts). Cambridge University Press, Cambridge (2007). https:\/\/doi.org\/10.1017\/CBO9780511611193"},{"key":"7_CR21","doi-asserted-by":"publisher","unstructured":"Von Wright, G.: On the logic and epistemology of the causal relation. In: Suppes, P., Henkin, L., Joja, A., Moisil, G.C. (eds.) Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971. Studies in Logic and the Foundations of Mathematics, vol. 74, pp. 293\u2013312. Elsevier (1973). https:\/\/doi.org\/10.1016\/S0049-237X(09)70366-0","DOI":"10.1016\/S0049-237X(09)70366-0"},{"issue":"7","key":"7_CR22","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1016\/j.apal.2016.03.003","volume":"167","author":"F Yang","year":"2016","unstructured":"Yang, F., V\u00e4\u00e4n\u00e4nen, J.: Propositional logics of dependence. Ann. Pure Appl. Log. 167(7), 557\u2013589 (2016). https:\/\/doi.org\/10.1016\/j.apal.2016.03.003","journal-title":"Ann. Pure Appl. Log."}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51777-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T09:03:57Z","timestamp":1705050237000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51777-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031517761","9783031517778"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51777-8_7","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":"13 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DaL\u00ed","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Dynamic Logic","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tbilisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"DaL\u00ed2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dali2023.compute.dtu.dk\/","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":"10","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":"8","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":"0","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":"80% - 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":"1","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)"}}]}}