Neuigkeit vom 6. Mai 2022

ICCL-Forscher tragen zu Top-Konferenzen bei

KR, ICDT, IJCAI, LICS, und PODS gehören zu den wichtigsten Konferenzen im Bereich der symbolischen KI.

In diesem Jahr wurden insgesamt acht Beiträge von ICCL-Forschern auf diesen Konferenzen angenommen. Wir gratulieren allen beteiligten Forschern zu dieser bemerkenswerten Leistung.

Die angenommenen Beiträge sind:

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.