Ei valokuvaa Reijo Jaakkola

Reijo Jaakkola

20212023

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Sormenjälki

Sukella tutkimusaiheisiin, joissa Reijo Jaakkola on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
  • 1 Samanlaiset profiilit
Näytä koko sormenjälki

Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta

Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Tutki verkkoa laajemmin
  • 8 Konferenssiartikkeli

  • 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.). 18 Sivumäärä 27. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 252).

    Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

    Open access
    Tiedosto
    4 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.). 26. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 252).

    Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

    Open access
    Tiedosto
    3 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.). 18 Sivumäärä 38. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 254).

    Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

    Open access
    Tiedosto
    1 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: Konferenssiartikkeli › Scientific › vertaisarvioitu

    Open access
    Tiedosto
    1 Lataukset (Pure)

  • 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. Vuosikerta 3281. s. 64-77 13 Sivumäärä ( CEUR workshop proceedings).

    Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

    Open access
    Tiedosto
    2 Lataukset (Pure)
Näytä kaikki 8 tutkimustuotos