Reijo Jaakkola

According to our database, Reijo Jaakkola authored at least 20 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Why this and not that? A Logic-based Framework for Contrastive Explanations.

Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander

CoRR, July, 2025

Games for graded modal substitution calculus.

Veeti Ahvonen, Reijo Jaakkola, Antti Kuusisto

CoRR, May, 2025

Relating description complexity to entropy.

Reijo Jaakkola, Antti Kuusisto, Miikka Vilander

J. Comput. Syst. Sci., 2025

Explainability via Short Formulas: the Case of Propositional Logic with Implementation.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

J. Artif. Intell. Res., 2025

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy.

Reijo Jaakkola, Antti Kuusisto, Miikka Vilander

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

CoRR, 2024

Interpretable classifiers for tabular data via discretization and feature selection.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

CoRR, 2024

Interpretable Classifiers for Tabular Data via Feature Selection and Discretization.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), 2024

2023

A monotone connection between model class size and description length.

Reijo Jaakkola, Antti Kuusisto, Miikka Vilander

CoRR, 2023

Short Boolean Formulas as Explanations in Practice.

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Complexity Classifications via Algebraic Logic.

Reijo Jaakkola, Antti Kuusisto

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability.

Reijo Jaakkola

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

First-order logic with self-reference.

Reijo Jaakkola, Antti Kuusisto

CoRR, 2022

Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version).

Bartosz Bednarczyk, Reijo Jaakkola

CoRR, 2022

Towards a Model Theory of Ordered Logics: Expressivity and Interpolation.

Bartosz Bednarczyk, Reijo Jaakkola

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Uniform Guarded Fragments.

Reijo Jaakkola

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Expressive power versus decidability.

Reijo Jaakkola

CoRR, 2021

Complexity of the Ackermann fragment with one leading existential quantifier.

Reijo Jaakkola

CoRR, 2021

Ordered Fragments of First-Order Logic.

Reijo Jaakkola

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Algebraic classifications for fragments of first-order logic and beyond.

Reijo Jaakkola, Antti Kuusisto

CoRR, 2020