Tomi Janhunen
Osaamisalueiden kuvaus
Tekoäly, tietämyksen esittäminen ja automaattinen päättely, logiikkaohjelmointi, sääntöpohjainen rajoiteohjelmointi ja optimointi, teoreettinen tietojenkäsittely
Luottamustoimet
Tietojenkäsittelytieteen seura, hallituksen jäsen 2019-2021, varapuheenjohtaja 2021.
Suomen tekoälyseura, hallituksen jäsen 2020-2023, varapuheenjohtaja 2020-2021, puheenjohtaja 2022-2023.
Tutkimusrahoitus
Merkittävimmät julkaisut
Uusimmat julkaisut
Explainability via Short Formulas: the Case of Propositional Logic with Implementation
Jaakkola, R., Janhunen, T., Kuusisto, A., Rankooh, M. F. & Vilander, M., heinäk. 2025, julkaisussa: Journal of Artificial Intelligence Research. 83, 8.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Plingo: A System for Probabilistic Reasoning in Answer Set Programming
Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N. & Schaub, T., 2025, julkaisussa: THEORY AND PRACTICE OF LOGIC PROGRAMMING. 25, 2, s. 134-167Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Automating Cybersecurity Compliance in DevSecOps with Open Information Model for Security as Code
Haverinen, H., Janhunen, T., Päivärinta, T., Lempinen, S., Kaartinen, S. & Merilä, S., 22 lokak. 2024, Proceedings of 4th Eclipse Security, AI, Architecture and Modelling Conference on Data Spaces, eSAAM 2024. ACM, s. 93-102 10 SivumääräTutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract)
Rankooh, M. F. & Janhunen, T., 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (toim.). International Joint Conferences on Artificial Intelligence, s. 8399-8404 6 Sivumäärä (IJCAI International Joint Conference on Artificial Intelligence).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming
Rankooh, M. F. & Janhunen, T., 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (toim.). International Joint Conferences on Artificial Intelligence, s. 3369-3376 8 Sivumäärä (IJCAI International Joint Conference on Artificial Intelligence).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Integrating Competencies into Preventive Maintenance Scheduling with Answer Set Optimization
Yli-Jyrä, A., Ikävalko, H. & Janhunen, T., 2024, Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings. Meier, A. & Ortiz, M. (toim.). Cham, Switzerland: Springer, s. 381-400 20 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 14589 LNCS).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Interpretable classifiers for tabular data via feature selection and discretization
Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 2024, DAO-XAI 2024: Data meets Ontologies in Explainable AI 2024: Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024) . CEUR-WS, 22 Sivumäärä (CEUR Workshop Proceedings; Vuosikerta 3833).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Toward Designing Ethically Acceptable AI Security Systems Through Agent Modeling
Hallamaa, J., Janhunen, T., Nummenmaa, J., Nummenmaa, T., Saariluoma, P. & Zimina, E., 2024, Smart Urban Safety and Security: Interdisciplinary Perspectives. Autero, A., de Moraes Batista Simão, M. & Karppi, I. (toim.). Palgrave Macmillan, s. 171-196Tutkimustuotos: Luku › Tieteellinen › vertaisarvioitu
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs
Feyzbakhsh Rankooh, M. & Janhunen, T., 2023, julkaisussa: THEORY AND PRACTICE OF LOGIC PROGRAMMING. 23, 4, s. 782-796Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Generalizing Level Ranking Constraints for Monotone and Convex Aggregates
Janhunen, T., syysk. 2023, Proceedings 39th International Conference on Logic Programming: EPTCS 385. Costantini, S., Pontelli, E., Russo, A., Toni, F., Calegari, R., D'Avila Garcez, A., Dodaro, C., Fabiano, F., Gaggl, S. & Mileo, A. (toim.). Open Publishing Association, s. 101-115 15 Sivumäärä 12. (Electronic Proceedings in Theoretical Computer Science; Vuosikerta 385).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu