Suomalainen laskennallisen päättelyn huippuyksikkö

Projektin yksityiskohdat

LyhytotsikkoCOIN II/Kaski
TilaPäättynyt
Todellinen alku/loppupvm01/01/201528/02/2018

Tutkimustuotos

Counting Linear Extensions in Practice: MCMC Versus Exponential Monte Carlo

Talvitie, T., Kangas, J-K., Niinimäki, T. & Koivisto, M., 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI PRESS, s. 1431-1438 8 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Open access
  • 3 Sitaatiot (Scopus)

    Exploiting Justifications for Lazy Grounding of Answer Set Programs

    Bogaerts, B. & Weinzierl, A., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (toim.). s. 1737-1745 9 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

  • 4 Sitaatiot (Scopus)

    Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

    Eiter, T., Kaminski, T., Redl, C. & Weinzierl, A., 30 heinäkuuta 2018, julkaisussa : Journal of Artificial Intelligence Research. 62, s. 665-727 63 Sivumäärä

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    Open access
    Tiedosto
  • 2 Sitaatiot (Scopus)
    111 Lataukset (Pure)

    Aktiviteetit

    • 1 Muun käsikirjoituksen arviointi

    SPRINGER (Kustantaja)

    Hamed Rezazadegan Tavakoli (Vertaisarvioija)

    2016

    Aktiviteetti: Muun käsikirjoituksen arviointi