31 citations · 111 across the 33 of their papers we have counts for
4 papers · 1 filter
Rewriting Consistent Answers on Annotated Data
Phokion G. Kolaitis, Nina Pardal, Jonni Virtema +1
We embark on a study of the consistent answers of queries over databases annotated with values from a naturally ordered positive semiring. In this setting, the consistent answers o…
Synchronous Team Semantics for Temporal Logics
Andreas Krebs, Arne Meier, Jonni Virtema +1
We present team semantics for two of the most important linear and branching time specification languages, Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). With team s…
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Juha Kontinen, Max Sandström, Jonni Virtema
Linear temporal logic (LTL) is used in system verification to write formal specifications for reactive systems. However, some relevant properties, e.g. non-inference in information…
Graph Neural Networks and Arithmetic Circuits
Timon Barlag, Vivian Holzapfel, Laura Strieker +2
We characterize the computational power of neural networks that follow the graph neural network (GNN) architecture, not restricted to aggregate-combine GNNs or other particular typ…