• PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

  • PL 68 (Gustaf Hällströmin katu 2b), A312

    HELSINGIN YLIOPISTO

    Suomi

20102023
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Julkaisut 2010 2020

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach

Niskanen, A. & Järvisalo, M., 2020, (Hyväksytty/In press) Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, 7 Sivumäärä (Frontiers in Artificial Intelligence and Applications).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Deciding Acceptance in Incomplete Argumentation Frameworks

Niskanen, A., Neugebauer, D., Järvisalo, M. & Rothe, J., 2020, (Hyväksytty/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, 8 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Discovering Causal Graphs with Cycles and Latent Confounders: An Exact Branch-and-Bound Approach

Rantanen, K., Hyttinen, A. & Järvisalo, M., 2020, julkaisussa : International Journal of Approximate Reasoning. 117, s. 29-49 21 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Finding Most Compatible Phylogenetic Trees over Multi-State Character

Korhonen, T. & Järvisalo, M., 2020, (Hyväksytty/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Learning Chordal Markov Networks via Stochastic Local Search

Rantanen, K., Hyttinen, A. & Järvisalo, M., 2020, (Hyväksytty/In press) Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, 7 Sivumäärä (Frontiers in Artificial Intelligence and Applications).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Projektit 2010 2023

Symbolic Techniques for Formally Verified and Explainable AI

Järvisalo, M.

01/01/202031/12/2022

Projekti: Tutkimusprojekti

Declarative Boolean Optimization: Pushing the Envelope

Järvisalo, M.

01/09/201931/08/2023

Projekti: Tutkimusprojekti

Harnessing Constraint Reasoning for Structure Discovery

Järvisalo, M.

Unknown funder

01/01/201531/12/2018

Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke

Palkinnot

2019 IJCAI-JAIR Best Paper Prize

Armin Biere (Vastaanottaja), Marijn J.H. Heule (Vastaanottaja), Matti Järvisalo (Vastaanottaja), Florian Lonsing (Vastaanottaja) & Martina Seidl (Vastaanottaja), 2019

Palkinto: Palkinnot ja kunnianosoitukset

CP 2017 Distinguished Paper Award

Fahiem Bacchus (Vastaanottaja), Antti Juhani Hyttinen (Vastaanottaja), Matti Järvisalo (Vastaanottaja) & Paul Henrik Alexander Saikko (Vastaanottaja), 2017

Palkinto: Palkinnot ja kunnianosoitukset

ECAI 2016 Runner-Up Best Student Paper Award

Andreas Johannes Alexand Niskanen (Vastaanottaja), Johannes Peter Wallner (Vastaanottaja) & Matti Järvisalo (Vastaanottaja), 2016

Palkinto: Palkinnot ja kunnianosoitukset

Aktiviteetit 2010 2021

Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program

Matti Järvisalo (Järjestäjätoimikunnan jäsen)
2021

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020) (Tapahtuma)

Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKäsikirjoitusten vertaisarviointi

34th AAAI Conference on Artificial Intelligence (AAAI-20) (Tapahtuma)

Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKäsikirjoitusten vertaisarviointi

IJCAI-PRICAI 2020 Demonstrations Track (Tapahtuma)

Matti Järvisalo (Ohjelmatoimikunnan puheenjohtaja)
2020

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKäsikirjoitusten vertaisarviointi

13th Annual Symposium on Combinatorial Search (SoCS 2020) (Tapahtuma)

Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKäsikirjoitusten vertaisarviointi