• PL 68 (Gustaf Hällströmin katu 2b), A329

    HELSINGIN YLIOPISTO

    Suomi

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

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/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

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/raporttiKokoomateos tai erikoisnumeroTieteellinen

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/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

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/raporttiKokoomateos tai erikoisnumeroTieteellinen

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 Press

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

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 tyypitKäsikirjoitusten vertaisarviointi

35th Conference on Uncertainty in Artificial Intelligence (Tapahtuma)

Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2019

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKäsikirjoitusten vertaisarviointi

10th International Workshop on Pragmatics of SAT (Tapahtuma)

Matti Järvisalo (Ohjelmatoimikunnan puheenjohtaja)
2019

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKä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 tyypitKä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 tyypitKä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