Tomi Janhunen
Fields of expertise
Artificial Intelligence, Knowledge Representation and Reasoning, Logic Programming, Answer Set Programming and Optimization, Theoretical Computer Science
Main positions of trust
Finnish Association of Computer Science, Member of the Board 2019-2021, Vice Chair 2021
Finnish Artificial Intelligence Society (FAIS), Member of the Board 2020-2023, Vice Chair 2020-2021, Chair 2022-2023
Funding
Selected publications
Latest publications
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 Oct 2024, Proceedings of 4th Eclipse Security, AI, Architecture and Modelling Conference on Data Spaces, eSAAM 2024. ACM, p. 93-102 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
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. (ed.). International Joint Conferences on Artificial Intelligence, p. 3369-3376 8 p. (IJCAI International Joint Conference on Artificial Intelligence).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
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. (eds.). Cham, Switzerland: Springer, p. 381-400 20 p. (Lecture Notes in Computer Science; vol. 14589 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs
Feyzbakhsh Rankooh, M. & Janhunen, T., 2023, In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. 23, 4, p. 782-796Research output: Contribution to journal › Article › Scientific › peer-review
Generalizing Level Ranking Constraints for Monotone and Convex Aggregates
Janhunen, T., Sept 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. (eds.). Open Publishing Association, p. 101-115 15 p. 12. (Electronic Proceedings in Theoretical Computer Science; vol. 385).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
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. (eds.). Springer, p. 279-294 16 p. (Lecture Notes in Computer Science; vol. 13880).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Short Boolean Formulas as Explanations in Practice
Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 24 Sept 2023, Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V. & Ortiz, M. (eds.). Springer, Vol. 14281. p. 90-105 16 p. 7. (Lecture Notes in Computer Science; vol. 14281).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Applying Answer Set Optimization to Preventive Maintenance Scheduling for Rotating Machinery
Yli-Jyrä, A. & Janhunen, T., 14 Dec 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. (eds.). Springer, p. 3-19 17 p. (Lecture Notes in Computer Science; vol. 13752).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
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. p. 203-216 (Lecture Notes in Computer Science; vol. 13416).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
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. CEUR Workshop Proceedings, Vol. 3281. p. 64-77 13 p. ( CEUR workshop proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review