Miikka Vilander
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2016–2025
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CSL | Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. | Reijo Jaakkola, Antti Kuusisto, Miikka Vilander |
| 2025 | JELIA | Why This and Not That? A Logic-Based Framework for Contrastive Explanations. | Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander |
| 2023 | JELIA | Short Boolean Formulas as Explanations in Practice. | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2023 | STACS | Relating Description Complexity to Entropy. | Reijo Jaakkola, Antti Kuusisto, Miikka Vilander |
| 2022 | CiE | Defining Long Words Succinctly in FO and MSO. | Lauri Hella, Miikka Vilander |
| 2022 | LPNMR | Explainability via Short Formulas: the Case of Propositional Logic with Implementation. | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2016 | AiML | The succinctness of first-order logic over modal logic via a formula size game. | Lauri Hella, Miikka Vilander |