{"id":641,"date":"2023-07-24T00:52:56","date_gmt":"2023-07-23T21:52:56","guid":{"rendered":"https:\/\/kr.org\/KR2023\/?page_id=641"},"modified":"2023-09-05T13:18:09","modified_gmt":"2023-09-05T10:18:09","slug":"schedule-day-4","status":"publish","type":"page","link":"https:\/\/kr.org\/KR2023\/schedule-day-4\/","title":{"rendered":"Schedule Friday, September 8"},"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 .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 .s9{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 .s10{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 .s5{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 .s7{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 .s8{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 .s4{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 .s3{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 .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 .s11{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 .s6{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 .s12{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;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;}<\/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><\/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 8<\/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><\/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 &#8211; 9:30<\/td><td class=\"s3\" dir=\"ltr\" colspan=\"5\">Invited Talk: Rineke Verbrugge (University of Groningen): Reasoning about reasoning about reasoning: from logic to the lab <\/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><\/td><td><\/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=\"s4\" dir=\"ltr\">9:30 &#8211; 10:45<\/td><td class=\"s5\" dir=\"ltr\" colspan=\"2\">Description Logic<\/td><td><\/td><td class=\"s6\" dir=\"ltr\" colspan=\"2\">Computational aspects of knowledge representation<\/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><\/td><td class=\"s7\">Carsten Lutz, Quentin Mani\u00e8re and Robin Nolte<\/td><td class=\"s7\">Querying Circumscribed Description Logic Knowledge Bases<\/td><td><\/td><td class=\"s8\">Michel Lecl\u00e8re, Marie-Laure Mugnier and Guillaume P\u00e9rution-Kihli<\/td><td class=\"s8\">Query Rewriting with Disjunctive Existential Rules and Mappings<\/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=\"s9\" dir=\"ltr\"><\/td><td class=\"s7\">Luc\u00eda G\u00f3mez \u00c1lvarez, Sebastian Rudolph and Hannes Strass<\/td><td class=\"s7\">Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+<\/td><td><\/td><td class=\"s8\">Claire David, Nadime Francis and Victor Marsault<\/td><td class=\"s8\">Run-Based Semantics for RPQs<\/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=\"s9\" dir=\"ltr\"><\/td><td class=\"s7\">Ronald Fagin, Phokion Kolaitis, Domenico Lembo, Lucian Popa and Federico Scafoglieri<\/td><td class=\"s7\">A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases<\/td><td><\/td><td class=\"s8\">Meghyn Bienvenu and Camille Bourgaux<\/td><td class=\"s8\">Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints<\/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=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/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=\"s2\" dir=\"ltr\">10:45 &#8211; 11:15 <\/td><td class=\"s10\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/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><\/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=\"s4\" dir=\"ltr\">11:15 &#8211; 12:05<\/td><td class=\"s5\" dir=\"ltr\" colspan=\"2\">Planning<\/td><td><\/td><td class=\"s6\" dir=\"ltr\" colspan=\"2\">Constraint Acquisition and Description Logic<\/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><\/td><td class=\"s7\">Ava Clifton and Charles Gretton<\/td><td class=\"s7\">Property Directed Reachability for Planning Revisited<\/td><td><\/td><td class=\"s8\">Gr\u00e9goire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb<\/td><td class=\"s8\">Active Disjunctive Constraint Acquisition<\/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=\"s9\" dir=\"ltr\"><\/td><td class=\"s7\">Dominik Drexler, Jendrik Seipp and Hector Geffner<\/td><td class=\"s7\">Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules<\/td><td><\/td><td class=\"s8\">Carsten Lutz and Lukas Schulze<\/td><td class=\"s8\">Description Logics with Abstraction and Refinement<\/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=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/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=\"s2\" dir=\"ltr\">12:05 &#8211; 14:00<\/td><td class=\"s10\" dir=\"ltr\" colspan=\"5\">Lunch Break<\/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=\"s1\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/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=\"s2\" dir=\"ltr\">13:30 &#8211; 14:00 <\/td><td class=\"s10\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/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=\"s1\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/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=\"s2\" dir=\"ltr\">14:00 &#8211; 15:15<\/td><td class=\"s12\" dir=\"ltr\" colspan=\"2\">Argumentation<\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s13\" dir=\"ltr\" colspan=\"2\">Reasoning about Knowledge and Knowledge Compilation<\/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\" dir=\"ltr\"><\/td><td class=\"s7\">Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes P. Wallner<\/td><td class=\"s7\">Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity<\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s8\">Paulius Dilkas and Vaishak Belle<\/td><td class=\"s8\">Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures<\/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=\"s1\" dir=\"ltr\"><\/td><td class=\"s7\">Lydia Bl\u00fcmel and Matthias Thimm<\/td><td class=\"s7\">Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics<\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s8\">Marcos Cramer, Samuele Pollaci and Bart Bogaerts<\/td><td class=\"s8\">Mathematical Foundations for Joining Only Knowing and Common Knowledge<\/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\" dir=\"ltr\"><\/td><td class=\"s7\">Henry Prakken<\/td><td class=\"s7\">Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions<\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s8\">Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh and Fran\u00e7ois Schwarzentruber<\/td><td class=\"s8\">On simple expectations and observations of intelligent agents: A complexity study<\/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=\"s1\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/td><td class=\"s11\" dir=\"ltr\"><\/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=\"s2\" dir=\"ltr\">15:15 &#8211; 15:45<\/td><td class=\"s10\" dir=\"ltr\" colspan=\"5\">Closing<\/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 1 September 8 2 3 8:30 &#8211; 9:30 Invited Talk: Rineke Verbrugge (University of Groningen): Reasoning about reasoning about reasoning: from logic to the lab 4 5 9:30 &#8211; 10:45 Description Logic Computational aspects [&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\/641"}],"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=641"}],"version-history":[{"count":5,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/641\/revisions"}],"predecessor-version":[{"id":767,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/641\/revisions\/767"}],"wp:attachment":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/media?parent=641"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}