{"id":619,"date":"2023-07-24T00:37:22","date_gmt":"2023-07-23T21:37:22","guid":{"rendered":"https:\/\/kr.org\/KR2023\/?page_id=619"},"modified":"2023-09-05T13:17:09","modified_gmt":"2023-09-05T10:17:09","slug":"schedule-day-1","status":"publish","type":"page","link":"https:\/\/kr.org\/KR2023\/schedule-day-1\/","title":{"rendered":"Schedule Tuesday, September 5"},"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 .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 .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 .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 .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 .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 .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;}<\/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><\/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\/619"}],"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=619"}],"version-history":[{"count":15,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/619\/revisions"}],"predecessor-version":[{"id":766,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/619\/revisions\/766"}],"wp:attachment":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/media?parent=619"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}