ICCL Researchers win Best Paper Award at international top conference on symbolic AI

From International Center for Computational Logic
News of November 3, 2021

ICCL Researchers win Best Paper Award at international top conference on symbolic AI

The paper Capturing Homomorphism-Closed Decidable Queries with Existential Rules by Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph, and Michaël Thomazo has been awarded the Ray Reiter Best Paper Award at this year's edition of the International Conference on Principles of Knowledge Representation and Reasoning (KR’21). The publication can rightly be labeled as a "product from Dresden." All of the external authors spent several years as postdoctoral researches at our faculty: Camille Bourgaux at the Chair of Automata Theory, David Carral at the Chair for Knowledge-Based Systems, and Michaël Thomazo as a Humboldt research fellow at the Chair of Computational Logic.