Reijo Jaakkola

31 papers A 1B 7Journal 20Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy.
CSL
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2025 J jnl
Explainability via Short Formulas: the Case of Propositional Logic with Implementation.
J. Artif. Intell. Res.
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2025 J jnl
Games for graded modal substitution calculus.
CoRR
Veeti Ahvonen, Reijo Jaakkola, Antti Kuusisto
2025 J jnl
Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Magdalena Ortiz, Matias Selin, Mantas Simkus
2025 J jnl
Relating description complexity to entropy.
J. Comput. Syst. Sci.
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2025 — conf
Why This and Not That? A Logic-Based Framework for Contrastive Explanations.
JELIA (1)
Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander
2025 J jnl
Why this and not that? A Logic-based Framework for Contrastive Explanations.
CoRR
Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander
2024 J jnl
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy.
CoRR
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2024 J jnl
Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2024 — conf
Interpretable Classifiers for Tabular Data via Feature Selection and Discretization.
DAO-XAI@ECAI
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2024 J jnl
Interpretable classifiers for tabular data via discretization and feature selection.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2023 J jnl
A monotone connection between model class size and description length.
CoRR
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2023 B conf
Complexity Classifications via Algebraic Logic.
CSL
Reijo Jaakkola, Antti Kuusisto
2023 B conf
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability.
CSL
Reijo Jaakkola
2023 A conf
Relating Description Complexity to Entropy.
STACS
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2023 B conf
Short Boolean Formulas as Explanations in Practice.
JELIA
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2023 J jnl
Short Boolean Formulas as Explanations in Practice.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2022 J jnl
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability.
CoRR
Reijo Jaakkola
2022 — conf
Explainability via Short Formulas: the Case of Propositional Logic with Implementation.
HYDRA/RCRA@LPNMR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2022 J jnl
Explainability via Short Formulas: the Case of Propositional Logic with Implementation.
CoRR
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
2022 J jnl
First-order logic with self-reference.
CoRR
Reijo Jaakkola, Antti Kuusisto
2022 J jnl
Relating description complexity to entropy.
CoRR
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
2022 J jnl
Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version).
CoRR
Bartosz Bednarczyk, Reijo Jaakkola
2022 B conf
Towards a Model Theory of Ordered Logics: Expressivity and Interpolation.
MFCS
Bartosz Bednarczyk, Reijo Jaakkola
2022 B conf
Uniform Guarded Fragments.
FoSSaCS
Reijo Jaakkola
2021 J jnl
Complexity of the Ackermann fragment with one leading existential quantifier.
CoRR
Reijo Jaakkola
2021 J jnl
Expressive power versus decidability.
CoRR
Reijo Jaakkola
2021 B conf
Ordered Fragments of First-Order Logic.
MFCS
Reijo Jaakkola
2021 J jnl
Ordered fragments of first-order logic.
CoRR
Reijo Jaakkola
2021 J jnl
Uniform Guarded Fragments.
CoRR
Reijo Jaakkola
2020 J jnl
Algebraic classifications for fragments of first-order logic and beyond.
CoRR
Reijo Jaakkola, Antti Kuusisto