Reijo Jaakkola

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 23

Top Topics

Quantifier Free

Guarded Fragment

Expressive Power

Top Venues

Publications

Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions. CoRR (2024)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Interpretable classifiers for tabular data via discretization and feature selection. CoRR (2024)
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. CoRR (2024)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Short Boolean Formulas as Explanations in Practice. CoRR (2023)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Short Boolean Formulas as Explanations in Practice. JELIA (2023)
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
A monotone connection between model class size and description length. CoRR (2023)
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
Relating Description Complexity to Entropy. STACS (2023)
Reijo Jaakkola, Antti Kuusisto
Complexity Classifications via Algebraic Logic. CSL (2023)
Reijo Jaakkola
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability. CSL (2023)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Explainability via Short Formulas: the Case of Propositional Logic with Implementation. CoRR (2022)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Explainability via Short Formulas: the Case of Propositional Logic with Implementation. HYDRA/RCRA@LPNMR (2022)
Reijo Jaakkola
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability. CoRR (2022)
Reijo Jaakkola, Antti Kuusisto
First-order logic with self-reference. CoRR (2022)
Reijo Jaakkola
Uniform Guarded Fragments. FoSSaCS (2022)
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
Relating description complexity to entropy. CoRR (2022)
Bartosz Bednarczyk, Reijo Jaakkola
Towards a Model Theory of Ordered Logics: Expressivity and Interpolation. MFCS (2022)
Bartosz Bednarczyk, Reijo Jaakkola
Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version). CoRR (2022)
Reijo Jaakkola
Ordered Fragments of First-Order Logic. MFCS (2021)
Reijo Jaakkola
Uniform Guarded Fragments. CoRR (2021)
Reijo Jaakkola
Expressive power versus decidability. CoRR (2021)
Reijo Jaakkola
Ordered fragments of first-order logic. CoRR (2021)
Reijo Jaakkola
Complexity of the Ackermann fragment with one leading existential quantifier. CoRR (2021)
Reijo Jaakkola, Antti Kuusisto
Algebraic classifications for fragments of first-order logic and beyond. CoRR (2020)