Verkko Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Profiilit

Ei valokuvaa Jori Bomanson

Jori Bomanson

Henkilö: Tohtorikoulutettavat, Tohtorintutkinto

20132020
Valokuva Tomi Janhunen

Tomi Janhunen

Henkilö: Professorit, määräaikaiset, Opetushenkilöstö, Vieraileva tutkija

19932020
Ei valokuvaa Tommi Junttila

Tommi Junttila

Henkilö: Opetushenkilöstö

19982019

Tutkimustuotos

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.). 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/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

  • Boosting Answer Set Optimization with Weighted Comparator Networks

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

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

  • An adaptive prefix-assignment technique for symmetry reduction

    Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., heinäkuuta 2019, julkaisussa : JOURNAL OF SYMBOLIC COMPUTATION. 99, s. 21-49

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
  • 24 Lataukset (Pure)

    Palkinnot

    AAAI Conference Awards: Outstanding Senior Program Committee Member

    Jussi Rintanen (Recipient), 2017

    Palkinto: Palkinto tai huomionosoitus urasta

    EurAI Fellow

    Ilkka Niemelä (Recipient), 1 elokuuta 2013

    Palkinto: Palkinto tai huomionosoitus urasta

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

    Ilkka Niemelä (Recipient), 2015

    Palkinto: Palkinto tai huomionosoitus urasta

  • Aktiviteetit

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

    European Conference on Artificial Intelligence

    Michail Sioutis (Member)
    2020

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys