Folgen
Reijo Jaakkola
Reijo Jaakkola
Tampere University
Bestätigte E-Mail-Adresse bei tuni.fi - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Ordered fragments of first-order logic
R Jaakkola
arXiv preprint arXiv:2103.08046, 2021
92021
Algebraic classifications for fragments of first-order logic and beyond
R Jaakkola, A Kuusisto
arXiv preprint arXiv:2005.01184, 2020
62020
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
52022
Towards a model theory of ordered logics: Expressivity and interpolation
B Bednarczyk, R Jaakkola
47th International Symposium on Mathematical Foundations of Computer Science …, 2022
42022
Complexity classifications via algebraic logic
R Jaakkola, A Kuusisto
Annual Conference on Computer Science Logic, 27, 2023
22023
Uniform Guarded Fragments
R Jaakkola
International Conference on Foundations of Software Science and Computation …, 2022
22022
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
12023
Relating description complexity to entropy
R Jaakkola, A Kuusisto, M Vilander
arXiv preprint arXiv:2209.12564, 2022
12022
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
2024
Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability
R Jaakkola
Annual Conference on Computer Science Logic, 26, 2023
2023
A monotone connection between model class size and description length
R Jaakkola, A Kuusisto, M Vilander
arXiv preprint arXiv:2301.13800, 2023
2023
Convergence in the space of compact labeled metric spaces
R Jaakkola, A Kykkänen
arXiv preprint arXiv:2210.00535, 2022
2022
First-order logic with self-reference
R Jaakkola, A Kuusisto
arXiv preprint arXiv:2207.07397, 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
An Extension of Trakhtenbrot's Theorem
R Jaakkola
arXiv preprint arXiv:2112.14996, 2021
2021
Complexity of the Ackermann fragment with one leading existential quantifier
R Jaakkola
arXiv preprint arXiv:2111.05388, 2021
2021
Expressive power versus decidability.
R Jaakkola
CoRR, 2021
2021
Algebraic Fragments of First-Order Logic
R Jaakkola
2021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18