Professorship Niemelä I.

Yksikkö: Tutkimusryhmä

Aktiviteetit

  1. 2020
  2. AAAI Conference on Artificial Intelligence

    Michail Sioutis (Member)
    2020

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  3. European Conference on Artificial Intelligence

    Michail Sioutis (Member)
    2020

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  4. International Joint Conference on Artificial Intelligence

    Michail Sioutis (Member)
    2020

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  5. 2019
  6. CS Research Day

    Michail Sioutis (Member)
    2019

    Aktiviteetti

  7. International Joint Conference on Artificial Intelligence

    Michail Sioutis (Member)
    2019

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  8. International Symposium on Temporal Representation and Reasoning

    Michail Sioutis (Puheenjohtaja)
    2019

    Aktiviteetti: Konferenssin, workshopin tai session puheenjohtajana toimiminen

  9. Journal of Artificial Intelligence Research (Lehti)

    Michail Sioutis (Vertaisarvioija)
    2019

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  10. Meeting of Young Researchers in Artificial Intelligence

    Michail Sioutis (Member)
    2019

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  11. Quality of Interaction in Socially Assistive Robots

    Michail Sioutis (Member)
    2019

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  12. 2018
  13. Universität Potsdam

    Tomi Janhunen (Visiting researcher)
    6 marraskuuta 201810 marraskuuta 2018

    Aktiviteetti: Vierailu ulkomaille

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

    Tomi Janhunen (Examiner)
    5 lokakuuta 2018

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

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

    Tomi Janhunen (Examiner)
    26 syyskuuta 2018

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

  16. Exploiting Justifications for Lazy Grounding of Answer Set Programs

    Antonius Weinzierl (Puhuja)
    18 heinäkuuta 2018

    Aktiviteetti: Konferenssiesitelmä

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

    Antonius Weinzierl (Puhuja)
    18 heinäkuuta 2018

    Aktiviteetti: Konferenssiesitelmä

  18. Francois Bry

    Antonius Weinzierl (Host)
    12 maaliskuuta 201815 maaliskuuta 2018

    Aktiviteetti

  19. 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING

    Tomi Janhunen (Member)
    2018

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  20. AAAI Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2018 → …

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  21. Annals of Mathematics and Artificial Intelligence (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2018

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  22. Artificial Intelligence (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2018

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  23. International Joint Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2018 → …

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  24. KUENSTLICHE INTELLIGENZ (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2018

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  25. 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

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

    Tomi Janhunen (Member)
    2018

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  27. The 34th International Conference on Logic Programming

    Tomi Janhunen (Member)
    2018

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  28. Theoretical Computer Science (Lehti)

    Michail Sioutis (Vertaisarvioija)
    20182019

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  29. Theory and Practice of Logic Programming (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2018

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  30. 2017
  31. Max Ostrowski (University of Potsdam) Germany

    Tomi Janhunen (Examiner)
    8 joulukuuta 2017

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

  32. Max Ostrowski (Unversity of Potsdam) Germany

    Tomi Janhunen (Examiner)
    15 marraskuuta 2017

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

  33. Techniques for Efficient Lazy-Grounding ASP Solving

    Antonius Weinzierl (Puhuja)
    19 syyskuuta 2017

    Aktiviteetti: Konferenssiesitelmä

  34. International Workshop on Logic and Search

    Tomi Janhunen (Member)
    28 elokuuta 2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  35. Practical Session on SAT/SMT

    Tomi Janhunen (Puhuja)
    1 elokuuta 2017

    Aktiviteetti: Julkinen esitelmä

  36. 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

  37. 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

  38. University Potsdam

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

    Aktiviteetti: Vierailu ulkomaille

  39. AAAI Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  40. AAAI Conference on Artificial Intelligence

    Tommi Junttila (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  41. Australasian Joint Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

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

    Ilkka Niemelä (Jäsen)
    20172018

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  43. INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING

    Tomi Janhunen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

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

    Tomi Janhunen (Vertaisarvioija)
    2017

    Aktiviteetti: Kokoomateoksen tai lehden erikoisnumeron toimittajuus

  45. International Joint Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  46. Workshop on Answer Set Programming and Other Computing Paradigms

    Tomi Janhunen (Member)
    2017

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  47. 2016
  48. Joao Moura (Universidade Nova de Lisboa) Portugal

    Tomi Janhunen (Opponent)
    22 joulukuuta 2016

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

  49. Joachim Jansen (KU Leuven) Belgium

    Tomi Janhunen (Opponent)
    12 joulukuuta 2016

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

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

    Tomi Janhunen (Puhuja)
    10 marraskuuta 2016

    Aktiviteetti: Konferenssiesitelmä

  51. Joachim Jansen (KU Leuven) Belgium

    Tomi Janhunen (Examiner)
    27 lokakuuta 2016

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

  52. AAAI Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  53. Artificial Intelligence (Lehti)

    Tomi Janhunen (Vertaisarvioija)
    2016

    Aktiviteetti: Tieteellisen lehden refereenä toimiminen

  54. Australasian Joint Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  55. European Conference on Artificial Intelligence

    Jussi Rintanen (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

Edellinen 1 2 Seuraava

ID: 4319551