Miikka Vilander

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Description complexity of unary structures in first-order logic with links to entropy	2026-06-09	Paper
Why this and not that? A logic-based framework for contrastive explanations	2025-12-15	Paper
Explainability via short formulas: the case of propositional logic with implementation The Journal of Artificial Intelligence Research (JAIR)	2025-10-22	Paper
Defining long words succinctly in FO and MSO Computability	2025-03-03	Paper
Relating description complexity to entropy Journal of Computer and System Sciences	2025-01-27	Paper
Games for succinctness of regular expressions	2024-12-06	Paper
Relating description complexity to entropy	2024-10-08	Paper
Short Boolean formulas as explanations in practice	2024-05-29	Paper
A monotone connection between model class size and description length	2023-01-31	Paper
Defining long words succinctly in FO and MSO (available as arXiv preprint)	2022-12-07	Paper
Relating description complexity to entropy	2022-09-26	Paper
Defining long words succinctly in FO and MSO (available as arXiv preprint)	2022-02-21	Paper
Formula size games for modal logic and \(\mu\)-calculus Journal Of Logic And Computation	2020-02-17	Paper
On the succinctness of atoms of dependency (available as arXiv preprint)	2019-09-13	Paper
The Succinctness of First-order Logic over Modal Logic via a Formula Size Game (available as arXiv preprint)	2018-04-23	Paper

Research outcomes over time

This page was built for person: Miikka Vilander