Ei valokuvaa Reijo Jaakkola

Reijo Jaakkola

20212023

Tutkimustuotoksia vuodessa

Suodatin
Konferenssiartikkeli

Hakutulokset

  • 2023

    Complexity Classifications via Algebraic Logic

    Jaakkola, R. & Kuusisto, A., 1 helmik. 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 Sivumäärä 27. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 252).

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    10 Lataukset (Pure)
  • Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability

    Jaakkola, R., 1 helmik. 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 26. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 252).

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    16 Lataukset (Pure)
  • Relating Description Complexity to Entropy

    Jaakkola, R., Kuusisto, A. & Vilander, M., 1 maalisk. 2023, 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023. Berenbrink, P., Bouyer, P., Dawar, A. & Kante, M. M. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 18 Sivumäärä 38. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 254).

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    8 Lataukset (Pure)
  • Short Boolean Formulas as Explanations in Practice

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 24 syysk. 2023, Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V. & Ortiz, M. (toim.). Springer, Vuosikerta 14281. s. 90-105 16 Sivumäärä 7. (Lecture Notes in Computer Science; Vuosikerta 14281).

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    12 Lataukset (Pure)
  • 2022

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

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 5 syysk. 2022, Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning HYDRA} 2022 and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion RCRA 2022 co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2022, Genova Nervi, Italy, September 5, 2022. CEUR Workshop Proceedings, Vuosikerta 3281. s. 64-77 13 Sivumäärä ( CEUR workshop proceedings).

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    2 Sitaatiot (Scopus)
    11 Lataukset (Pure)
  • Towards a Model Theory of Ordered Logics: Expressivity and Interpolation

    Bednarczyk, B. & Jaakkola, R., elok. 2022, 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Szeider, S., Ganian, R. & Silva, A. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vuosikerta 241. s. 15:1–15:14 15. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 241).

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    3 Sitaatiot (Scopus)
    8 Lataukset (Pure)
  • Uniform Guarded Fragments

    Jaakkola, R., 2022, Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Bouyer, P. & Schröder, L. (toim.). Springer, s. 409-427 19 Sivumäärä (Lecture Notes in Computer Science ; Vuosikerta 13242 LNCS).

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    5 Lataukset (Pure)
  • 2021

    Ordered Fragments of First-Order Logic

    Jaakkola, R., 1 elok. 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 62. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 202).

    Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

    Open access
    Tiedosto
    6 Sitaatiot (Scopus)
    9 Lataukset (Pure)