Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Koulutus / tieteellinen pätevyys
Tekniikan tohtori, Tietojenkäsittelyteoria, Teknillinen korkeakoulu
Myöntöpäivä: 17 maalisk. 1998
Tekniikan lisensiaatti, Tietojenkäsittelyteoria, Teknillinen korkeakoulu
Myöntöpäivä: 8 jouluk. 1994
Diplomi-insinööri, Tietojenkäsittelyteoria, Teknillinen korkeakoulu
Myöntöpäivä: 20 tammik. 1993
Asemat yliopiston ulkopuolella
Professori, Tampere University
2 tammik. 2019 → …
Sormenjälki
Sukella tutkimusaiheisiin, joissa Tomi Janhunen on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 1 Samanlaiset profiilit
Verkko
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
-
Solution Enumeration by Optimality in Answer Set Programming
Pajunen, J. & Janhunen, T., 10 marrask. 2021, julkaisussa: Theory and Practice of Logic Programming. 21, 6, s. 750-767Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu
Open accessTiedosto2 Sitaatiot (Scopus)33 Lataukset (Pure) -
Allen’s Interval Algebra Makes the Difference
Janhunen, T. & Sioutis, M., 1 tammik. 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. (toim.). SPRINGER, s. 89-98 10 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12057 LNAI).Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu
Open accessTiedosto31 Lataukset (Pure) -
Applying Visible Strong Equivalence in Answer-Set Program Transformations
Bomanson, J., Janhunen, T. & Niemelä, I., lokak. 2020, julkaisussa: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 4, 41 Sivumäärä, 33.Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu
Open accessTiedosto4 Sitaatiot (Scopus)73 Lataukset (Pure) -
Boosting Answer Set Optimization with Weighted Comparator Networks
Bomanson, J. & Janhunen, T., heinäk. 2020, julkaisussa: Theory and Practice of Logic Programming. 20, 4, s. 512-551 40 SivumääräTutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu
Open access1 Sitaatiot (Scopus) -
Declarative encodings of acyclicity properties
Gebser, M., Janhunen, T. & Rintanen, J., 5 kesäk. 2020, julkaisussa: Journal of Logic and Computation. 30, 4, s. 923-952 30 SivumääräTutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu
Open accessTiedosto3 Sitaatiot (Scopus)207 Lataukset (Pure)
Projektit
- 1 Päättynyt
-
EIAI: Engineered Information Systems with Artificial Intelligence
Rintanen, J., Ahrenberg, L., Janhunen, T., Fadnis, S., Parikka, M. & Parsa, M.
01/01/2018 → 31/05/2019
Projekti: Business Finland: New business from research ideas (TUTLI)
Aktiviteetit
-
The 16th International Conference on Principles of Knowledge Representation and Reasoning
Tomi Janhunen (Member)
2018Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
-
Thomas Krennwallner (Technische Universität Wien) Austria
Tomi Janhunen (Examiner)
5 lokak. 2018Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen tai jäsenyys tohtorikoulutusneuvostossa
-
Thomas Krennwallner (Technische Universität Wien) Austria
Tomi Janhunen (Examiner)
26 syysk. 2018Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen tai jäsenyys tohtorikoulutusneuvostossa
-
Artificial Intelligence (Lehti)
Tomi Janhunen (Vertaisarvioija)
2018Aktiviteetti: Tieteellisen lehden refereenä toimiminen
-
The 11th International Workshop on Answer Set Programming and Other Computing Paradigms
Tomi Janhunen (Member)
2018Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
Lehtileikkeet
-
Suomi haluaa eroon rutiiniohjelmoinnista – tekoäly apuun
Jussi Rintanen & Tomi Janhunen
06/03/2018
1 kohde/ Medianäkyvyys
Lehdistö/media: Esiintyminen mediassa
-
Rid of routine coding – AI automates the construction of large information systems
Jussi Rintanen & Tomi Janhunen
06/03/2018
1 kohde/ Medianäkyvyys
Lehdistö/media: Esiintyminen mediassa