News of May 6, 2022

ICCL Researchers contribute to top conferences

KR, ICDT, IJCAI, LICS, and PODS are among the most prominent conferences in symbolic AI.

This year, a total of eight contributions from ICCL Researchers have been accepted to these conferences. We congratulate all researchers involved to such a remarkable achievement.

The accepted papers are:

KR 2022

Tim Lyon and Lucía Gómez Álvarez. Automating Reasoning with Standpoint Logic via Nested Sequents
Jacopo Urbani, Markus Krötzsch and Thomas Eiter. Chasing streams with existential rules
Jonas Karge and Sebastian Rudolph. The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion

ICDT 2022

Maximilian Marx and Markus Krötzsch. Tuple-Generating Dependencies Capture Complex Values

IJCAI 2022

Sarah Alice Gaggl, Philipp Hanisch, and Markus Krötzsch. Simulating Sets in Answer Set Programming

LICS 2022

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann and Markus Krötzsch. Deciding Hyperproperties Combined with Functional Specifications

PODS 2022

Jarosław Kwiecień, Jerzy Marcinkowski and Piotr Ostropolski-Nalewaja. Determinacy of Real Conjunctive Queries. The Boolean Case.
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral and Sebastian Rudolph. A Journey to the Frontiers of Query Rewritability.