Miikka Vilander

According to our database, Miikka Vilander authored at least 13 papers between 2016 and 2024.

Collaborative distances:

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

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

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

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

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

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