Timon Barlag

According to our database, Timon Barlag authored at least 8 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Local consistency and axioms of functional dependence.

Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema

CoRR, May, 2025

Logic and Computation Through the Lens of Semirings.

Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker

CoRR, February, 2025

2024

Logical characterizations of algebraic circuit classes over integral domains.

Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube

Math. Struct. Comput. Sci., 2024

Graph Neural Networks and Arithmetic Circuits.

Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Computing Repairs Under Functional and Inclusion Dependencies via Argumentation.

Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Logical Characterization of Algebraic Circuit Classes over Integral Domains.

Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube

CoRR, 2023

Unified Foundations of Team Semantics via Semirings.

Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2021

A Logical Characterization of Constant-Depth Circuits over the Reals.

Timon Barlag, Heribert Vollmer

Proceedings of the Logic, Language, Information, and Computation, 2021