{"id":10470,"date":"2026-06-10T19:13:33","date_gmt":"2026-06-10T11:13:33","guid":{"rendered":"https:\/\/tsinghualogic.net\/JRC\/?page_id=10470"},"modified":"2026-07-03T15:40:33","modified_gmt":"2026-07-03T07:40:33","slug":"learning-and-dynamic-logic","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/learning-and-dynamic-logic\/","title":{"rendered":"Learning and Dynamic Logic"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"10470\" class=\"elementor elementor-10470\" data-elementor-settings=\"[]\">\n\t\t\t\t\t\t\t<div class=\"elementor-section-wrap\">\n\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-d1649f8 elementor-section-content-middle elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"d1649f8\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-66 elementor-top-column elementor-element elementor-element-9893244\" data-id=\"9893244\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-9c1120b elementor-widget elementor-widget-text-editor\" data-id=\"9c1120b\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<ul><li><strong>Dates: <\/strong>June 30<sup>th<\/sup> &#8211; July 3<sup>rd <\/sup>(The exact time is shown below.)\u00a0<\/li><li><strong>Location:<\/strong> Jianhua Building A308\uff08\u5efa\u534e\/\u7ecf\u7ba1\u65b0\u697cA308\uff09<\/li><li><strong>Lecturer:<\/strong> <a href=\"https:\/\/ninagierasimczuk.com\">Nina Gierasimczuk<\/a> (Danish Technical University)<\/li><li><strong>Teaching Assistants: <\/strong>\u6b27\u9633\u6587\u98de\uff08wenfeiouyang@gmail.com\uff09\uff0c\u9a6c\u90c5\u771f\uff08mzz25@mails.tsinghua.edu.cn\uff09<\/li><li>\u672c\u8bfe\u7a0b\u5bf9\u5e94\u6e05\u534e\u590f\u5b63\u5c0f\u5b66\u671f\u8bfe\u7a0b\u201c\u4eba\u5de5\u667a\u80fd\u7684\u903b\u8f91\u57fa\u7840\u201d\uff0c\u8bfe\u7a0b\u53f7\uff1a00692441-90<\/li><li><strong>Zoom link:<\/strong>\u00a0<a href=\"https:\/\/dtudk.zoom.us\/j\/65929338291?pwd=GYJTiPWlavs1iO4esJuzT2bg7qBMkA.1\">https:\/\/dtudk.zoom.us\/j\/65929338291?pwd=GYJTiPWlavs1iO4esJuzT2bg7qBMkA.1<\/a><ul><li><div><strong>Meeting ID:<\/strong> 65929338291<\/div><\/li><li><div><strong>Passcode:<\/strong> 679846<\/div><\/li><\/ul><\/li><\/ul>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-33 elementor-top-column elementor-element elementor-element-eb07b8b\" data-id=\"eb07b8b\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-d817ccf elementor-widget elementor-widget-image\" data-id=\"d817ccf\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"223\" height=\"256\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/citations.jpeg\" class=\"attachment-large size-large\" alt=\"\" loading=\"lazy\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/citations.jpeg 223w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/citations-174x200.jpeg 174w\" sizes=\"(max-width: 223px) 100vw, 223px\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">Nina Gierasimczuk<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-b1206fb elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b1206fb\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-9cf253c\" data-id=\"9cf253c\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-2b3d2b7 elementor-widget elementor-widget-heading\" data-id=\"2b3d2b7\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px}<\/style><h3 class=\"elementor-heading-title elementor-size-default\">Course Description<\/h3>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-6d44c4f elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6d44c4f\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-e157391\" data-id=\"e157391\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-6aad681 elementor-widget elementor-widget-text-editor\" data-id=\"6aad681\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p>In recent years, modern machine learning systems have shown unprecedented success at learning from data with little human guidance. In parallel to the advancements in AI, Cognitive Science has been very successful at applying a variety of computational models to human learning. Still, computational and cognitive learners are often \u2018black-boxes\u2019 lacking interpretation and explanation. How can we reason about, understand, and guide computational learning processes? This course focuses on a particular approach to this problem of describing and reasoning about learning which takes inspiration from Dynamic Epistemic Logic. the lectures will concern both classical problems in learning and recent results about dynamic logics of learning. The course will be interdisciplinary, \u00a0touching on themes from mathematical logic, theoretical computer science, and formal philosophy, but also cognitive and social science.<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f3b33a0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f3b33a0\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-a5c7cac\" data-id=\"a5c7cac\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-038cc4e elementor-widget elementor-widget-heading\" data-id=\"038cc4e\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Schedule<\/h3>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-bb29579 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"bb29579\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-980cc82\" data-id=\"980cc82\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-6318751 elementor-widget elementor-widget-text-editor\" data-id=\"6318751\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone wp-image-10637 size-full\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/\u622a\u5c4f2026-06-30-17.20.37.png\" alt=\"\" width=\"1698\" height=\"970\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/\u622a\u5c4f2026-06-30-17.20.37.png 1698w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/\u622a\u5c4f2026-06-30-17.20.37-200x114.png 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/\u622a\u5c4f2026-06-30-17.20.37-768x439.png 768w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/\u622a\u5c4f2026-06-30-17.20.37-1536x877.png 1536w\" sizes=\"(max-width: 1698px) 100vw, 1698px\" \/><\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-93c67f9 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"93c67f9\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-a051695\" data-id=\"a051695\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-fe17f81 elementor-widget elementor-widget-heading\" data-id=\"fe17f81\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Background knowledge<\/h3>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-dc235b7 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"dc235b7\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1a83a91\" data-id=\"1a83a91\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-2804961 elementor-widget elementor-widget-text-editor\" data-id=\"2804961\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p>The course requires background in propositional logic and basic modal logic (its syntax and Kripke semantics). The necessary background on Belief Revision Theory, Dynamic Epistemic Logic and Learning Theory will be introduced on the first two days. The course will feature technical elements, examples, exercises and discussions.<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-78e37a8 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"78e37a8\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-f632722\" data-id=\"f632722\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-eb5b44e elementor-widget elementor-widget-heading\" data-id=\"eb5b44e\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Assessment<\/h3>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-6936793 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6936793\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-f4bf33f\" data-id=\"f4bf33f\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-9890991 elementor-widget elementor-widget-text-editor\" data-id=\"9890991\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p>The course will be assessed on the basis of 3 homework assignments and a final written exam.<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-f0af9ca elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"f0af9ca\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-ea4e403\" data-id=\"ea4e403\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-f9269df elementor-widget elementor-widget-heading\" data-id=\"f9269df\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Course material<\/h3>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-0317def elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"0317def\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-55c47e1\" data-id=\"55c47e1\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-12057b7 elementor-widget elementor-widget-text-editor\" data-id=\"12057b7\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h5 style=\"text-align: left;\">Slides:<\/h5><p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/TOSS26_LL_d1.pdf\">Slides for Day 1<\/a>, <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/TOSS26_LL_d2.pdf\">Slides for Day 2<\/a>, <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/TOSS26_LL_d3.pdf\">Slides for Day 3<\/a>, <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/TOSS26_LL_d4.pdf\">Slides for Day 4<\/a><\/p><h5 style=\"text-align: left;\">Homework:<\/h5><p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/06\/TOSS26_LL_hw1.pdf\">HW 1<\/a>, <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/TOSS26_LL_hw2.pdf\">HW2<\/a>, <a href=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2026\/07\/TOSS26_LL_hw3.pdf\">HW3<\/a>\u00a0<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-b9cb211 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b9cb211\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-d11e8f6\" data-id=\"d11e8f6\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-f078e98 elementor-widget elementor-widget-text-editor\" data-id=\"f078e98\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div><span style=\"color: #303133; font-size: 1.2em; background-color: inherit; text-align: inherit;\">Reading material:<\/span><\/div><div>Technical Background (prerequisites):<\/div><div><ul class=\"MailOutline\"><li>Blackburn, P., de Rijke, M., &amp; Venema, Y. (2001). Modal logic. Cambridge University Press. (Chapter 1)<\/li><li>van Ditmarsch, H., van der Hoek, W., &amp; Kooi, B. (2007). Dynamic epistemic logic. Springer. (Chapters 1-4)<\/li><li>Huth, M., &amp; Ryan, M. (2004). Logic in computer science: Modelling and reasoning about systems (2nd ed.). Cambridge University Press. (Chapter 1)<\/li><\/ul><\/div><div>Literature accompanying the course:<\/div><div><ul class=\"MailOutline\"><li>Hansson, S. O. (2024). Logic of belief revision. In E. N. Zalta &amp; U. Nodelman (Eds.), The Stanford Encyclopedia of Philosophy. Stanford University.<\/li><li>Johan van Benthem (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17(2), 129\u2013155.<\/li><li>Baltag, A., Gierasimczuk, N., &amp; Smets, S. (2019). Truth-tracking by belief revision. Studia Logica, 107(5), 917\u2013947.<\/li><li>E. Baccini, Z. Christoff, N. Gierasimczuk, R. Verbrugge, Who is afraid of minimal revision?, in: Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2025), volume 437 of Electronic Proceedings in Theoretical Computer Science, 2025, pp. 301\u2013320.<\/li><li>N. Schwind, K. Inoue, S. Konieczny and P. Marquis, Iterated Belief Change as Learning, Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-25), pp. 4669-4677.<\/li><li>Aravanis, T. (2025). Towards machine learning as AGM-style belief change. International Journal of Approximate Reasoning. Advance online publication.<\/li><li>Pigozzi, G. (2025). Belief merging and judgment aggregation. In E. N. Zalta &amp; U. Nodelman (Eds.), The Stanford Encyclopedia of Philosophy.<\/li><li>P. Everaere, S. Konieczny, P. Marquis, The epistemic view of belief merging: Can we track the truth?, in: H. Coelho, R. Studer, M. J. Wooldridge (Eds.), ECAI 2010 \u2013 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, volume 215 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2010, pp. 621\u2013626.<\/li><li>S. D\u2019Alfonso, Belief merging with the aim of truthlikeness, Synthese 193 (2016) 2013\u20132034.<\/li><li>J. Singleton, R. Booth, Truth-tracking with non-expert information sources, J. Artif. Intell. Res. 81 (2024) 619\u2013641.<\/li><li>N. Gierasimczuk, T. Skafte Truth-Tracking by Belief Merge, 24th International Workshop on Nonmonotonic Reasoning, July 17\u201319, 2026, Lisbon, Portugal, EPTCS 2026. (to appear)<\/li><\/ul><\/div>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Dates: June 30th &#8211; July 3rd (The exact time is sh [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/10470"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=10470"}],"version-history":[{"count":94,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/10470\/revisions"}],"predecessor-version":[{"id":10690,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/10470\/revisions\/10690"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=10470"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}