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