{"id":650,"date":"2023-07-24T01:00:54","date_gmt":"2023-07-23T22:00:54","guid":{"rendered":"https:\/\/kr.org\/KR2023\/?page_id=650"},"modified":"2023-09-05T13:22:40","modified_gmt":"2023-09-05T10:22:40","slug":"detailed-schedule","status":"publish","type":"page","link":"https:\/\/kr.org\/KR2023\/detailed-schedule\/","title":{"rendered":"Detailed Schedule"},"content":{"rendered":"\n<div class=\"is-layout-flex wp-container-7 wp-block-columns\">\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:9%\">\n<p class=\"has-large-font-size\"><a href=\"https:\/\/kr.org\/KR2023\/schedule\/\" data-type=\"page\" data-id=\"552\">Overview<\/a><\/p>\n<\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:14%\">\n<p class=\"has-large-font-size\"><a href=\"https:\/\/kr.org\/KR2023\/detailed-schedule\/\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/detailed-schedule\/\">Detailed Schedule<\/a><\/p>\n<\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:19%\">\n<p class=\"has-large-font-size\"><a href=\"https:\/\/kr.org\/KR2023\/schedule-day-1\/\" data-type=\"page\" data-id=\"619\">Tuesday, September 5<\/a><\/p>\n<\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:20%\">\n<p class=\"has-large-font-size\"><a href=\"https:\/\/kr.org\/KR2023\/schedule-day-2\/\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/schedule-day-2\/\">Wednesday, September 6<\/a><\/p>\n<\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:19%\">\n<p class=\"has-large-font-size\"><a href=\"https:\/\/kr.org\/KR2023\/schedule-day-3\/\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/schedule-day-3\/\">Thursday, September 7<\/a><\/p>\n<\/div>\n\n\n\n<div class=\"is-layout-flow wp-block-column\" style=\"flex-basis:19%\">\n<p class=\"has-large-font-size\"><a href=\"https:\/\/kr.org\/KR2023\/schedule-day-4\/\" data-type=\"URL\" data-id=\"https:\/\/kr.org\/KR2023\/schedule-day-4\/\">Friday, September 8<\/a><\/p>\n<\/div>\n<\/div>\n\n\n\n<meta http-equiv=\"Content-Type\" content=\"text\/html; charset=utf-8\"><link type=\"text\/css\" rel=\"stylesheet\" href=\"resources\/sheet.css\">\n<style type=\"text\/css\">.ritz .waffle a { color: inherit; }.ritz .waffle .s16{border-right:1px SOLID #000000;background-color:#ffffff;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:top;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s12{border-right:1px SOLID #000000;background-color:#ffffff;}.ritz .waffle .s43{background-color:#cfe2f3;text-align:right;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s3{background-color:#b6d7a8;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s31{background-color:#c9daf8;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:middle;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s37{background-color:#ffffff;text-align:center;font-weight:bold;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:middle;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s35{border-bottom:1px SOLID #000000;background-color:#ead1dc;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:middle;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s33{background-color:#ffffff;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:middle;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s38{background-color:#ffffff;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:top;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s44{background-color:#ffffff;text-align:right;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:top;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s17{background-color:#c9daf8;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:top;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s1{background-color:#ffffff;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s29{background-color:#fce5cd;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s27{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#d9ead3;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s39{background-color:#fce5cd;text-align:center;font-weight:bold;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s22{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#c9daf8;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s28{background-color:#d9ead3;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s41{border-right:1px SOLID #000000;background-color:#ffffff;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:middle;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s36{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#fce5cd;text-align:center;font-weight:bold;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:middle;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s7{background-color:#cfe2f3;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:top;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s23{border-right:1px SOLID #000000;background-color:#ffffff;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s24{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#fce5cd;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s26{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#d9ead3;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s0{background-color:#e6b8af;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s25{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#fce5cd;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s6{background-color:#00ffff;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s15{background-color:#c9daf8;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:middle;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s8{border-bottom:1px SOLID #000000;background-color:#e6b8af;text-align:center;font-weight:bold;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s19{border-bottom:1px SOLID #000000;background-color:#c9daf8;text-align:center;font-weight:bold;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s20{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#fce5cd;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:top;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s21{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#c9daf8;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s42{background-color:#d5a6bd;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s14{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#d9ead3;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:top;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s2{background-color:#c9daf8;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s5{background-color:#ffffff;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s46{border-right:1px SOLID #000000;background-color:#ffffff;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s9{background-color:#ffffff;text-align:left;font-weight:bold;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s34{background-color:#d9ead3;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:top;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s30{background-color:#fce5cd;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s45{background-color:#ffffff;text-align:right;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s11{background-color:#c9daf8;text-align:center;font-weight:bold;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:middle;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s4{background-color:#b6d7a8;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s10{border-bottom:1px SOLID #000000;background-color:#d9ead3;text-align:center;font-weight:bold;color:#1f1f1f;font-family:'docs-Google Sans',Arial;font-size:9pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s18{border-bottom:1px SOLID #000000;background-color:#fce5cd;text-align:center;font-weight:bold;color:#1f1f1f;font-family:'docs-Google Sans',Arial;font-size:9pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s13{border-bottom:1px SOLID #000000;border-right:1px SOLID #000000;background-color:#fce4d6;text-align:left;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:top;white-space:normal;overflow:hidden;word-wrap:break-word;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s32{background-color:#ead1dc;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:middle;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}.ritz .waffle .s40{background-color:#ead1dc;text-align:center;color:#000000;font-family:'Arial';font-size:10pt;vertical-align:bottom;white-space:nowrap;direction:ltr;padding:2px 3px 2px 3px;}<\/style><div class=\"ritz grid-container\" dir=\"ltr\"><table class=\"waffle\" cellspacing=\"0\" cellpadding=\"0\"><thead><tr><th class=\"row-header freezebar-origin-ltr\"><\/th><th id=\"1157202895C0\" style=\"width:88px;\" class=\"column-headers-background\">A<\/th><th id=\"1157202895C3\" style=\"width:381px;\" class=\"column-headers-background\">D<\/th><th id=\"1157202895C4\" style=\"width:381px;\" class=\"column-headers-background\">E<\/th><th id=\"1157202895C5\" style=\"width:107px;\" class=\"column-headers-background\">F<\/th><th id=\"1157202895C8\" style=\"width:423px;\" class=\"column-headers-background\">I<\/th><th id=\"1157202895C9\" style=\"width:423px;\" class=\"column-headers-background\">J<\/th><th id=\"1157202895C10\" style=\"width:100px;\" class=\"column-headers-background\">K<\/th><th id=\"1157202895C11\" style=\"width:281px;\" class=\"column-headers-background\">L<\/th><th id=\"1157202895C12\" style=\"width:399px;\" class=\"column-headers-background\">M<\/th><\/tr><\/thead><tbody><tr style=\"height: 20px\"><th id=\"1157202895R0\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">1<\/div><\/th><td class=\"s0\" dir=\"ltr\" colspan=\"6\">September 5<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R1\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">2<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R2\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">3<\/div><\/th><td class=\"s2\" dir=\"ltr\">8:30-9:00<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Opening <\/td><td class=\"s4\"><\/td><td class=\"s4\"><\/td><td class=\"s4\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R3\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">4<\/div><\/th><td class=\"s1\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R4\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">5<\/div><\/th><td class=\"s1\"><\/td><td class=\"s6\" dir=\"ltr\" colspan=\"2\">Room A<\/td><td><\/td><td class=\"s6\" dir=\"ltr\" colspan=\"2\">Room B<\/td><td><\/td><td class=\"s6\" dir=\"ltr\" colspan=\"2\">Room C<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R5\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">6<\/div><\/th><td class=\"s1\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R6\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">7<\/div><\/th><td class=\"s7\" dir=\"ltr\">9:00-10:15<\/td><td class=\"s8\" dir=\"ltr\" colspan=\"2\">KRR Application 1 <\/td><td class=\"s9\"><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Computational aspects of knowledge representation and Uncertainty<\/td><td><\/td><td class=\"s11\" dir=\"ltr\" colspan=\"2\">DC (9:05-10:15): Introduction and Invited Talk<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R7\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">8<\/div><\/th><td class=\"s12\"><\/td><td class=\"s13\">Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni and Francesco Pacenza<\/td><td class=\"s13\">From Vision to Execution: Enabling Reasoning and Knowledge Representation in Hybrid Intelligent Robots Playing Mobile Games<\/td><td class=\"s12\"><\/td><td class=\"s14\">V\u00edt Pun\u010doch\u00e1\u0159<\/td><td class=\"s14\">Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics<\/td><td><\/td><td class=\"s15\" dir=\"ltr\" colspan=\"2\" rowspan=\"3\">Mary-Anne Williams: Leading Innovation and Collaboration in Knowledge Representation Research<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R8\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">9<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s13\">Agi Kurucz, Frank Wolter and Michael Zakharyaschev<\/td><td class=\"s13\">Definitions and (Uniform) Interpolants in First-Order Modal Logic<\/td><td class=\"s12\"><\/td><td class=\"s14\">Tommaso Flaminio, Sandro Preto and Sara Ugolini<\/td><td class=\"s14\">Reasoning about probability via continuous functions<\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R9\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">10<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s13\">Benjamin Alt, Franklin Kenghagho Kenfack, Andrei Haidu, Darko Katic, Rainer J\u00e4kel and Michael Beetz<\/td><td class=\"s13\">Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations<\/td><td class=\"s12\"><\/td><td class=\"s14\">Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal and Jonni Virtema<\/td><td class=\"s14\">Unified Foundations of Team Semantics via Semirings<\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R10\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">11<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R11\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">12<\/div><\/th><td class=\"s2\" dir=\"ltr\">10:15-10:45<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/td><td class=\"s4\"><\/td><td class=\"s4\"><\/td><td class=\"s4\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R12\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">13<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R13\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">14<\/div><\/th><td class=\"s17\" dir=\"ltr\">10:45-12:05<\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\">Computational aspects of knowledge representation and Uncertainty<\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Explainable AI and Preferences<\/td><td><\/td><td class=\"s19\" dir=\"ltr\" colspan=\"2\">DC (10:40-12:10): Learning &amp; Cognition<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R14\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">15<\/div><\/th><td class=\"s12\"><\/td><td class=\"s20\">David Fern\u00e1ndez-Duque, Brett McLean and Lukas Zenger<\/td><td class=\"s20\">A Family of Decidable Bi-intuitionistic Modal Logics<\/td><td class=\"s12\"><\/td><td class=\"s14\">Shaked Almog and Meir Kalech<\/td><td class=\"s14\">Diagnosis for Post Concept Drift Decision Trees Repair<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Matteo Magnini<\/td><td class=\"s22\" dir=\"ltr\">Symbolic Transfer Learning through Knowledge Manipulation Methods<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R15\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">16<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Lukas Gerlach and David Carral<\/td><td class=\"s20\">Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination<\/td><td class=\"s12\"><\/td><td class=\"s14\">Alexander Bochman<\/td><td class=\"s14\">Default Logic as a Species of Causal Reasoning<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Adam Ishay<\/td><td class=\"s22\" dir=\"ltr\">Neuro-Symbolic Reasoning by Coupling Neural Networks with Symbolic Logic<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R16\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">17<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Tim Lyon and Piotr Ostropolski-Nalewaja<\/td><td class=\"s20\">Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules<\/td><td class=\"s12\"><\/td><td class=\"s14\">Mauricio Salerno, Raquel Fuentetaja and Jendrik Seipp<\/td><td class=\"s14\">Eliminating Redundant Actions from Plans using Classical Planning<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Mingkun Xu<\/td><td class=\"s22\" dir=\"ltr\">Constructing graph-based Structured Framework for Bridging Cognition and Neuromorphic Computing<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R17\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">18<\/div><\/th><td class=\"s23\"><\/td><td class=\"s24\">Jonas Philipp Haldimann and Christoph Beierle<\/td><td class=\"s25\">Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds<\/td><td class=\"s12\"><\/td><td class=\"s26\">Toryn Q. Klassen, Christian Muise and Sheila McIlraith<\/td><td class=\"s26\">Planning with Epistemic Preferences<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Vasileios Theodoros Markos<\/td><td class=\"s22\" dir=\"ltr\">Towards Cognitive Representatives<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R18\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">19<\/div><\/th><td class=\"s23\"><\/td><td class=\"s25\">Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann and Aniello Murano<\/td><td class=\"s24\">Strategic Abilities of Forgetful Agents in Stochastic Environments<\/td><td class=\"s12\"><\/td><td class=\"s26\">Francesco Leofante, Elena Botoeva and Vineet Rajani<\/td><td class=\"s27\">Counterfactual Explanations and Model Multiplicity: a Relational Verification View<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Francis Ward<\/td><td class=\"s21\" dir=\"ltr\">Deceptive AI Systems<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R19\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">20<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Samuele Pollaci<\/td><td class=\"s22\" dir=\"ltr\">A Category-Theoretic Perspective on Approximation Fixpoint Theory<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R20\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">21<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R21\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">22<\/div><\/th><td class=\"s2\" dir=\"ltr\">12:05 &#8211; 14:00<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Lunch Break<\/td><td class=\"s28\"><\/td><td class=\"s28\"><\/td><td class=\"s28\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R22\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">23<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R23\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">24<\/div><\/th><td class=\"s2\" dir=\"ltr\">14:00 &#8211; 15:00<\/td><td class=\"s29\" dir=\"ltr\" colspan=\"5\">Invited Talk: Luc de Raedt (KU Leuven): How to Make Logics Neurosymbolic<\/td><td class=\"s30\"><\/td><td class=\"s30\"><\/td><td class=\"s30\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R24\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">25<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R25\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">26<\/div><\/th><td class=\"s31\" dir=\"ltr\">15:00-15:50<\/td><td class=\"s32\" dir=\"ltr\" colspan=\"2\" rowspan=\"3\">RPR (5)<\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Learning<\/td><td><\/td><td class=\"s19\" dir=\"ltr\" colspan=\"2\">DC (15:05-15:50): Planning<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R26\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">27<\/div><\/th><td><\/td><td class=\"s12\"><\/td><td class=\"s14\">Simon St\u00e5hlberg, Blai Bonet and Hector Geffner<\/td><td class=\"s14\">Learning General Policies with Policy Gradient Methods<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Kumar Manas<\/td><td class=\"s22\" dir=\"ltr\">Heterogeneous Knowledge source Representation Learning for Automated Driving<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R27\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">28<\/div><\/th><td class=\"s33\" dir=\"ltr\"><\/td><td class=\"s12\"><\/td><td class=\"s14\">Yannet Interian and Sara Bernardini<\/td><td class=\"s14\">Learning Interpretable Heuristics for WalkSAT<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Nazl\u0131 Nur Karabulut<\/td><td class=\"s21\" dir=\"ltr\">Solving Isomorphic Dec-POMDPs Using Bayesian Games<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R28\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">29<\/div><\/th><td class=\"s33\" dir=\"ltr\"><\/td><td class=\"s32\" dir=\"ltr\"><\/td><td class=\"s32\" dir=\"ltr\"><\/td><td><\/td><td class=\"s34\"><\/td><td class=\"s34\"><\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Augusto B. Corr\u00eaa<\/td><td class=\"s21\" dir=\"ltr\">Grounding Planning Tasks<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R29\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">30<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R30\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">31<\/div><\/th><td class=\"s2\" dir=\"ltr\">15:50-16:20<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/td><td class=\"s28\"><\/td><td class=\"s28\"><\/td><td class=\"s28\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R31\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">32<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R32\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">33<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Commonsense Reasoning<\/td><td><\/td><td class=\"s19\" dir=\"ltr\" colspan=\"2\">DC (16:15-18:00): Applications<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R33\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">34<\/div><\/th><td class=\"s31\" dir=\"ltr\">16:20-18:00<\/td><td class=\"s35\" dir=\"ltr\" colspan=\"2\" rowspan=\"3\">RPR (9) (16:20 &#8211; 17:50)<\/td><td class=\"s12\"><\/td><td class=\"s14\" dir=\"ltr\">Pietro Galliani, Oliver Kutz and Nicolas Troquard<\/td><td class=\"s14\" dir=\"ltr\">Succinctness and Complexity of ALC with Counting Perceptrons<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Elena \u0160tefancov\u00e1<\/td><td class=\"s22\" dir=\"ltr\">Targeting the Transparency of Recommender Systems by Employing Knowledge Representation<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R34\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">35<\/div><\/th><td class=\"s33\" dir=\"ltr\"><\/td><td class=\"s12\"><\/td><td class=\"s14\" dir=\"ltr\">Xinghan Liu, Emiliano Lorini, Andreas Herzig and Carlos Aguilera-Ventura<\/td><td class=\"s14\" dir=\"ltr\">Counterfactual Reasoning via Grounded Distance<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Deniz Gorur<\/td><td class=\"s22\" dir=\"ltr\">Judgemental Forecasting in Argumentation Theory<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R35\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">36<\/div><\/th><td class=\"s33\" dir=\"ltr\"><\/td><td class=\"s12\"><\/td><td class=\"s14\" dir=\"ltr\">Sean Zammit and Michael Thielscher<\/td><td class=\"s14\" dir=\"ltr\">General Game Playing With State-Independent Communication<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Caren Al Anaissy<\/td><td class=\"s22\" dir=\"ltr\">Applying Formal Argumentation Theory to Legal Reasoning<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R36\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">37<\/div><\/th><td class=\"s23\"><\/td><td class=\"s36\" dir=\"ltr\" colspan=\"2\">ICCMA argumentation system competition (17:50-18:00)<\/td><td class=\"s12\"><\/td><td class=\"s14\" dir=\"ltr\">Marco Wilhelm<\/td><td class=\"s14\" dir=\"ltr\">Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning<\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">M. Jaleed Khan<\/td><td class=\"s22\" dir=\"ltr\">Leveraging Heterogeneous Knowledge Graphs for Scene Graph Enrichment in Neurosymbolic Visual Understanding and Reasoning<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R37\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">38<\/div><\/th><td class=\"s1\"><\/td><td class=\"s37\" dir=\"ltr\"><\/td><td class=\"s37\" dir=\"ltr\"><\/td><td class=\"s1\"><\/td><td class=\"s38\" dir=\"ltr\"><\/td><td class=\"s38\" dir=\"ltr\"><\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Peter Anthony<\/td><td class=\"s22\" dir=\"ltr\">Malware Detection Based on Explainable AI<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R38\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">39<\/div><\/th><td class=\"s1\"><\/td><td class=\"s37\" dir=\"ltr\"><\/td><td class=\"s37\" dir=\"ltr\"><\/td><td class=\"s1\"><\/td><td class=\"s38\" dir=\"ltr\"><\/td><td class=\"s38\" dir=\"ltr\"><\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Anouk Michelle Oudshoorn<\/td><td class=\"s22\" dir=\"ltr\">Combining SHACL and Ontologies<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R39\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">40<\/div><\/th><td class=\"s1\"><\/td><td class=\"s37\" dir=\"ltr\"><\/td><td class=\"s37\" dir=\"ltr\"><\/td><td class=\"s1\"><\/td><td class=\"s38\" dir=\"ltr\"><\/td><td class=\"s38\" dir=\"ltr\"><\/td><td class=\"s12\"><\/td><td class=\"s21\" dir=\"ltr\">Anton Gnatenko<\/td><td class=\"s22\" dir=\"ltr\">Ontology-Mediated Queries in Temporal Description Logics<\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R40\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">41<\/div><\/th><td class=\"s2\" dir=\"ltr\">18:00-18:30<\/td><td class=\"s39\" dir=\"ltr\" colspan=\"5\">KR Manifesto<\/td><td class=\"s30\"><\/td><td class=\"s30\"><\/td><td class=\"s30\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R41\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">42<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R42\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">43<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R43\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">44<\/div><\/th><td class=\"s0\" dir=\"ltr\" colspan=\"6\">September 6<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R44\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">45<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R45\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">46<\/div><\/th><td class=\"s2\" dir=\"ltr\">8:30 &#8211; 9:30<\/td><td class=\"s29\" dir=\"ltr\" colspan=\"5\">Invited Talk: Michael Gelfond (Texas Tech University): Knowledge Representation in the Languages of Logic Programs under Answer Set Semantics<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R46\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">47<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R47\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">48<\/div><\/th><td class=\"s17\" dir=\"ltr\">9:30-10:20<\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\">Belief Revision and Update<\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Computational aspects of knowledge representation <\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R48\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">49<\/div><\/th><td class=\"s12\"><\/td><td class=\"s20\">Patricia Everaere, Chouaib Fellah, S\u00e9bastien Konieczny and Ramon Pino Perez<\/td><td class=\"s20\">Weighted Merging of Propositional Belief Bases<\/td><td class=\"s12\"><\/td><td class=\"s14\">Agata Ciabattoni and Dmitry Rozplokhas<\/td><td class=\"s14\">Streamlining Input\/Output Logics with Sequent Calculi<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R49\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">50<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Eduardo Ferm\u00e9, S\u00e9bastien Konieczny, Ramon Pino Perez and Nicolas Schwind<\/td><td class=\"s20\">Credible Models of Belief Update<\/td><td class=\"s12\"><\/td><td class=\"s14\">St\u00e9phane Demri and Raine R\u00f6nnholm<\/td><td class=\"s14\">How to Manage a Budget with ATL+<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R50\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">51<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R51\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">52<\/div><\/th><td class=\"s2\" dir=\"ltr\">10:20-10:50<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R52\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">53<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R53\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">54<\/div><\/th><td class=\"s17\" dir=\"ltr\">10:50-12:10<\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\">Automated Reasoning and Argumentation<\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Application of KR<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R54\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">55<\/div><\/th><td class=\"s12\"><\/td><td class=\"s20\">Tim Lyon, Luc\u00eda G\u00f3mez \u00c1lvarez and Nicola Gigante<\/td><td class=\"s20\">Standpoint Linear Temporal Logic<\/td><td class=\"s12\"><\/td><td class=\"s14\">Yakoub Salhi and Michael Sioutis<\/td><td class=\"s14\">A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R55\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">56<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Elena Umili, Roberto Capobianco and Giuseppe De Giacomo<\/td><td class=\"s20\">Grounding LTLf specifications in image sequences<\/td><td class=\"s12\"><\/td><td class=\"s14\">Ruolin Wang, Yuejiao Xu, Jie Peng and Jianmin Ji<\/td><td class=\"s14\">A$^2$CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R56\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">57<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Lars Bengel and Matthias Thimm<\/td><td class=\"s20\">Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation<\/td><td class=\"s12\"><\/td><td class=\"s14\">Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos Margineantu and Alessio Lomuscio<\/td><td class=\"s14\">Verification of Semantic Key Point Detection for Aircraft Pose Estimation<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R57\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">58<\/div><\/th><td class=\"s23\"><\/td><td class=\"s24\">Michael Bernreiter and Matthias K\u00f6nig<\/td><td class=\"s24\">From Qualitative Choice Logic to Abstract Argumentation<\/td><td class=\"s12\"><\/td><td class=\"s26 softmerge\"><div class=\"softmerge-inner\" style=\"width:420px;left:-1px\">Meghyn Bienvenu, Gianluca Cima, V\u00edctor Guti\u00e9rrez-Basulto and Yazm\u00edn Ib\u00e1\u00f1ez-Garc\u00eda<\/div><\/td><td class=\"s26\">Combining Global and Local Merges in Logic-based Entity Resolution<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R58\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">59<\/div><\/th><td class=\"s23\"><\/td><td class=\"s24\">Ringo Baumann and Anne-Marie Heine<\/td><td class=\"s25\">On Conflict-free Labellings \u2013 Realizability, Construction and Patterns of Redundancy<\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R59\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">60<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R60\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">61<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R61\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">62<\/div><\/th><td class=\"s2\" dir=\"ltr\">12:10-14:00<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Lunch Break<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R62\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">63<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R63\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">64<\/div><\/th><td class=\"s2\" dir=\"ltr\">14:00-15:00<\/td><td class=\"s29\" dir=\"ltr\" colspan=\"5\">Invited Talk:  Claudia d\u2019Amato (University of Bari): On the need of semantics when tackling Knowledge Graph completion under a Machine Learning perspective <\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R64\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">65<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R65\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">66<\/div><\/th><td class=\"s2\" dir=\"ltr\">15:00 &#8211; 15:30<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R66\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">67<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R67\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">68<\/div><\/th><td class=\"s31\" dir=\"ltr\">15:30- 17:10<\/td><td class=\"s40\" dir=\"ltr\" colspan=\"2\">RPR (3) (15:30 &#8211; 16:00)<\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Multi-Agent Systems and Knowledge Compilation<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R68\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">69<\/div><\/th><td><\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\">Computational aspects of knowledge representation (16:00 &#8211; 17:15)<\/td><td class=\"s12\"><\/td><td class=\"s14\">Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks and Egor V. Kostylev<\/td><td class=\"s14\">Revisiting Inferential Benchmarks for Knowledge Graph Completion<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R69\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">70<\/div><\/th><td class=\"s41\" dir=\"ltr\"><\/td><td class=\"s20\">Przemys\u0142aw Andrzej Wa\u0142\u0119ga, Michal Zawidzki and Christoph Haase<\/td><td class=\"s20\">Computing All Facts Entailed By An LTL Specification<\/td><td class=\"s12\"><\/td><td class=\"s14\">Maksim Gladyshev, Natasha Alechina, Mehdi Dastani and Dragan Doder<\/td><td class=\"s14\">Group Responsibility for Increasing Risk<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R70\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">71<\/div><\/th><td class=\"s41\" dir=\"ltr\"><\/td><td class=\"s20\">Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo and Angelo Montanari<\/td><td class=\"s20\">A singly exponential transformation of LTL[X, F] into pure past LTL<\/td><td class=\"s12\"><\/td><td class=\"s14\">Rafael Kiesel and Thomas Eiter<\/td><td class=\"s14\">Knowledge Compilation and more with SharpSAT-TD<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R71\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">72<\/div><\/th><td class=\"s41\" dir=\"ltr\"><\/td><td class=\"s20\">Thomas Lukasiewicz, Enrico Malizia and Cristian Molinaro<\/td><td class=\"s20\">Complexity of Inconsistency-Tolerant Query Answering in Datalog+\/\u2013 under Preferred Repairs<\/td><td class=\"s12\"><\/td><td class=\"s14\">Wojtek Jamroga and Yan Kim<\/td><td class=\"s14\">Practical Abstraction for Model Checking of Multi-Agent Systems<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R72\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">73<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R73\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">74<\/div><\/th><td class=\"s2\" dir=\"ltr\">17:20 &#8211;<\/td><td class=\"s6\" dir=\"ltr\" colspan=\"5\">Excursion &amp; Banquet<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R74\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">75<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R75\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">76<\/div><\/th><td class=\"s0\" dir=\"ltr\" colspan=\"6\">September 7<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R76\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">77<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R77\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">78<\/div><\/th><td class=\"s2\" dir=\"ltr\">8:30 &#8211; 9:30<\/td><td class=\"s29\" dir=\"ltr\" colspan=\"5\">Invited Talk:  Torsten Schaub (University of Potsdam): ASP in Industry, here and there<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R78\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">79<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R79\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">80<\/div><\/th><td class=\"s17\" dir=\"ltr\">9:30 &#8211; 10:45<\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\"> Logic Programming<\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Argumentation and Reasoning About Knowledge<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R80\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">81<\/div><\/th><td class=\"s12\"><\/td><td class=\"s20\">Markus Hecher and Rafael Kiesel<\/td><td class=\"s20\">The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits<\/td><td class=\"s12\"><\/td><td class=\"s14\">Daxin Liu, Qihui Feng, Vaishak Belle and Gerhard Lakemeyer<\/td><td class=\"s14\">Concerning Measures in a First-order Logic with Actions and Meta-beliefs<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R81\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">82<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Zeynep G. Saribatur and Stefan Woltran<\/td><td class=\"s20\">Foundations for Projecting Away the Irrelevant in ASP Programs<\/td><td class=\"s12\"><\/td><td class=\"s14\">Ofer Arieli and Jesse Heyninck<\/td><td class=\"s14\">Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R82\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">83<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Jorge Fandinno and Vladimir Lifschitz<\/td><td class=\"s20\">Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs<\/td><td class=\"s12\"><\/td><td class=\"s14\">Daphne Odekerken, Tuomo Lehtonen, Annemarie Borg, Johannes P. Wallner and Matti J\u00e4rvisalo<\/td><td class=\"s14\">Argumentative Reasoning in ASPIC+ under Incomplete Information<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R83\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">84<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R84\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">85<\/div><\/th><td class=\"s2\" dir=\"ltr\">10:45 &#8211; 11:15<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R85\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">86<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R86\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">87<\/div><\/th><td class=\"s31\" dir=\"ltr\">11:15 &#8211; 12:15<\/td><td class=\"s42\" dir=\"ltr\" colspan=\"5\">DI Session<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R87\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">88<\/div><\/th><td class=\"s33\" dir=\"ltr\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R88\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">89<\/div><\/th><td class=\"s2\" dir=\"ltr\">12:15 &#8211; 14:00<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Lunch Break<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R89\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">90<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R90\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">91<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R91\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">92<\/div><\/th><td class=\"s2\" dir=\"ltr\">14:00 &#8211; 15:40<\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\">Applications of KR<\/td><td class=\"s43\" dir=\"ltr\">14:00 &#8211; 15:40<\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Explainable AI<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R92\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">93<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Periklis Mantenoglou, Dimitrios Kelesis and Alexander Artikis<\/td><td class=\"s20\">Complex Event Recognition with Allen Relations<\/td><td class=\"s12\"><\/td><td class=\"s14\">Federico Sabbatini and Roberta Calegari<\/td><td class=\"s14\">Explainable Clustering with CREAM<\/td><td><\/td><td><\/td><td class=\"s44\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R93\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">94<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Adam Ishay, Zhun Yang and Joohyung Lee<\/td><td class=\"s20\">Neuro-Symbolic Reasoning with Large Language Models and Answer Set Programming: A Case Study on Logic Puzzles<\/td><td class=\"s12\"><\/td><td class=\"s14\">Lance Kennedy, Issouf Kindo and Arthur Choi<\/td><td class=\"s14\">On Training Neurons with Bounded Compilations<\/td><td><\/td><td><\/td><td class=\"s44\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R94\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">95<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Valeria Fionda, Antonio Ielo and Francesco Ricca<\/td><td class=\"s20\">Logic-based Composition of Business Process Models<\/td><td class=\"s12\"><\/td><td class=\"s14\">Cl\u00e9ment Carbonnel, Martin Cooper and Joao Marques-Silva<\/td><td class=\"s14\">Tractable Explaining of Multivariate Decision Trees<\/td><td><\/td><td><\/td><td class=\"s44\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R95\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">96<\/div><\/th><td class=\"s23\"><\/td><td class=\"s20\">Frederico Aleixo, Matthias Knorr and Joao Leite<\/td><td class=\"s20\">Revising Boolean Logical Models of Biological Regulatory Networks<\/td><td class=\"s12\"><\/td><td class=\"s14\">David Tena Cucala, Bernardo Cuenca Grau, Boris Motik and Egor Kostylev<\/td><td class=\"s14\">On the Correspondence Between Max-Sum GNNs and Datalog<\/td><td><\/td><td><\/td><td class=\"s44\"><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R96\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">97<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td class=\"s45\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\" colspan=\"2\"><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R97\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">98<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R98\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">99<\/div><\/th><td class=\"s2\" dir=\"ltr\">15:40 &#8211; 16:10<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R99\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">100<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R100\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">101<\/div><\/th><td class=\"s17\" dir=\"ltr\">16:10 &#8211; 17:50<\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\">Argumentation &amp; Explainable AI<\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Belief Revision<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R101\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">102<\/div><\/th><td class=\"s12\"><\/td><td class=\"s20\">Antonio Rago, Hengzhi Li and Francesca Toni<\/td><td class=\"s20\">Interactive Explanations by Conflict Resolution via Argumentative Exchanges<\/td><td class=\"s12\"><\/td><td class=\"s14\">Jesse Heyninck, Giovanni Casini, Thomas Meyer and Umberto Straccia<\/td><td class=\"s14\">Revising typical beliefs: one revision to rule them all<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R102\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">103<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">C\u00e1ndido Otero, Dennis Craandijk and Floris Bex<\/td><td class=\"s20\">ORLA: Learning Explainable Argumentation Models<\/td><td class=\"s12\"><\/td><td class=\"s14\">Daira Pinto Prieto, Ronald de Haan and Ayb\u00fcke \u00d6zg\u00fcn<\/td><td class=\"s14\">A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R103\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">104<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Matti Berthold, Anna Rapberger and Markus Ulbricht<\/td><td class=\"s20\">Forgetting Aspects in Assumption-Based Argumentation<\/td><td class=\"s12\"><\/td><td class=\"s14\">Nicolas Schwind, S\u00e9bastien Konieczny and Ramon Pino Perez<\/td><td class=\"s14\">Iteration of Iterated Belief Revision<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R104\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">105<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Rita T. Sousa, Sara Silva and Catia Pesquita<\/td><td class=\"s20\">Explainable representations for relation prediction in knowledge graphs<\/td><td class=\"s12\"><\/td><td class=\"s14\">Alejandro J. Mercado, Daniel Grimaldi and Ricardo Oscar Rodriguez<\/td><td class=\"s14\">Weak-ensconcement for Shielded base contraction<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R105\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">106<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R106\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">107<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R107\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">108<\/div><\/th><td class=\"s0\" dir=\"ltr\" colspan=\"6\">September 8<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R108\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">109<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R109\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">110<\/div><\/th><td class=\"s2\" dir=\"ltr\">8:30 &#8211; 9:30<\/td><td class=\"s29\" dir=\"ltr\" colspan=\"5\">Invited Talk: Rineke Verbrugge (University of Groningen): Reasoning about reasoning about reasoning: from logic to the lab <\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R110\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">111<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R111\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">112<\/div><\/th><td class=\"s17\" dir=\"ltr\">9:30 &#8211; 10:45<\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\">Description Logic<\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Computational aspects of knowledge representation<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R112\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">113<\/div><\/th><td class=\"s12\"><\/td><td class=\"s20\">Carsten Lutz, Quentin Mani\u00e8re and Robin Nolte<\/td><td class=\"s20\">Querying Circumscribed Description Logic Knowledge Bases<\/td><td class=\"s12\"><\/td><td class=\"s14\">Michel Lecl\u00e8re, Marie-Laure Mugnier and Guillaume P\u00e9rution-Kihli<\/td><td class=\"s14\">Query Rewriting with Disjunctive Existential Rules and Mappings<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R113\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">114<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Luc\u00eda G\u00f3mez \u00c1lvarez, Sebastian Rudolph and Hannes Strass<\/td><td class=\"s20\">Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+<\/td><td class=\"s12\"><\/td><td class=\"s14\">Claire David, Nadime Francis and Victor Marsault<\/td><td class=\"s14\">Run-Based Semantics for RPQs<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R114\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">115<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Ronald Fagin, Phokion Kolaitis, Domenico Lembo, Lucian Popa and Federico Scafoglieri<\/td><td class=\"s20\">A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases<\/td><td class=\"s12\"><\/td><td class=\"s14\">Meghyn Bienvenu and Camille Bourgaux<\/td><td class=\"s14\">Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R115\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">116<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R116\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">117<\/div><\/th><td class=\"s2\" dir=\"ltr\">10:45 &#8211; 11:15 <\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R117\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">118<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R118\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">119<\/div><\/th><td class=\"s17\" dir=\"ltr\">11:15 &#8211; 12:05<\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\">Planning<\/td><td><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Constraint Acquisition and Description Logic<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R119\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">120<\/div><\/th><td class=\"s12\"><\/td><td class=\"s20\">Ava Clifton and Charles Gretton<\/td><td class=\"s20\">Property Directed Reachability for Planning Revisited<\/td><td class=\"s12\"><\/td><td class=\"s14\">Gr\u00e9goire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb<\/td><td class=\"s14\">Active Disjunctive Constraint Acquisition<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R120\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">121<\/div><\/th><td class=\"s16\" dir=\"ltr\"><\/td><td class=\"s20\">Dominik Drexler, Jendrik Seipp and Hector Geffner<\/td><td class=\"s20\">Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules<\/td><td class=\"s12\"><\/td><td class=\"s14\">Carsten Lutz and Lukas Schulze<\/td><td class=\"s14\">Description Logics with Abstraction and Refinement<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R121\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">122<\/div><\/th><td class=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R122\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">123<\/div><\/th><td class=\"s2\" dir=\"ltr\">12:05 &#8211; 14:00<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Lunch Break<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R123\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">124<\/div><\/th><td class=\"s1\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R124\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">125<\/div><\/th><td class=\"s2\" dir=\"ltr\">13:30 &#8211; 14:00 <\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R125\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">126<\/div><\/th><td class=\"s1\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R126\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">127<\/div><\/th><td class=\"s2\" dir=\"ltr\">14:00 &#8211; 15:15<\/td><td class=\"s18\" dir=\"ltr\" colspan=\"2\">Argumentation<\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s10\" dir=\"ltr\" colspan=\"2\">Reasoning about Knowledge and Knowledge Compilation<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R127\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">128<\/div><\/th><td class=\"s23\" dir=\"ltr\"><\/td><td class=\"s20\">Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes P. Wallner<\/td><td class=\"s20\">Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity<\/td><td class=\"s46\" dir=\"ltr\"><\/td><td class=\"s14\">Paulius Dilkas and Vaishak Belle<\/td><td class=\"s14\">Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R128\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">129<\/div><\/th><td class=\"s23\" dir=\"ltr\"><\/td><td class=\"s20\">Lydia Bl\u00fcmel and Matthias Thimm<\/td><td class=\"s20\">Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics<\/td><td class=\"s46\" dir=\"ltr\"><\/td><td class=\"s14\">Marcos Cramer, Samuele Pollaci and Bart Bogaerts<\/td><td class=\"s14\">Mathematical Foundations for Joining Only Knowing and Common Knowledge<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R129\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">130<\/div><\/th><td class=\"s23\" dir=\"ltr\"><\/td><td class=\"s20\">Henry Prakken<\/td><td class=\"s20\">Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions<\/td><td class=\"s46\" dir=\"ltr\"><\/td><td class=\"s14\">Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh and Fran\u00e7ois Schwarzentruber<\/td><td class=\"s14\">On simple expectations and observations of intelligent agents: A complexity study<\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R130\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">131<\/div><\/th><td class=\"s1\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td class=\"s5\" dir=\"ltr\"><\/td><td><\/td><td><\/td><td><\/td><\/tr><tr style=\"height: 20px\"><th id=\"1157202895R131\" style=\"height: 20px;\" class=\"row-headers-background\"><div class=\"row-header-wrapper\" style=\"line-height: 20px\">132<\/div><\/th><td class=\"s2\" dir=\"ltr\">15:15 &#8211; 15:45<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Closing<\/td><td><\/td><td><\/td><td><\/td><\/tr><\/tbody><\/table><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Overview Detailed Schedule Tuesday, September 5 Wednesday, September 6 Thursday, September 7 Friday, September 8 A D E F I J K L M 1 September 5 2 3 8:30-9:00 Opening 4 5 Room A Room B Room C 6 7 9:00-10:15 KRR Application 1 Computational aspects of knowledge representation and Uncertainty DC (9:05-10:15): Introduction [&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":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/650"}],"collection":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/comments?post=650"}],"version-history":[{"count":11,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/650\/revisions"}],"predecessor-version":[{"id":770,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/650\/revisions\/770"}],"wp:attachment":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/media?parent=650"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}