Suomalainen laskennallisen päättelyn huippuyksikkö

  • Xu, Yingying (Projektin jäsen)
  • Pesonen, Henri (Projektin jäsen)
  • Rintanen, Jussi (Projektin jäsen)
  • Kaski, Samuel (Vastuullinen tutkija)
  • Anwer, Rao (Projektin jäsen)
  • Parviainen, Pekka (Projektin jäsen)
  • Soare, Marta (Projektin jäsen)
  • Weinzierl, Antonius (Projektin jäsen)
  • Vuollekoski, Henri (Projektin jäsen)

Projektin yksityiskohdat

LyhytotsikkoCOIN II/Kaski
TilaPäättynyt
Todellinen alku/loppupvm01/01/201531/12/2017
  • 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
    4 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

    7 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
    4 Sitaatiot (Scopus)
    119 Lataukset (Pure)
  • SPRINGER (Kustantaja)

    Hamed Rezazadegan Tavakoli (Vertaisarvioija)

    2016

    Aktiviteetti: Muun käsikirjoituksen arviointi