Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Projektin yksityiskohdat
| Tila | Päättynyt |
|---|---|
| Todellinen alku/loppupvm | 01/09/2014 → 31/08/2019 |
Rahoitus
- Unknown funder
Tutkimustuotos
-
Applications of MaxSAT in Data Analysis
Berg, O. J., Hyttinen, A. J. & Järvisalo, M. J., 2019, Proceedings of Pragmatics of SAT 2015 and 2018. Le Berre, D. & Järvisalo, M. (toim.). Manchester, UK: EasyChair Publications, s. 50-64 15 Sivumäärä (EPiC Series in Computing; Vuosikerta 59).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Enumerating Potential Maximal Cliques via SAT and ASP
Korhonen, T., Berg, J. & Järvisalo, M., 2019, Proceedings of the twenty-eigth International Joint Conference on Artificial Intelligence (IJCAI 2019). Kraus, S. (toim.). International Joint Conferences on Artifical Intelligence, s. 1116-1122 7 SivumääräTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Preprocessing Argumentation Frameworks via Replacement Patterns
Dvořák, W., Järvisalo, M. J., Linsbichler, T., Niskanen, A. J. A. & Woltran, S., 2019, 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 Artificial Intelligence; Vuosikerta 11468).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Aktiviteetit
-
22nd International Conference on Theory and Applications of Satisfiability Testing (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
16th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2019) (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
10th International Workshop on Pragmatics of SAT (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan puheenjohtaja)
2019Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
Palkinnot
-
CP 2017 Distinguished Paper Award
Bacchus, Fahiem (Vastaanottaja), Hyttinen, Antti Juhani (Vastaanottaja), Järvisalo, Matti (Vastaanottaja) & Saikko, Paul Henrik Alexander (Vastaanottaja), 2017
Palkinto: Palkinnot ja kunnianosoitukset