Reijo Jaakkola

According to our database, Reijo Jaakkola authored at least 18 papers between 2020 and 2024.

Collaborative distances:

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

2024

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

Reijo Jaakkola, Antti Kuusisto, Miikka Vilander

CoRR, 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

Relating Description Complexity to Entropy.

Reijo Jaakkola, Antti Kuusisto, Miikka Vilander

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 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

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

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

Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 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