{"id":631,"date":"2023-07-24T00:48:43","date_gmt":"2023-07-23T21:48:43","guid":{"rendered":"https:\/\/kr.org\/KR2023\/?page_id=631"},"modified":"2023-08-05T13:29:48","modified_gmt":"2023-08-05T10:29:48","slug":"schedule-day-2","status":"publish","type":"page","link":"https:\/\/kr.org\/KR2023\/schedule-day-2\/","title":{"rendered":"Schedule Wednesday, September 6"},"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-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 .s17{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 .s22{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 .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 .s13{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 .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 .s18{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 .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 .s20{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 .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 .s21{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 .s6{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 .s5{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 .s4{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 .s11{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 .s14{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 .s15{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 .s19{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><\/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 6<\/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: Michael Gelfond (Texas Tech University): Knowledge Representation in the Languages of Logic Programs under Answer Set Semantics<\/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=\"s1\"><\/td><td class=\"s4\" dir=\"ltr\" colspan=\"2\">Belief Revision and Update<\/td><td><\/td><td class=\"s5\" 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 class=\"s6\" dir=\"ltr\">9:30-10:20<\/td><td class=\"s7\">Patricia Everaere, Chouaib Fellah, S\u00e9bastien Konieczny and Ramon Pino Perez<\/td><td class=\"s7\">Weighted Merging of Propositional Belief Bases<\/td><td><\/td><td class=\"s8\">Agata Ciabattoni and Dmitry Rozplokhas<\/td><td class=\"s8\">Streamlining Input\/Output Logics with Sequent Calculi<\/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\">Eduardo Ferm\u00e9, S\u00e9bastien Konieczny, Ramon Pino Perez and Nicolas Schwind<\/td><td class=\"s7\">Credible Models of Belief Update<\/td><td><\/td><td class=\"s8\">St\u00e9phane Demri and Raine R\u00f6nnholm<\/td><td class=\"s8\">How to Manage a Budget with ATL+<\/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=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/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=\"s2\" dir=\"ltr\">10:20-10:50<\/td><td class=\"s10\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/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=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/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=\"s6\" dir=\"ltr\">10:50-12:10<\/td><td class=\"s4\" dir=\"ltr\" colspan=\"2\">Automated Reasoning and Argumentation<\/td><td><\/td><td class=\"s11\" dir=\"ltr\" colspan=\"2\">Application of KR<\/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=\"s12\"><\/td><td class=\"s7\">Tim Lyon, Luc\u00eda G\u00f3mez \u00c1lvarez and Nicola Gigante<\/td><td class=\"s7\">Standpoint Linear Temporal Logic<\/td><td class=\"s12\"><\/td><td class=\"s8\">Yakoub Salhi and Michael Sioutis<\/td><td class=\"s8\">A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning<\/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=\"s13\" dir=\"ltr\"><\/td><td class=\"s7\">Elena Umili, Roberto Capobianco and Giuseppe De Giacomo<\/td><td class=\"s7\">Grounding LTLf specifications in image sequences<\/td><td class=\"s12\"><\/td><td class=\"s8\">Ruolin Wang, Yuejiao Xu, Jie Peng and Jianmin Ji<\/td><td class=\"s8\">A$^2$CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles<\/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=\"s13\" dir=\"ltr\"><\/td><td class=\"s7\">Lars Bengel and Matthias Thimm<\/td><td class=\"s7\">Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation<\/td><td class=\"s12\"><\/td><td class=\"s8\">Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos Margineantu and Alessio Lomuscio<\/td><td class=\"s8\">Verification of Semantic Key Point Detection for Aircraft Pose Estimation<\/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=\"s14\"><\/td><td class=\"s15\">Michael Bernreiter and Matthias K\u00f6nig<\/td><td class=\"s15\">From Qualitative Choice Logic to Abstract Argumentation<\/td><td class=\"s12\"><\/td><td class=\"s16 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=\"s16\">Combining Global and Local Merges in Logic-based Entity Resolution<\/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=\"s14\"><\/td><td class=\"s15\">Ringo Baumann and Anne-Marie Heine<\/td><td class=\"s17\">On Conflict-free Labellings \u2013 Realizability, Construction and Patterns of Redundancy<\/td><td><\/td><td><\/td><td><\/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\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/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=\"s1\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/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=\"s2\" dir=\"ltr\">12:10-14:00<\/td><td class=\"s10\" dir=\"ltr\" colspan=\"5\">Lunch Break<\/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><\/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=\"s2\" dir=\"ltr\">14:00-15:00<\/td><td class=\"s3\" 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><\/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\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/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=\"s2\" dir=\"ltr\">15:00 &#8211; 15:30<\/td><td class=\"s10\" dir=\"ltr\" colspan=\"5\">Coffee Break<\/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\"><\/td><td><\/td><td><\/td><td><\/td><td><\/td><td><\/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=\"s18\" dir=\"ltr\">15:30- 17:10<\/td><td class=\"s19\" dir=\"ltr\" colspan=\"2\">RPR (3) (15:30 &#8211; 16:00)<\/td><td><\/td><td class=\"s5\" dir=\"ltr\" colspan=\"2\">Multi-Agent Systems and Knowledge Compilation<\/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><\/td><td class=\"s20\" dir=\"ltr\" colspan=\"2\">Computational aspects of knowledge representation (16:00 &#8211; 17:15)<\/td><td><\/td><td class=\"s8\">Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks and Egor V. Kostylev<\/td><td class=\"s8\">Revisiting Inferential Benchmarks for Knowledge Graph Completion<\/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 class=\"s21\" dir=\"ltr\"><\/td><td class=\"s7\">Przemys\u0142aw Andrzej Wa\u0142\u0119ga, Michal Zawidzki and Christoph Haase<\/td><td class=\"s7\">Computing All Facts Entailed By An LTL Specification<\/td><td><\/td><td class=\"s8\">Maksim Gladyshev, Natasha Alechina, Mehdi Dastani and Dragan Doder<\/td><td class=\"s8\">Group Responsibility for Increasing Risk<\/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=\"s21\" dir=\"ltr\"><\/td><td class=\"s7\">Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo and Angelo Montanari<\/td><td class=\"s7\">A singly exponential transformation of LTL[X, F] into pure past LTL<\/td><td><\/td><td class=\"s8\">Rafael Kiesel and Thomas Eiter<\/td><td class=\"s8\">Knowledge Compilation and more with SharpSAT-TD<\/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=\"s21\" dir=\"ltr\"><\/td><td class=\"s7\">Thomas Lukasiewicz, Enrico Malizia and Cristian Molinaro<\/td><td class=\"s7\">Complexity of Inconsistency-Tolerant Query Answering in Datalog+\/\u2013 under Preferred Repairs<\/td><td><\/td><td class=\"s8\">Wojtek Jamroga and Yan Kim<\/td><td class=\"s8\">Practical Abstraction for Model Checking of Multi-Agent Systems<\/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><\/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\">17:20 &#8211;<\/td><td class=\"s22\" dir=\"ltr\" colspan=\"5\">Excursion &amp; Banquet<\/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 6 2 3 8:30 &#8211; 9:30 Invited Talk: Michael Gelfond (Texas Tech University): Knowledge Representation in the Languages of Logic Programs under Answer Set Semantics 4 5 Belief Revision and Update Computational [&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\/631"}],"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=631"}],"version-history":[{"count":8,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/631\/revisions"}],"predecessor-version":[{"id":714,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/631\/revisions\/714"}],"wp:attachment":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/media?parent=631"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}