Tutkimustuotoksia vuodessa
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/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
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/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
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: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
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 PressTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
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/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Projektit 2010 2023
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Projekti: Tutkimusprojekti
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti
Harnessing Constraint Reasoning for Structure Discovery
01/01/2015 → 31/12/2018
Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke
Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
01/09/2014 → 31/08/2019
Projekti: Tutkimusprojekti
Extending the Reach of Boolean Constraint Reasoning
01/01/2010 → 30/04/2013
Projekti: Tutkimusprojekti
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
Best Researcher Award 2011: Department of Computer Science, University of Helsinki
Matti Järvisalo (Vastaanottaja), 2011
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
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Matti Järvisalo (Vastaanottaja), 2015
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 tyypit › Konferensseihin, 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 tyypit › Kä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 tyypit › Käsikirjoitusten vertaisarviointi
IJCAI-PRICAI 2020 Demonstrations Track (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan puheenjohtaja)2020
Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Kä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 tyypit › Käsikirjoitusten vertaisarviointi