Research output per year
Research output per year
Personal profile
Education/Academic qualification
Tekniikan tohtori, Tietojenkäsittelyteoria, Teknillinen korkeakoulu
Award Date: 17 Mar 1998
Tekniikan lisensiaatti, Tietojenkäsittelyteoria, Teknillinen korkeakoulu
Award Date: 8 Dec 1994
Diplomi-insinööri, Tietojenkäsittelyteoria, Teknillinen korkeakoulu
Award Date: 20 Jan 1993
External positions
Professor, Tampere University
2 Jan 2019 → …
Fingerprint
Dive into the research topics where Tomi Janhunen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Solution Enumeration by Optimality in Answer Set Programming
Pajunen, J. & Janhunen, T., Nov 2021, In: Theory and Practice of Logic Programming. 21, 6, p. 750-767Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile4 Downloads (Pure) -
Allen’s Interval Algebra Makes the Difference
Janhunen, T. & Sioutis, M., 1 Jan 2020, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers. Hofstedt, P., Abreu, S., John, U., Kuchen, H. & Seipel, D. (eds.). p. 89-98 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12057 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile9 Downloads (Pure) -
Applying Visible Strong Equivalence in Answer-Set Program Transformations
Bomanson, J., Janhunen, T. & Niemelä, I., Oct 2020, In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 4, 41 p., 33.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile1 Citation (Scopus)48 Downloads (Pure) -
Boosting Answer Set Optimization with Weighted Comparator Networks
Bomanson, J. & Janhunen, T., Jul 2020, In: Theory and Practice of Logic Programming. 20, 4, p. 512-551 40 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access -
Declarative encodings of acyclicity properties
Gebser, M., Janhunen, T. & Rintanen, J., 5 Jun 2020, In: Journal of Logic and Computation. 30, 4, p. 923-952 30 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile1 Citation (Scopus)152 Downloads (Pure)
Projects
- 1 Finished
-
EIAI: Engineered Information Systems with Artificial Intelligence
Janhunen, T., Parikka, M., Parsa, M., Rintanen, J., Fadnis, S. & Ahrenberg, L.
01/01/2018 → 31/05/2019
Project: Business Finland: New business from research ideas (TUTLI)
Activities
-
Thomas Krennwallner (Technische Universität Wien) Austria
Tomi Janhunen (Examiner)
5 Oct 2018Activity: Examination types › Pre-examination of dissertation or acting as opponent to doctoral students
-
The 11th International Workshop on Answer Set Programming and Other Computing Paradigms
Tomi Janhunen (Member)
2018Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
The 16th International Conference on Principles of Knowledge Representation and Reasoning
Tomi Janhunen (Member)
2018Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
-
Artificial Intelligence (Journal)
Tomi Janhunen (Reviewer)
2018Activity: Publication peer-review and editorial work types › Reviewer of scientific journal
-
Theory and Practice of Logic Programming (Journal)
Tomi Janhunen (Reviewer)
2018Activity: Publication peer-review and editorial work types › Reviewer of scientific journal
Press / Media
-
Suomi haluaa eroon rutiiniohjelmoinnista – tekoäly apuun
Jussi Rintanen & Tomi Janhunen
06/03/2018
1 item of Media coverage
Press/Media: Media appearance
-
Rid of routine coding – AI automates the construction of large information systems
Jussi Rintanen & Tomi Janhunen
06/03/2018
1 item of Media coverage
Press/Media: Media appearance