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., 10 Nov 2021, In: Theory and Practice of Logic Programming. 21, 6, p. 750-767Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile2 Citations (Scopus)33 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 AccessFile30 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 AccessFile4 Citations (Scopus)71 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 AccessFile2 Citations (Scopus)194 Downloads (Pure)
Projects
- 1 Finished
-
EIAI: Engineered Information Systems with Artificial Intelligence
Rintanen, J., Ahrenberg, L., Fadnis, S., Janhunen, T., Parikka, M. & Parsa, M.
01/01/2018 → 31/05/2019
Project: Business Finland: New business from research ideas (TUTLI)
Activities
-
Universität Potsdam
Tomi Janhunen (Visiting researcher)
6 Nov 2018 → 10 Nov 2018Activity: Visiting an external institution types › Visiting an external academic institution
-
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
-
KUENSTLICHE INTELLIGENZ (Journal)
Tomi Janhunen (Reviewer)
2018Activity: Publication peer-review and editorial work types › Reviewer of scientific journal
-
Thomas Krennwallner (Technische Universität Wien) Austria
Tomi Janhunen (Examiner)
26 Sep 2018Activity: Academic assessments › Pre-examination of doctoral thesis or acting as opponent to doctoral students or membership of doctoral thesis committee or board
-
17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING
Tomi Janhunen (Member)
2018Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
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