last modified: 10 Sep 2020
Best Paper Awards
Ray Reiter Best Paper Award
Ringo Baumann, Gerhard Brewka, Markus Ulbricht
Comparing Weak Admissibility Semantics to their Dung-style Counterparts – Reduct, Modularization, and Strong Equivalence in Abstract Argumentation
Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical Separability of Incomplete Data under Ontologies
Marco Cadoli Best Student Paper Award
Treewidth-Aware Reductions of normal ASP to SAT– Is normal ASP harder than SAT after all?
Ralph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov
On the Approximability of Weighted Model Integration on DNF Structures
The Awards Committee
Gabriele Kern-Isberner (Technische Universitaet Dortmund, Germany)
David Poole (The University of British Columbia, Canada)
Tran Cao Son (New Mexico State University, United States)
The 2020 KR Test-of-Time Awards
KR has decided to give test-of-time awards at every KR conference starting from KR 2020:
- The Prominent Paper Award recognizes outstanding papers published in a window of 3 conference editions about 10 years ago (i.e., the conferences that took place 10 years ago, and one edition before and one after that conference).
- The Classic Paper Award recognizes outstanding papers published in a window of 3 conference editions about 20 years ago (i.e., the conferences that took place 20 years ago, and one edition before and one after that conference). The conferences that took place more than 20 years ago are also considered for the first editions of this award.
KR 2020 is happy to announce two Classic Paper Awards:
- one for the window of (1989, 1991, 1992) KR conferences, and
- another one for the window of (1998, 2000, 2002) KR conferences.
The Classic Paper Awards selected in 2020 are:
David A. Randell, Zhan Cui, Anthony G. Cohn
A Spatial Logic based on Regions and Connection. KR 1992: 165-176
Using an Expressive Description Logic: FaCT or Fiction? KR 1998: 636-649
The 2020 KR Test-of-Time Awards Committee
Thomas Eiter (Technische Universität Wien, Austria)
Jérôme Lang (CNRS, PSL, Université Paris-Dauphine, France)
Ulrike Sattler (University of Manchester, UK)