2 citations · 2 across the 11 of their papers we have counts for
3 papers · 1 filter
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Yasir Mahmood, Jonni Virtema, Timon Barlag +1
We discover a connection between finding subset-maximal repairs for sets of functional and inclusion dependencies, and computing extensions within argumentation frameworks (AFs). W…
Unified Foundations of Team Semantics via Semirings
Timon Barlag, Miika Hannula, Juha Kontinen +2
Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for st…
Logical Characterization of Algebraic Circuit Classes over Integral Domains
Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube
We present an adapted construction of algebraic circuits over the reals introduced by Cucker and Meer to arbitrary infinite integral domains and generalize the $\mathrm{AC}_{\mathb…