Professorship Niemelä I.

Yksikkö: Tutkimusryhmä

Aktiviteetit

  1. 2019
  2. International Joint Conference on Artificial Intelligence

    Michail Sioutis (Member)
    2019

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  3. Meeting of Young Researchers in Artificial Intelligence

    Michail Sioutis (Member)
    2019

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  4. 2018
  5. Universität Potsdam

    Tomi Janhunen (Visiting researcher)
    6 marraskuuta 201810 marraskuuta 2018

    Aktiviteetti: Vierailu ulkomaille

  6. Thomas Krennwallner (Technische Universität Wien) Austria

    Tomi Janhunen (Examiner)
    5 lokakuuta 2018

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  7. Thomas Krennwallner (Technische Universität Wien) Austria

    Tomi Janhunen (Examiner)
    26 syyskuuta 2018

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  8. Exploiting Justifications for Lazy Grounding of Answer Set Programs

    Antonius Weinzierl (Puhuja)
    18 heinäkuuta 2018

    Aktiviteetti: Konferenssiesitelmä

  9. Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)

    Antonius Weinzierl (Puhuja)
    18 heinäkuuta 2018

    Aktiviteetti: Konferenssiesitelmä

  10. Francois Bry

    Antonius Weinzierl (Host)
    12 maaliskuuta 201815 maaliskuuta 2018

    Aktiviteetti

  11. 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING

    Tomi Janhunen (Member)
    2018

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  12. AAAI Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2018 → …

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  13. Annals of Mathematics and Artificial Intelligence (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2018

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  14. Artificial Intelligence (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2018

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  15. International Joint Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2018 → …

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  16. KUENSTLICHE INTELLIGENZ (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2018

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  17. The 11th International Workshop on Answer Set Programming and Other Computing Paradigms

    Tomi Janhunen (Member)
    2018

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  18. The 16th International Conference on Principles of Knowledge Representation and Reasoning

    Tomi Janhunen (Member)
    2018

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  19. The 34th International Conference on Logic Programming

    Tomi Janhunen (Member)
    2018

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  20. Theoretical Computer Science (Lehti)

    Michail Sioutis (Vertaisarvioija)
    20182019

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  21. Theory and Practice of Logic Programming (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2018

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  22. 2017
  23. Max Ostrowski (University of Potsdam) Germany

    Tomi Janhunen (Examiner)
    8 joulukuuta 2017

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  24. Max Ostrowski (Unversity of Potsdam) Germany

    Tomi Janhunen (Examiner)
    15 marraskuuta 2017

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  25. Techniques for Efficient Lazy-Grounding ASP Solving

    Antonius Weinzierl (Puhuja)
    19 syyskuuta 2017

    Aktiviteetti: Konferenssiesitelmä

  26. International Workshop on Logic and Search

    Tomi Janhunen (Member)
    28 elokuuta 2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  27. Practical Session on SAT/SMT

    Tomi Janhunen (Puhuja)
    1 elokuuta 2017

    Aktiviteetti: Julkinen esitelmä

  28. SC2 Summer School

    Keijo Heljanko (Järjestäjä), Tomi Janhunen (Järjestäjä), Tommi Junttila (Järjestäjä)
    31 heinäkuuta 20174 elokuuta 2017

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  29. International Conference on Logic Programming and Nonmonotonic Reasoning

    Tomi Janhunen (Member)
    3 heinäkuuta 20176 heinäkuuta 2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  30. University Potsdam

    Tomi Janhunen (Visiting researcher)
    30 toukokuuta 20171 kesäkuuta 2017

    Aktiviteetti: Vierailu ulkomaille

  31. AAAI Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  32. AAAI Conference on Artificial Intelligence

    Tommi Junttila (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  33. Australasian Joint Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  34. CSC - IT Center for Science Ltd. (Ulkoinen yksikkö)

    Ilkka Niemelä (Jäsen)
    20172018

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  35. International Conference on Logic Programming

    Tomi Janhunen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  36. International Conference on Logic Programming and Nonmonotonic Reasoning (Tapahtuma)

    Tomi Janhunen (Vertaisarvioija)
    2017

    Aktiviteetti: Kokoomateoksen tai lehden erikoisnumeron toimittajuus

  37. International Joint Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  38. Workshop on Answer Set Programming and Other Computing Paradigms

    Tomi Janhunen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  39. 2016
  40. Joao Moura (Universidade Nova de Lisboa) Portugal

    Tomi Janhunen (Opponent)
    22 joulukuuta 2016

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  41. Joachim Jansen (KU Leuven) Belgium

    Tomi Janhunen (Opponent)
    12 joulukuuta 2016

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  42. European Conference On Logics In Artificial Intelligence, Larnaca, Cyprus

    Tomi Janhunen (Puhuja)
    10 marraskuuta 2016

    Aktiviteetti: Konferenssiesitelmä

  43. Joachim Jansen (KU Leuven) Belgium

    Tomi Janhunen (Examiner)
    27 lokakuuta 2016

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  44. AAAI Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  45. Artificial Intelligence (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2016

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  46. Australasian Joint Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  47. European Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  48. European Conference on Logics in Artificial Intelligence

    Tomi Janhunen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  49. European Conference on Logics in Artificial Intelligence

    Tommi Junttila (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  50. Global Conference on Artificial Intelligence

    Tomi Janhunen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  51. Global Conference on Artificial Intelligence

    Tommi Junttila (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  52. International Conference on Principles of Knowledge Representation and Reasoning

    Tomi Janhunen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  53. International Joint Conference on Artificial Intelligence

    Tomi Janhunen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  54. International Joint Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Edellinen 1 2 Seuraava

ID: 4319551