Ordered fragments of first-order logic R Jaakkola arXiv preprint arXiv:2103.08046, 2021 | 13 | 2021 |
Towards a model theory of ordered logics: Expressivity and interpolation B Bednarczyk, R Jaakkola International Symposium on Mathematical Foundations of Computer Science …, 2022 | 7 | 2022 |
Explainability via short formulas: the case of propositional logic with implementation R Jaakkola, T Janhunen, A Kuusisto, MF Rankooh, M Vilander arXiv preprint arXiv:2209.01403, 2022 | 6 | 2022 |
Algebraic classifications for fragments of first-order logic and beyond R Jaakkola, A Kuusisto arXiv preprint arXiv:2005.01184, 2020 | 6 | 2020 |
Short boolean formulas as explanations in practice R Jaakkola, T Janhunen, A Kuusisto, MF Rankooh, M Vilander European Conference on Logics in Artificial Intelligence, 90-105, 2023 | 5 | 2023 |
Relating description complexity to entropy R Jaakkola, A Kuusisto, M Vilander Journal of Computer and System Sciences 149, 103615, 2025 | 2 | 2025 |
Complexity classifications via algebraic logic R Jaakkola, A Kuusisto Annual Conference on Computer Science Logic, 27, 2023 | 2 | 2023 |
Uniform Guarded Fragments R Jaakkola International Conference on Foundations of Software Science and Computation …, 2022 | 2 | 2022 |
Interpretable classifiers for tabular data via discretization and feature selection R Jaakkola, T Janhunen, A Kuusisto, MF Rankooh, M Vilander arXiv preprint arXiv:2402.05680, 2024 | 1 | 2024 |
First-order logic with self-reference R Jaakkola, A Kuusisto arXiv preprint arXiv:2207.07397, 2022 | 1 | 2022 |
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy R Jaakkola, A Kuusisto, M Vilander arXiv preprint arXiv:2406.02108, 2024 | | 2024 |
Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions R Jaakkola, T Janhunen, A Kuusisto, MF Rankooh, M Vilander arXiv preprint arXiv:2406.01114, 2024 | | 2024 |
Formulas of propositional logic as interpretable classifiers R Jaakkola | | 2024 |
Why do overparameterized neural networks generalize? R Jaakkola | | 2024 |
Interpretable classifiers for tabular data via feature selection and discretization R Jaakkola, T Janhunen, A Kuusisto, M Feyzbakhsh Rankooh, M Vilander DAO-XAI 2024: Data meets Ontologies in Explainable AI 2024, 2024 | | 2024 |
A monotone connection between model class size and description length R Jaakkola, A Kuusisto, M Vilander arXiv preprint arXiv:2301.13800, 2023 | | 2023 |
31st EACSL Annual Conference on Computer Science Logic (CSL 2023) C Faggian, N Gierasimczuk, D Miller, JH Wu, D Sangiorgi, B Afshari, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability R Jaakkola arXiv preprint arXiv:2210.01034, 2022 | | 2022 |
Convergence in the space of compact labeled metric spaces R Jaakkola, A Kykkänen arXiv preprint arXiv:2210.00535, 2022 | | 2022 |
Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version) B Bednarczyk, R Jaakkola arXiv preprint arXiv:2206.11751, 2022 | | 2022 |