Tomi Janhunen
professori, tietojenkäsittelytiede
Tampereen yliopisto
tomi.janhunen [at] tuni.fi (tomi[dot]janhunen[at]tuni[dot]fi)
puhelinnumero+358503182250
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
Tekoälymenetelmien logiikkaperusteinen selittäminen (XAILOG), Suomen akatemia, 2022-2024;Tuotantolinjojen tekoälypohjainen optimointi (AI-ROT), Suomen akatemia, 2021-2023.
Merkittävimmät julkaisut
Uusimmat julkaisut
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
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
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling
Yli-Jyrä, A., Feyzbakhsh Rankooh, M. & Janhunen, T., 2023, Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (toim.). Springer, s. 279-294 16 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13880).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
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 › Tieteellinen › vertaisarvioitu
Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
Yli-Jyrä, A. & Janhunen, T., 14 jouluk. 2022, Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022. Berlin, Germany, September 26–28, 2022. Proceedings. Governatori, G. & Turhan, A.-Y. (toim.). Springer, s. 3-19 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13752).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.
Rankooh, M. F. & Janhunen, T., 2022, LPNMR 2022: Logic Programming and Nonmonotonic Reasoning. s. 203-216 (Lecture Notes in Computer Science; Vuosikerta 13416).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
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. CEUR Workshop Proceedings, Vuosikerta 3281. s. 64-77 13 Sivumäärä ( CEUR workshop proceedings).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Janhunen, T., 7 tammik. 2022, Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings. Cheney, J. & Perri, S. (toim.). Springer, s. 135-153 19 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13165 LNCS).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu