Professorship Niemelä Ilkka

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

Open Access
File
60 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 Access
File
127 Downloads (Pure)

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

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
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

Network