2 citations · 3 across the 16 of their papers we have counts for
3 papers · 1 filter
Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto +3
We present a novel approach for graph classification based on tabularizing graph data via new variants of the Weisfeiler-Leman algorithm and then applying methods for tabular data.…
Why this and not that? A Logic-based Framework for Contrastive Explanations
Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto +2
We define several canonical problems related to contrastive explanations, each answering a question of the form ''Why P but not Q?''. The problems compute causes for both P and Q,…
Formula size game and model checking for modal substitution calculus
Veeti Ahvonen, Reijo Jaakkola, Antti Kuusisto
Recent research has applied modal substitution calculus (MSC) and its variants to characterize various computational frameworks such as graph neural networks (GNNs) and distributed…