Tutkimustuotoksia vuodessa
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
-
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
Open accessTiedosto -
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2020, (Hyväksytty/In press) Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). AAAI PressTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Centrality Heuristics for Exact Model Counting
Bliem, B. & Järvisalo, M., 13 helmikuuta 2020, IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI 2019). IEEE Computer Society, s. 59-63 5 Sivumäärä (Proceedings-International Conference on Tools With Artificial Intelligence).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Controllability of Control Argumentation Frameworks
Niskanen, A., Neugebauer, D. & Järvisalo, M., 2020, (Hyväksytty/In press) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020). Bessiere, C. (toim.). International Joint Conferences on Artificial Intelligence, s. 1855-1861 7 SivumääräTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Deciding Acceptance in Incomplete Argumentation Frameworks
Niskanen, A., Neugebauer, D., Järvisalo, M. & Rothe, J., 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, s. 2942-2949 8 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Projektit
-
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), Järvisalo, Matti (Vastaanottaja), Florian Lonsing (Vastaanottaja) & Martina Seidl (Vastaanottaja), 2019
Palkinto: Palkinnot ja kunnianosoitukset
-
Best Researcher Award 2011: Department of Computer Science, University of Helsinki
Järvisalo, Matti (Vastaanottaja), 2011
Palkinto: Palkinnot ja kunnianosoitukset
-
CP 2017 Distinguished Paper Award
Fahiem Bacchus (Vastaanottaja), Hyttinen, Antti (Vastaanottaja), Järvisalo, Matti (Vastaanottaja) & Saikko, Paul (Vastaanottaja), 2017
Palkinto: Palkinnot ja kunnianosoitukset
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas (Vastaanottaja), Johannes Peter Wallner (Vastaanottaja) & Järvisalo, Matti (Vastaanottaja), 2016
Palkinto: Palkinnot ja kunnianosoitukset
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, Matti (Vastaanottaja), 2015
Palkinto: Palkinnot ja kunnianosoitukset
Aktiviteetit
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Järjestäjätoimikunnan jäsen)
2021Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020) (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: 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)
2020Aktiviteetti: 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)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020) (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi