Projekteja vuodessa
Kansainvälinen ja kotimainen yhteistyö
Henkilöt
-
Jeremias Berg
- Tietojenkäsittelytieteen osasto - yliopistonlehtori, dosentuuri, tutkijatohtori
- 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
01/01/2020 → 31/12/2022
Projekti: Tutkimusprojekti
-
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Projekti: Tutkimusprojekti
Julkaisut
-
Argumentative Reasoning in ASPIC+ under Incomplete Information
Odekerken, D., Lehtonen, T., Borg, A., Wallner, J. P. & Järvisalo, M., 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). Marquis, P., Cao Son, T. & Kern-Isberne, G. (toim.). International Joint Conferences on Artificial IntelligenceTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Certified Core-Guided MaxSAT Solving
Berg, J., Bogaerts, B., Nordström, J., Oertel, A. & Vandesande, D., 2 syysk. 2023, Automated Deduction – CADE 29. CADE 2023. Pientka, B. & Tinelli, C. (toim.). Cham: Springer, ( Lecture Notes in Computer Science; Vuosikerta 14132).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Computational Approaches to Reasoning in Structured Argumentation
Lehtonen, T., 16 kesäk. 2023, Helsinki: Helsingin yliopisto.Julkaisun otsikon käännös :Algoritmisia menetelmiä rakenteiseen argumentatiiviseen päättelyyn Tutkimustuotos: Opinnäyte › Väitöskirja › Artikkelikokoelma
Open access -
Computing MUS-Based Inconsistency Measures
Kuhlmann, I., Niskanen, A. & Järvisalo, M., 2023, Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023). Ortiz, M., Martinez, M. V. & Gaggl, S. (toim.). Springer, (Lecture Notes in Computer Science).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation: A Preliminary Report
Järvisalo, M., Lehtonen, T. & Niskanen, A., 2023, (Hyväksytty/In press) Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023). Cocarascu, O., Doutre, S., Mailly, J-G. & Rago, A. (toim.). CEUR-WS.org, (CEUR Workshop Proceedings).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen
Open accessTiedosto
Aktiviteetit
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Järjestäjätoimikunnan jäsen)
2021Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan jäsen)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
MSc Supervisor of Esa Kemppainen
Matti Järvisalo (Ohjaaja)
2020Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
-
11th International Workshop on Pragmatics of SAT (PoS 2020) (Tapahtuma)
Matti Järvisalo (Ohjelmatoimikunnan puheenjohtaja)
2020Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypit › Käsikirjoitusten vertaisarviointi
-
MSc Supervisor of Tuukka Korhonen
Matti Järvisalo (Ohjaaja)
2020Aktiviteetti: Tutkimustyypit › Muun opinnäytteen ohjaus (pro gradu, lisensiaattityö)
Palkinnot
-
2019 IJCAI-JAIR Best Paper Prize
Biere, Armin (Vastaanottaja), Heule, Marijn J.H. (Vastaanottaja), Järvisalo, Matti (Vastaanottaja), Lonsing, Florian (Vastaanottaja) & Seidl, Martina (Vastaanottaja), 2019
Palkinto: Palkinnot ja kunnianosoitukset
-
-
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
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas Johannes Alexand (Vastaanottaja), Wallner, Johannes Peter (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
Lehtileikkeet
-
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