Miikka Vilander

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