Tutkimustuotoksia 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
Andreas Niskanen
- Tietojenkäsittelytieteen osasto - tohtorikoulutettava
- Matti Järvisalo / Vastuullinen tutkija
- Doctoral Programme in Computer Science
Henkilö: U1 Opetus- ja tutkimushenkilöstö
Paul Saikko
- Tietojenkäsittelytieteen osasto - tohtorikoulutettava
- Matti Järvisalo / Vastuullinen tutkija
- Doctoral Programme in Computer Science
Henkilö: U1 Opetus- ja tutkimushenkilöstö, HY
Julkaisut 2013 2019
Core-Boosted Linear Search for Incomplete MaxSAT
Berg, O. J., Demirovic, E. & Stuckey, P., 2019, (Hyväksytty/In press) Proceedings of the The 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019) . Springer, (Lecture Notes in Computer Science ).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
MaxSAT Evaluation 2019: Solver and Benchmark Descriptions
Bacchus, F. (toim.), Järvisalo, M. (toim.) & Martins, R. (toim.), 2019, Helsinki: Department of Computer Science, University of Helsinki. 49 Sivumäärä (Department of Computer Science Report Series B; Vuosikerta B-2019-2)Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen
Open access
Tiedosto
Preprocessing Argumentation Frameworks via Replacement Patterns
Dvorak, W., Järvisalo, M. J., Linsbichler, T., Niskanen, A. J. A. & Woltran, S., 2019, Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). Calimeri, F., Leone, N. & Manna, M. (toim.). Springer, Vuosikerta 11468. s. 116-132 17 Sivumäärä (Lecture Notes in Computer Science).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Proceedings of SAT Race 2019: Solver and Benchmark Descriptions
Heule, M. J. H. (toim.), Järvisalo, M. (toim.) & Suda, M. (toim.), 2019, Helsinki: Department of Computer Science, University of Helsinki. 61 Sivumäärä (Department of Computer Science Report Series B; Vuosikerta B-2019-1)Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen
Open access
Tiedosto
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2019, (Hyväksytty/In press) Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). AAAI PressTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Aktiviteetit 2013 2019
33rd Annual Conference on Neural Information Processing Systems (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)2019
Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
35th Conference on Uncertainty in Artificial Intelligence (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)2019
Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
10th International Workshop on Pragmatics of SAT (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan puheenjohtaja)2019
Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
22nd International Conference on Theory and Applications of Satisfiability Testing (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)2019
Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)2019
Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
Palkinnot
CP2017 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
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