Projekteja vuodessa
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Henkilöt
-
Jeremias Berg
- Tietojenkäsittelytieteen osasto - akatemiatutkija, dosentuuri
- Matti Järvisalo / Vastuullinen tutkija
- Doctoral Programme in Computer Science - Ohjaaja tohtoriohjelmassa
Henkilö: U3 Opetus- ja tutkimushenkilöstö, HY
-
Matti Järvisalo
- 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ö
Projektit
- 2 Päättynyt
-
Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M. (Principal Investigator)
01/01/2020 → 31/12/2022
Projekti: Tutkimusprojekti
-
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti
Julkaisut
-
Certified MaxSAT Preprocessing
Ihalainen, H., Oertel, A., Tan, Y. K., Berg, J., Järvisalo, M., Myreen, M. O. & Nordström, J., 1 heinäk. 2024, Automated Reasoning. IJCAR 2024.. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (toim.). Springer Science and Business Media Deutschland GmbH, s. 396-418 23 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 14739).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, J., Bogaerts, B., Nordström, J., Oertel, A., Paxian, T. & Vandesande, D., elok. 2024, 30th International Conference on Principles and Practice of Constraint Programming, CP 2024. Shaw, P. (toim.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 307).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation
Conati, A. F., Niskanen, A., de Haan, R. & Järvisalo, M., lokak. 2024, ECAI 2024 – 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). IOS PRESS, s. 3597-3604 7 Sivumäärä (Frontiers in Artificial Intelligence and Applications; Vuosikerta 392).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Core Boosting in SAT-Based Multi-objective Optimization
Jabs, C., Berg, J. & Järvisalo, M., 2024, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Proceedings. Dilkina, B. (toim.). 1 toim. Cham: Springer, s. 1-19 19 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 14743).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Declarative Approaches to Outcome Determination in Judgment Aggregation
Conati, A., Niskanen, A. & Järvisalo, M., 2024, julkaisussa: Journal of Artificial Intelligence Research. 81, s. 793-836 44 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Aktiviteetit
-
Väitöskirjan sivuohjaaja
Berg, J. (Sivuohjaaja)
1 tammik. 2023 → 31 jouluk. 2027Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja
-
Simons Institute (UC Berkeley)
Berg, J. (Vieraileva tutkija)
20 maalisk. 2023 → 10 toukok. 2023Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Väitöskirjan sivuohjaaja
Berg, J. (Sivuohjaaja)
1 tammik. 2023 → 31 jouluk. 2027Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja
-
University of Oxford
Niskanen, A. (Vieraileva tutkija)
6 marrask. 2023 → 10 marrask. 2023Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
University of Amsterdam
Niskanen, A. (Vieraileva tutkija)
27 marrask. 2023 → 1 jouluk. 2023Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
Palkinnot
-
2019 IJCAI-JAIR Best Paper Prize
Biere, A. (Vastaanottaja), Heule, M. J. H. (Vastaanottaja), Järvisalo, M. (Vastaanottaja), Lonsing, F. (Vastaanottaja) & Seidl, M. (Vastaanottaja), 2019
Palkinto: Palkinnot ja kunnianosoitukset
-
-
CP 2017 Distinguished Paper Award
Bacchus, F. (Vastaanottaja), Hyttinen, A. J. (Vastaanottaja), Järvisalo, M. (Vastaanottaja) & Saikko, P. H. A. (Vastaanottaja), 2017
Palkinto: Palkinnot ja kunnianosoitukset
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, A. J. A. (Vastaanottaja), Wallner, J. P. (Vastaanottaja) & Järvisalo, M. (Vastaanottaja), 2016
Palkinto: Palkinnot ja kunnianosoitukset
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, M. (Vastaanottaja), 2015
Palkinto: Palkinnot ja kunnianosoitukset
Lehtileikkeet
-
-
Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations
06/05/2019
1 kohde/ Medianäkyvyys
Lehdistö/media