Timon Barlag

According to our database, Timon Barlag authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Graph Neural Networks and Arithmetic Circuits.

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

CoRR, 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