Tomi Janhunen

Adjunct professor
Visiting professor
T313 Dept. Computer Science
Full researcher profile

Contact information

Research groups

  • Professorship Niemelä I., Adjunct Professor
  • Helsinki Institute for Information Technology (HIIT), Adjunct Professor
  • Professorship Niemelä I., Visitor (Visiting Professor)
  • Helsinki Institute for Information Technology (HIIT), Visitor (Visiting Professor)


Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

Tomi Janhunen 2023 Electronic Proceedings in Theoretical Computer Science, EPTCS

Solution Enumeration by Optimality in Answer Set Programming

Jukka Pajunen, Tomi Janhunen 2021 Theory and Practice of Logic Programming

Applying Visible Strong Equivalence in Answer-Set Program Transformations

Jori Bomanson, Tomi Janhunen, Ilkka Niemelä 2020 ACM Transactions on Computational Logic

Boosting Answer Set Optimization with Weighted Comparator Networks

Jori Bomanson, Tomi Janhunen 2020 Theory and Practice of Logic Programming

Declarative encodings of acyclicity properties

Martin Gebser, Tomi Janhunen, Jussi Rintanen 2020 Journal of Logic and Computation

Allen’s Interval Algebra Makes the Difference

Tomi Janhunen, Michael Sioutis 2020 Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl 2019 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019

The Return of xorro

Flavio Everardo, Tomi Janhunen, Roland Kaminski, Torsten Schaub 2019 Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings

Forgetting in Modular Answer Set Programming

Ricardo Goncalves, Tomi Janhunen, Matthias Knorr, Joao Leite, Stefan Woltran 2019 Proceedings of the 33rd AAAI Conference on Artificial Intelligence

On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning

Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen 2019 26th International Symposium on Temporal Representation and Reasoning, TIME 2019