2 citations · 2 across the 1 of their papers we have counts for
7 papers
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals
Fausto Barbero, Jonni Virtema
Causal multiteam semantics is a framework where probabilistic dependencies arising from data and causation between variables can be formalized together and studied logically. We di…
Locally Consistent K-relations: Entailment and Axioms of Functional Dependence
Timon Barlag, Miika Hannula, Juha Kontinen +2
Local consistency arises in diverse areas, including Bayesian statistics, relational databases, and quantum foundations, and so does the notion of functional dependence. We adopt a…
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…
Halting Recurrent GNNs and the Graded -Calculus
Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren +1
Graph Neural Networks (GNNs) are a class of machine-learning models that operate on graph-structured data. Their expressive power is intimately related to logics that are invariant…
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…
A logic-based framework for database repairs
Nicolas Fröhlich, Arne Meier, Nina Pardal +1
We introduce a general abstract framework for database repairs, where the repair notions are defined using formal logic. We distinguish between integrity constraints and so-called…