Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Profiles

Photo of Tomi Janhunen

Tomi Janhunen

Person: Professors, fixed term, Teaching staff, Visiting Scholar

19932020
No photo of Tommi Junttila

Tommi Junttila

Person: Teaching staff

19982019

Research Output

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.). SPRINGER , 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 proceedingConference contributionScientificpeer-review

  • Boosting Answer Set Optimization with Weighted Comparator Networks

    Bomanson, J. & Janhunen, T., 2020, In : Theory and Practice of Logic Programming. 20, 4, p. 512-551

    Research output: Contribution to journalArticleScientificpeer-review

  • An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., Jul 2019, In : JOURNAL OF SYMBOLIC COMPUTATION. 99, p. 21-49

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 25 Downloads (Pure)

    Prizes

    AAAI Conference Awards: Outstanding Senior Program Committee Member

    Jussi Rintanen (Recipient), 2017

    Prize: Award or honor granted for academic career

    EurAI Fellow

    Ilkka Niemelä (Recipient), 1 Aug 2013

    Prize: Award or honor granted for academic career

  • Knight, First Class, of the Order of the White Rose of Finland

    Ilkka Niemelä (Recipient), 2015

    Prize: Award or honor granted for academic career

  • Activities

    International Joint Conference on Artificial Intelligence

    Michail Sioutis (Member)
    2020

    Activity: Participating in or organising an event typesMembership 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 typesMembership 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 typesMembership of a scientific or program committee of a conference or seminar