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 the Artificial Intelligence Journal.
2024
Contractions Based on Optimal Repairs
Franz Baader and Renata Wassermann
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 and 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
Roman Kontchakov,
Carsten Lutz,
David Toman,
Frank Wolter and
Michael 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 and Mingyi Zhang
Redoing the Foundations of Decision Theory
Lawrence Blume, David Easley and Joseph Halpern
2004
Expressive power and succinctness of propositional languages for
preference representation
Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, and Pierre Marquis
Test of Time Award
2024
A Logical Approach to Factoring Belief Networks, KR 2002.
Adnan Darwiche
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 and Anthony G. Cohn
Using an Expressive Description Logic: FaCT or Fiction?, KR 1998.
Ian Horrocks
KR Distinguished Service Award
2024
Anthony Cohn
2016
Peter Patel-Schneider
Early Career Award
2024
Anna Rapberger, for her work on Theoretical and Practical Aspects of Computational Argumentation.
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
2024
Qiana: A First-Order Formalism to Quantify over Contexts and Formulas
Simon Coumes, Pierre-Henri Paris, François Schwarzentruber and Fabian M. Suchanek
2023
Knowledge Compilation and more with SharpSAT-TD
Rafael Kiesel and Thomas Eiter
2022
Finite Entailment of UCRPQs over ALC Ontologies
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García 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
İsmail İlkan 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 Argumentation
Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner and Stefan Woltran