Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Asiantuntemus YK:n kestävän kehityksen tavoitteista
Vuonna 2015 YK:n jäsenvaltiot sopivat 17 maailmanlaajuisesta kestävän kehityksen tavoitteesta köyhyyden poistamiseksi, planeetan suojelemiseksi ja vaurauden takaamiseksi kaikille. Tämän henkilön työ edistää seuraavia kestävän kehityksen tavoitteita:
-
SDG 8 – Ihmisarvoinen työ ja taloudellinen kasvu -
SDG 9 – Teollisuus, innovaatiot ja infrastruktuuri -
SDG 12 – Vastuullinen kulutus ja tuotanto
Sormenjälki
Sukella tutkimusaiheisiin, joissa Tomi Janhunen on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 1 Samanlaiset profiilit
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
-
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
Open accessTiedosto2 Sitaatiot (Scopus)8 Lataukset (Pure) -
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
Open accessTiedosto2 Sitaatiot (Scopus)49 Lataukset (Pure) -
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
Open accessTiedosto7 Sitaatiot (Scopus)106 Lataukset (Pure) -
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
Open accessTiedosto32 Lataukset (Pure) -
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
Open accessTiedosto2 Sitaatiot (Scopus)38 Lataukset (Pure)
Tietoaineistot
-
maintenance-scheduling
Yli-Jyrä, A. (Creator), Janhunen, T. (Creator) & Feyzbakhsh Rankooh, M. (Creator), Tampere University, 20 kesäk. 2024
https://github.com/asptools/maintenance-scheduling
Tietoaineisto: Dataset
Palkinnot
-
Best Paper Award of the 17th European Conference on Logics in Artificial Intelligence
Gonçalves, R. (Recipient), Janhunen, T. (Recipient), Knorr, M. (Recipient) & Leite, J. (Recipient), 17 toukok. 2021
Palkinto: Palkinto tai huomionosoitus tuotoksesta
-
Best Paper Award of the 39th International Conference on Logic Programming
Feyzbakhsh Rankooh, M. (Recipient) & Janhunen, T. (Recipient), 13 heinäk. 2023
Palkinto: Palkinto tai huomionosoitus tuotoksesta
-
Harold Boley best system description award of the 6th International Joint Conference on Rules and Reasoning
Hahn, S. (Recipient), Janhunen, T. (Recipient), Kaminski, R. (Recipient), Romero, J. (Recipient), Rühling, N. (Recipient) & Schaub, T. (Recipient), 28 syysk. 2022
Palkinto: Palkinto tai huomionosoitus tuotoksesta
Aktiviteetit
-
Fulbright Specialist Project
Sieberg, K. (Muu) & Janhunen, T. (Osallistuja)
20 lokak. 2025 → 30 marrask. 2025Aktiviteetti: Myönnetty tutkimusrahoitus
-
International Symposium on Practical Aspects of Declarative Languages
Janhunen, T. (Jäsen)
2025Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
-
Workshop on Answer Set Programming and Other Computing Paradigms
Janhunen, T. (Jäsen)
2024Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
-
International Conference on Logic Programming and Non-monotonic Reasoning
Janhunen, T. (Jäsen)
2024Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
-
Journal of Artificial Intelligence Research (Lehti)
Janhunen, T. (Arvioija)
2024Aktiviteetti: Tieteellisen lehden refereenä toimiminen