Professorship Niemelä I.

Tomi Janhunen
- Department of Computer Science - Adjunct professor
- Professorship Niemelä I. - Adjunct Professor
- Helsinki Institute for Information Technology (HIIT) - Adjunct Professor
Person: Professors, fixed term, Visiting Scholar
19932021

28 Conference contribution
17 Article
3 Abstract
3 Paper
More

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-767
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
1 Citation (Scopus)

26 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 Access
File
23 Downloads (Pure)
An adaptive prefix-assignment technique for symmetry reduction
Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., Aug 2020, In: JOURNAL OF SYMBOLIC COMPUTATION. 99, p. 21-49 29 p.
Research output: Contribution to journal › Article › Scientific › peer-review

Open Access
File
95 Downloads (Pure)

AAAI Conference Awards: Outstanding Senior Program Committee Member
Rintanen, Jussi (Recipient), 2017
Prize: Award or honor granted for academic or artistic career
EurAI Fellow
Niemelä, Ilkka (Recipient), 1 Aug 2013
Prize: Award or honor granted for academic or artistic career
Knight, First Class, of the Order of the White Rose of Finland
Niemelä, Ilkka (Recipient), 2015
Prize: Award or honor granted for academic or artistic career

40 Membership of a scientific or program committee of a conference or seminar
9 Reviewer of scientific journal
7 Pre-examination of doctoral thesis or acting as opponent to doctoral students or membership of doctoral thesis committee or board
5 Position of trust in a society or network
More

International Joint Conference on Artificial Intelligence
Michail Sioutis (Member)
2020
Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
European Conference on Artificial Intelligence
Michail Sioutis (Member)
2020
Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar
AAAI Conference on Artificial Intelligence
Michail Sioutis (Member)
2020
Activity: Participating in or organising an event types › Membership of a scientific or program committee of a conference or seminar

Reilua vai ei? Tekoäly määrää senkin, paljonko joudut maksamaan matkalipuista – "Ajatellaan, että maksukykyiset pystyvät maksamaan"
Jussi Rintanen
07/07/2019
1 item of Media coverage
Press/Media: Media appearance
Asilomar AI Principles — 2019 Artificial Intelligence News
Jussi Rintanen
23/02/2019
1 item of Media coverage
Press/Media: Media appearance
Lukijan mielipide: Tunnin juna vahvistaa tieteen ja tutkimuksen yhteyttä yhteiskuntaan, mistä hyötyy koko Suomi
Ilkka Niemelä
14/01/2019
1 item of Media coverage
Press/Media: Media appearance