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.

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

Marco Cadoli Distinguished Student Paper Prize

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

KR Distinguished Service Award

2016

Peter Patel-Schneider