No photo of Reijo Jaakkola

Reijo Jaakkola

20212023

Research activity per year

If you made any changes in Pure these will be visible here soon.
  • 8 Conference contribution

Search results

  • 2023

    Complexity Classifications via Algebraic Logic

    Jaakkola, R. & Kuusisto, A., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). 18 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    4 Downloads (Pure)

  • Complexity of Polyadic Boolean Modal Logics: Model Checking and Satisfiability

    Jaakkola, R., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 252).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    3 Downloads (Pure)

  • Relating Description Complexity to Entropy

    Jaakkola, R., Kuusisto, A. & Vilander, M., 1 Mar 2023, 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023. Berenbrink, P., Bouyer, P., Dawar, A. & Kante, M. M. (eds.). 18 p. 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 254).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • Short Boolean Formulas as Explanations in Practice

    Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 24 Sept 2023, Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V. & Ortiz, M. (eds.). Springer, Vol. 14281. p. 90-105 16 p. 7. (Lecture Notes in Computer Science; vol. 14281).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Downloads (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 Sept 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. Vol. 3281. p. 64-77 13 p. ( CEUR workshop proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Downloads (Pure)

  • Towards a Model Theory of Ordered Logics: Expressivity and Interpolation

    Bednarczyk, B. & Jaakkola, R., Aug 2022, 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022). Szeider, S., Ganian, R. & Silva, A. (eds.). Vol. 241. p. 15:1–15:14 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 241).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Downloads (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. (eds.). Springer, p. 409-427 19 p. (Lecture Notes in Computer Science ; vol. 13242 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Downloads (Pure)
  • 2021

    Ordered Fragments of First-Order Logic

    Jaakkola, R., 1 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (eds.). 62. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File