Projekteja vuodessa
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.
Henkilöt
-
Matti Järvisalo
- Tietojenkäsittelytieteen osasto - apulaisprofessori, toinen kausi
- Helsingin tietotekniikan tutkimuslaitos
- Matti Järvisalo / Vastuullinen tutkija
- Doctoral Programme in Computer Science - Ohjaaja tohtoriohjelmassa
Henkilö: U3 Opetus- ja tutkimushenkilöstö, HY
Projektit
- 2 Aktiivinen
-
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
Julkaisut
-
Abstract Cores in Implicit Hitting Set MaxSat Solving
Berg, J., Bacchus, F. & Poole, A., 2020, Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings. Pulina, L. & Seidl, M. (toim.). Cham: Springer, s. 277-294 18 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 12178).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
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
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
-
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
-
MSc Supervisor of Jarkko Savela
Matti Järvisalo (Ohjaaja)
2020Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
MSc Supervisor of Esa Kemppainen
Matti Järvisalo (Ohjaaja)
2020Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
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
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
-
-
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
Lehtileikkeet
-
Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations
Teivo Teivainen & Jeremias Berg
06/05/2019
1 kohde/ Medianäkyvyys
Lehdistö/media