1 citations · 1 across the 15 of their papers we have counts for
19 papers
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…
Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto +2
Interpretability and explainability are among the most important challenges of modern artificial intelligence, being mentioned even in various legislative sources. In this article,…
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
The description complexity of a model is the length of the shortest formula that defines the model. We study the description complexity of unary structures in first-order logic FO,…
Interpretable classifiers for tabular data via discretization and feature selection
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto +2
We introduce a method for computing immediately human interpretable yet accurate classifiers from tabular data. The classifiers obtained are short Boolean formulas, computed via fi…