Reijo Jaakkola | DeepAI

DeepAI AI Chat

Featured Co-authors

Antti Kuusisto
18 publications
Bartosz Bednarczyk
16 publications
Tomi Janhunen
12 publications
Miikka Vilander
8 publications
Masood Feyzbakhsh Rankooh
4 publications

∙ 07/13/2023

Short Boolean Formulas as Explanations in Practice

We investigate explainability via short Boolean formulas in the data mod...

0 Reijo Jaakkola, et al. ∙

∙ 01/31/2023

A monotone connection between model class size and description length

This paper links sizes of model classes to the minimum lengths of their ...

0 Reijo Jaakkola, et al. ∙

∙ 10/03/2022

Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability

We study the computational complexity of model checking and satisfiabili...

0 Reijo Jaakkola, et al. ∙

∙ 09/26/2022

Relating description complexity to entropy

We demonstrate some novel links between entropy and description complexi...

0 Reijo Jaakkola, et al. ∙

∙ 09/03/2022

Explainability via Short Formulas: the Case of Propositional Logic with Implementation

We conceptualize explainability in terms of logic and formula size, givi...

0 Reijo Jaakkola, et al. ∙

∙ 07/15/2022

First-order logic with self-reference

We consider an extension of first-order logic with a recursion operator ...

0 Reijo Jaakkola, et al. ∙

∙ 06/23/2022

Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version)

We consider the family of guarded and unguarded ordered logics, that con...

0 Bartosz Bednarczyk, et al. ∙

∙ 12/30/2021

Expressive power versus decidability

In this note we prove that there exists no fragment of first-order logic...

0 Reijo Jaakkola, et al. ∙

∙ 11/09/2021

Complexity of the Ackermann fragment with one leading existential quantifier

In this short note we prove that the satisfiability problem of the Acker...

0 Reijo Jaakkola, et al. ∙

∙ 10/07/2021

Uniform Guarded Fragments

In this paper we prove that the uniform one-dimensional guarded fragment...

0 Reijo Jaakkola, et al. ∙

∙ 03/14/2021

Ordered fragments of first-order logic

Using a recently introduced algebraic framework for the classification o...

0 Reijo Jaakkola, et al. ∙

∙ 05/03/2020

Algebraic classifications for fragments of first-order logic and beyond

Complexity and decidability of logical systems is a major research area ...

0 Reijo Jaakkola, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world