17th International Conference on Principles of Knowledge Representation and Reasoning

September 12-18, 2020

last modified: 10 Sep 2020

Awards

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

Runner-Up

Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter
Logical Separability of Incomplete Data under Ontologies

Marco Cadoli Best Student Paper Award

Markus Hecher
Treewidth-Aware Reductions of normal ASP to SAT– Is normal ASP harder than SAT after all?

Runner-Up

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

Ian Horrocks
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)