Miikka Vilander

According to our database, Miikka Vilander authored at least 15 papers between 2016 and 2025.

Collaborative distances:

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

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

Why This and Not That? A Logic-Based Framework for Contrastive Explanations.

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

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 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

Defining long words succinctly in FO and MSO.

Lauri Hella, Miikka Vilander

Comput., 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

2022

Succinctness and Formula Size Games.

Miikka Vilander

PhD thesis, 2022

2021

Games for Succinctness of Regular Expressions.

Miikka Vilander

Proceedings of the Proceedings 12th International Symposium on Games, 2021

2019

Formula size games for modal logic and μ-calculus.

Lauri Hella, Miikka Vilander

J. Log. Comput., 2019

On the Succinctness of Atoms of Dependency.

Martin Lück, Miikka Vilander

Log. Methods Comput. Sci., 2019

2016

The succinctness of first-order logic over modal logic via a formula size game.

Lauri Hella, Miikka Vilander

Proceedings of the Advances in Modal Logic 11, 2016