Ray Reiter Best Paper Prize

The Ray Reiter Best Paper Prize was introduced in 2004 in honour of the contributions made by Professor Ray Reiter. The prize of $2000 is sponsored by Artificial Intelligence Journal.

2023

Streamlining Input/Output Logics with Sequent Calculi
Agata Ciabattoni and Dmitry Rozplokhas

2022

The Topology of Surprise
Alexandru Baltag, Nick Bezhanishvili and David Fernández-Duque

2021

Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, Michaël Thomazo

2020

Comparing Weak Admissibility Semantics to their Dung-style Counterparts – Reduct, Modularization, and Strong Equivalence in Abstract Argumentation
Ringo Baumann, Gerhard Brewka and Markus Ulbricht

2018

Propositional and Predicate Logics of Incomplete Information
Marco Console, Paolo Guagliardo and Leonid Libkin

2016

On Referring Expressions in Query Answering over First Order Knowledge Bases
Alex Borgida, David Toman and Grant Weddell

2014

Certain Answers as Objects and Knowledge
Leonid Libkin

2012

Ambiguous Language and Differences in Beliefs
Joseph Y. Halpern and Willemien Kets

2010

The Combined Approach to Query Answering in DL-Lite
R. Kontchakov, C. Lutz, D. Toman, F. Wolter, M. Zakharyaschev

2008

Can You Tell the Difference Between DL-Lite Ontologies?
Roman Kontchakov, Frank Wolter, and Michael Zakharyaschev

2006

First-Order Loop Formulas for Normal Logic Programs
Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang

Redoing the Foundations of Decision Theory
Lawrence Blume, David Easley, Joseph Halpern

2004

Expressive power and succinctness of propositional languages for preference representation
Sylvie Coste-Marquis, Jerome Lang, Paolo Liberatore, Pierre Marquis




Test of Time Award

2023

A Theory of Inferred Causation, KR 1991.
Judea Pearl and Thomas S. Verma

2022

Combining Answer Set Programming with Description Logics for the Semantic Web, KR 2004.
Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, and Hans Tompits

2020

A Spatial Logic based on Regions and Connection, KR 1992.
David A. Randell, Zhan Cui, Anthony G. Cohn

Using an Expressive Description Logic: FaCT or Fiction?, KR 1998.
Ian Horrocks




KR Distinguished Service Award

2016

Peter Patel-Schneider




Early Career Award

2023

Munyque Mittelmann, for her work on Strategic Reasoning and its Application to Automated Mechanism Design.

2022

Markus Hecher, for his work on Analysis of the Parameterized Complexity of Fundamental Problems in Artificial Intelligence.




Marco Cadoli Distinguished Student Paper Prize

2023

Knowledge Compilation and more with SharpSAT-TD
Rafael Kiesel and Thomas Eiter

2022

Finite Entailment of UCRPQs over ALC Ontologies
Victor Gutierrez-Basulto, Albert Gutowski, Yazmin Ibanez-Garcia, and Filip Murlak

2021

On the Progression of Belief
Daxin Liu and Qihui Feng

2020

Treewidth-Aware Reductions of Normal ASP to SAT – Is Normal ASP Harder than SAT After All?
Markus Hecher

2018

Towards Belief Contraction without Compactness
Jandson S. Ribeiro, Abhaya Nayak and Renata Wassermann

2016

Open-World Probabilistic Databases
Ismail Ilkan Ceylan, Adnan Darwiche and Guy Van den Broeck

2014

Query Inseparability for Description Logic Knowledge Bases
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev

2012

Complexity-Sensitive Decision Procedures for Abstract Argumentationi
Wolfgang Dvorak, Matti Jarvisalo, Johannes Peter Wallner and Stefan Woltran