Timon Barlag

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Agent Oriented Programming Language

Logical Properties

Inclusion Dependencies

Containment Of Conjunctive Queries

Top Venues

Publications

Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
Graph Neural Networks and Arithmetic Circuits. CoRR (2024)
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. FoIKS (2024)
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Unified Foundations of Team Semantics via Semirings. KR (2023)
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. CoRR (2023)
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Unified Foundations of Team Semantics via Semirings. CoRR (2023)
Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube
Logical Characterization of Algebraic Circuit Classes over Integral Domains. CoRR (2023)
Timon Barlag, Heribert Vollmer
A Logical Characterization of Constant-Depth Circuits over the Reals. WoLLIC (2021)
Timon Barlag, Heribert Vollmer
A Logical Characterization of Constant-Depth Circuits over the Reals. CoRR (2020)