31 citations · 111 across the 33 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
quant-ph2025
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…
cs.LG2025
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…