Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Tieteenalat
- 113 Tietojenkäsittely- ja informaatiotieteet
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Julkaisut
-
Clause Redundancy and Preprocessing in Maximum Satisfiability
Ihalainen, H. E., Berg, J. & Järvisalo, M., 2022, (Hyväksytty/In press) Proceedings of the 11th International Joint Conference on Automated Reasoning (IJCAR 2022). Springer International Publishing AG, (Lecture Notes in Computer Science).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2022, (Hyväksytty/In press) Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022). International Joint Conferences on Artificial IntelligenceTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization
Smirnov, P., Berg, J. & Järvisalo, M., 2022, (Hyväksytty/In press) Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Schloss Dagstuhl - Leibniz-Zentrum für InformatikTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Incremental Maximum Satisfiability
Niskanen, A., Berg, J. & Järvisalo, M., 2022, (Hyväksytty/In press) Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Schloss Dagstuhl - Leibniz-Zentrum für InformatikTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
MaxSAT-Based Bi-Objective Boolean Optimization
Jabs, C. J., Berg, J., Niskanen, A. & Järvisalo, M., 2022, (Hyväksytty/In press) Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Schloss Dagstuhl - Leibniz-Zentrum für InformatikTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
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
Biere, A. (Vastaanottaja), Heule, M. J. H. (Vastaanottaja), Järvisalo, Matti (Vastaanottaja), Lonsing, F. (Vastaanottaja) & Seidl, M. (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
Bacchus, F. (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), Wallner, J. P. (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
-
17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 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
-
PhD Grading Committee Member for Janne Leppä-Aho
Matti Järvisalo (Jäsenyys seurantaryhmässä)
2020Aktiviteetti: Tutkimustyypit › Väitöskirjatyön seurantaryhmän jäsen
-
PhD Supervisor of Tuomo Lehtonen
Matti Järvisalo (Ohjaaja)
2020 → …Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja