{"id":790,"date":"2023-09-09T01:41:52","date_gmt":"2023-09-08T22:41:52","guid":{"rendered":"https:\/\/kr.org\/KR2023\/?page_id=790"},"modified":"2023-09-09T08:27:12","modified_gmt":"2023-09-09T05:27:12","slug":"prizes-awards","status":"publish","type":"page","link":"https:\/\/kr.org\/KR2023\/prizes-awards\/","title":{"rendered":"Prizes &amp; Awards"},"content":{"rendered":"\n<p class=\"has-large-font-size\">Best Paper Prizes<\/p>\n\n\n\n<p>The following papers received the best paper awards of KR 2023:<\/p>\n\n\n\n<p>\u2022 Ray Reiter Best Paper Award: &#8220;Streamlining Input\/Output Logics with Sequent Calculi&#8221; by<\/p>\n\n\n\n<p><strong>Agata Ciabattoni and Dmitry Rozplokhas<\/strong><\/p>\n\n\n\n<p>\u2022 Marco Cadoli Best Student Paper Award: &#8220;Knowledge Compilation and more with SharpSAT-TD&#8221; by<\/p>\n\n\n\n<p><strong>Rafael Kiesel and Thomas Eiter<\/strong><\/p>\n\n\n\n<p>The award winners were selected from nominations made by area chairs and PC members by this year&#8217;s award committee, consisting of Jim Delgrande, J\u00e9r\u00f4me Lang, and Mary-Anne Williams; we thank them all for contributing their time and expertise to this special task.<\/p>\n\n\n\n<p class=\"has-large-font-size\">Awards<\/p>\n\n\n\n<p>The tradition of Test of Time awards, initiated at KR 2020, is continued at KR 2023. The Test of Time award is for a paper published at least 15 years ago (counting from 2023) which has stood the test of time. This year the award goes to:<\/p>\n\n\n\n<p><strong>Judea Pearl and Thomas S. Verma<\/strong><\/p>\n\n\n\n<p>for their KR 1991 paper &#8220;A Theory of Inferred Causation&#8221;.<\/p>\n\n\n\n<p>For the second time, KR 2023 also awarded the KR Early Career Award. Researchers eligible for this award need to have completed their doctoral degree in 2021 or 2022. This year the award goes to:<\/p>\n\n\n\n<p><strong>Munyque Mittelmann<\/strong><\/p>\n\n\n\n<p>for her work on strategic reasoning and its application to automated mechanism design.<\/p>\n\n\n\n<p>We are very grateful to our award committee\u2014Meghyn Bienvenu, Jim Delgrande, and Tommie Meyer\u2014for contributing their time, expertise, and effort in selecting the winners.&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Best Paper Prizes The following papers received the best paper awards of KR 2023: \u2022 Ray Reiter Best Paper Award: &#8220;Streamlining Input\/Output Logics with Sequent Calculi&#8221; by Agata Ciabattoni and Dmitry Rozplokhas \u2022 Marco Cadoli Best Student Paper Award: &#8220;Knowledge Compilation and more with SharpSAT-TD&#8221; by Rafael Kiesel and Thomas Eiter The award winners were [&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\/790"}],"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=790"}],"version-history":[{"count":2,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/790\/revisions"}],"predecessor-version":[{"id":796,"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/pages\/790\/revisions\/796"}],"wp:attachment":[{"href":"https:\/\/kr.org\/KR2023\/wp-json\/wp\/v2\/media?parent=790"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}