Research output per year
Research output per year
Fingerprint
Dive into the research topics where Reijo Jaakkola is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 7 Conference contribution
-
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 AccessFile3 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 AccessFile3 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 AccessFile1 Downloads (Pure) -
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 AccessFile1 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 AccessFile1 Downloads (Pure)