Miikka Vilander

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Regular Expressions

Prime Implicates

Top Venues

HYDRA/RCRA@LPNMR

J. Log. Comput.

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, 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)
Lauri Hella, Miikka Vilander
Defining long words succinctly in FO and MSO. CoRR (2022)
Lauri Hella, Miikka Vilander
Defining Long Words Succinctly in FO and MSO. CiE (2022)
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
Relating description complexity to entropy. CoRR (2022)
Miikka Vilander
Games for Succinctness of Regular Expressions. GandALF (2021)
Martin Lück, Miikka Vilander
On the Succinctness of Atoms of Dependency. Log. Methods Comput. Sci. 15 (3) (2019)
Lauri Hella, Miikka Vilander
Formula size games for modal logic and μ-calculus. CoRR (2019)
Martin Lück, Miikka Vilander
On the Succinctness of Atoms of Dependency. CoRR (2019)
Lauri Hella, Miikka Vilander
Formula size games for modal logic and μ-calculus. J. Log. Comput. 29 (8) (2019)
Lauri Hella, Miikka Vilander
The succinctness of first-order logic over modal logic via a formula size game. Advances in Modal Logic (2016)
Lauri Hella, Miikka Vilander
The Succinctness of First-order Logic over Modal Logic via a Formula Size Game. CoRR (2016)