Matti Järvisalo / Vastuullinen tutkija

Jeremias Berg
- jeremias.berghelsinkifi
- Tietojenkäsittelytieteen osasto - tutkijatohtori
- Matti Järvisalo / Vastuullinen tutkija
Henkilö: U2 Opetus- ja tutkimushenkilöstö, HY
20132022
Matti Järvisalo
- matti.jarvisalohelsinkifi
- Tietojenkäsittelytieteen osasto - professori, dosentuuri
- Helsingin tietotekniikan tutkimuslaitos
- Matti Järvisalo / Vastuullinen tutkija
- Doctoral Programme in Computer Science - Ohjaaja tohtoriohjelmassa
Henkilö: HY, U4 Opetus- ja tutkimushenkilöstö
20102022
Andreas Niskanen
- andreas.niskanenhelsinkifi
- Tietojenkäsittelytieteen osasto - tutkijatohtori
- Matti Järvisalo / Vastuullinen tutkija
Henkilö: U2 Opetus- ja tutkimushenkilöstö
20152022
Paul Saikko
- Tietojenkäsittelytieteen osasto
- Matti Järvisalo / Vastuullinen tutkija
Henkilö: HY
20152019

2 Aktiivinen

Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M.
01/01/2020 → 31/12/2022
Projekti: Tutkimusprojekti
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M.
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti

78 Konferenssiartikkeli
26 Artikkeli
17 Ohjelmisto
13 Kokoomateos tai erikoisnumero
Muut aineistot
- 2 Kirjan luku tai artikkeli

Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
Linsbichler, T., Maratea, M., Niskanen, A., Wallner, J. P. & Woltran, S., kesäk. 2022, julkaisussa: Artificial Intelligence. 307, 40 Sivumäärä, 103697.
Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu

Open access
Tiedosto
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 Intelligence
Tutkimustuotos: 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 Informatik
Tutkimustuotos: 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 Informatik
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

56 Käsikirjoitusten vertaisarviointi
36 Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
6 Väitöskirjan ohjaaja tai sivuohjaaja
6 Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
Muut aineistot

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
PhD Grading Committee Member for Janne Leppä-Aho
Matti Järvisalo (Jäsenyys seurantaryhmässä)
2020
Aktiviteetti: Tutkimustyypit › Väitöskirjatyön seurantaryhmän jäsen
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
17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020) (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020
Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
MSc Supervisor of Esa Kemppainen
Matti Järvisalo (Ohjaaja)
2020
Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)

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
ACP Doctoral Research
Berg, Jeremias (Vastaanottaja), 2020
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

-UNIVERSITY OF HELSINKI: 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
07/05/2019
1 kohde/ Medianäkyvyys
Lehdistö/media
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

Matti Järvisalo / Vastuullinen tutkija

Kansainvälinen ja kotimainen yhteistyö

Sukella yksityiskohtiin

Jeremias Berg

Matti Järvisalo

Andreas Niskanen

Paul Saikko

Symbolic Techniques for Formally Verified and Explainable AI

Declarative Boolean Optimization: Pushing the Envelope

Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving

Clause Redundancy and Preprocessing in Maximum Satisfiability

Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework

Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization

Incremental Maximum Satisfiability

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

PhD Grading Committee Member for Janne Leppä-Aho

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

17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020) (Tapahtuma)

MSc Supervisor of Esa Kemppainen

2019 IJCAI-JAIR Best Paper Prize

ACP Doctoral Research

CP 2017 Distinguished Paper Award

ECAI 2016 Runner-Up Best Student Paper Award

Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation

-UNIVERSITY OF HELSINKI: Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations

Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations

Matti Järvisalo / Vastuullinen tutkija

Kansainvälinen ja kotimainen yhteistyö

Henkilöt

Projektit

Julkaisut

Aktiviteetit

Palkinnot

Lehtileikkeet