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
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 › Scientific › 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 › Scientific › 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 › Scientific › 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 › Scientific › 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.). s. 3-19 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13752).Tutkimustuotos: Konferenssiartikkeli › Scientific › 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 › Scientific › 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. Vuosikerta 3281. s. 64-77 13 Sivumäärä ( CEUR workshop proceedings).Tutkimustuotos: Konferenssiartikkeli › Scientific › 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 › Scientific › vertaisarvioitu
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN .
Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N. & Schaub, T., 2022, Rules and Reasoning 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Springer, s. 54-62 9 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13752).Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
Sioutis, M., Paparrizou, A. & Janhunen, T., 2021, julkaisussa: Information and Computation. 280, 104638.Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu