Tomi Janhunen

Latest publications

• Explainability via Short Formulas: the Case of Propositional Logic with Implementation

  Jaakkola, R., Janhunen, T., Kuusisto, A., Rankooh, M. F. & Vilander, M., Jul 2025, In: Journal of Artificial Intelligence Research. 83, 8.

  Research output: Contribution to journal › Article › Scientific › peer-review

• Plingo: A System for Probabilistic Reasoning in Answer Set Programming

  Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N. & Schaub, T., 2025, In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. 25, 2, p. 134-167

  Research output: Contribution to journal › Article › Scientific › peer-review

• 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

• 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. (ed.). International Joint Conferences on Artificial Intelligence, p. 8399-8404 6 p. (IJCAI International Joint Conference on Artificial Intelligence).

  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

• Interpretable classifiers for tabular data via feature selection and discretization

  Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 2024, DAO-XAI 2024: Data meets Ontologies in Explainable AI 2024: Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024) . CEUR-WS, 22 p. (CEUR Workshop Proceedings; vol. 3833).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

• Toward Designing Ethically Acceptable AI Security Systems Through Agent Modeling

  Hallamaa, J., Janhunen, T., Nummenmaa, J., Nummenmaa, T., Saariluoma, P. & Zimina, E., 2024, Smart Urban Safety and Security: Interdisciplinary Perspectives. Autero, A., de Moraes Batista Simão, M. & Karppi, I. (eds.). Palgrave Macmillan, p. 171-196

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › 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-796

  Research 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