Professorship Niemelä I.

Tomi Janhunen
- Professorship Niemelä I. - Adjunct Professor
- Helsinki Institute for Information Technology HIIT - Adjunct Professor
- Tietotekniikan laitos
Henkilö: Professorit, määräaikaiset, Vieraileva tutkija
19932020
Michail Sioutis
- Professorship Niemelä I. - Tutkijatohtori
Henkilö: Tutkijatohtorit
20192020

Allen’s Interval Algebra Makes the Difference
Janhunen, T. & Sioutis, M., 1 tammikuuta 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.). 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
An adaptive prefix-assignment technique for symmetry reduction
Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., elokuuta 2020, julkaisussa: JOURNAL OF SYMBOLIC COMPUTATION. 99, s. 21-49
Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

Open access
Tiedosto
67 Lataukset (Pure)
Applying Visible Strong Equivalence in Answer-Set Program Transformations
Bomanson, J., Janhunen, T. & Niemelä, I., lokakuuta 2020, julkaisussa: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 4, 41 Sivumäärä, 33.
Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

Open access
Tiedosto
132 Lataukset (Pure)

AAAI Conference Awards: Outstanding Senior Program Committee Member
Rintanen, Jussi (Recipient), 2017
Palkinto: Palkinto tai huomionosoitus urasta
EurAI Fellow
Niemelä, Ilkka (Recipient), 1 elokuuta 2013
Palkinto: Palkinto tai huomionosoitus urasta
Knight, First Class, of the Order of the White Rose of Finland
Niemelä, Ilkka (Recipient), 2015
Palkinto: Palkinto tai huomionosoitus urasta

International Joint Conference on Artificial Intelligence
Michail Sioutis (Member)
2020
Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
European Conference on Artificial Intelligence
Michail Sioutis (Member)
2020
Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
AAAI Conference on Artificial Intelligence
Michail Sioutis (Member)
2020
Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Verkko