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
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.). 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. Vol. 3281. p. 64-77 13 p. ( CEUR workshop proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Janhunen, T., 7 Jan 2022, Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings. Cheney, J. & Perri, S. (eds.). Springer, p. 135-153 19 p. (Lecture Notes in Computer Science; vol. 13165 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
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, p. 54-62 9 p. (Lecture Notes in Computer Science; vol. 13752).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
Sioutis, M., Paparrizou, A. & Janhunen, T., 2021, In: Information and Computation. 280, 104638.Research output: Contribution to journal › Article › Scientific › peer-review