Projekt per år
Internationellt och inhemskt samarbete
Publikationer och projekt inom de senaste fem åren.
Personer
-
Jeremias Berg
- Avdelningen för datavetenskap - universitetslektor, Titeln docent, forskardoktor
- Matti Järvisalo / Ansvarig forskare
- Doctoral Programme in Computer Science - Handledare för doktorandprogram
Person: U3 Undervisnings- och forskningspersonal, HU
-
Matti Järvisalo
- Avdelningen för datavetenskap - professor, Titeln docent
- Forskningsinstitutet för informationsteknologi
- Matti Järvisalo / Ansvarig forskare
- Doctoral Programme in Computer Science - Handledare för doktorandprogram
Person: HU, U4 Undervisnings- och forskningspersonal
-
Andreas Niskanen
- Avdelningen för datavetenskap - forskardoktor
- Matti Järvisalo / Ansvarig forskare
Person: U2 Undervisnings- och forskningspersonal
Projekt
- 2 Slutfört
-
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Projekt: Forskningsprojekt
-
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Projekt: Forskningsprojekt
-
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. (red.). International Joint Conferences on Artificial IntelligenceForskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Certified Core-Guided MaxSAT Solving
Berg, J., Bogaerts, B., Nordström, J., Oertel, A. & Vandesande, D., 2 sep. 2023, Automated Deduction – CADE 29. CADE 2023. Pientka, B. & Tinelli, C. (red.). Cham: Springer, ( Lecture Notes in Computer Science; vol. 14132).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Computational Approaches to Reasoning in Structured Argumentation
Lehtonen, T., 16 juni 2023, Helsinki: Helsingin yliopisto.Forskningsoutput: Avhandling › Doktorsavhandling › Samling av artiklar
Öppen tillgång -
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. (red.). Springer, (Lecture Notes in Computer Science).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil -
Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation: A Preliminary Report
Järvisalo, M., Lehtonen, T. & Niskanen, A., 2023, (!!Accepted/In press) Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023). Cocarascu, O., Doutre, S., Mailly, J-G. & Rago, A. (red.). CEUR-WS.org, (CEUR Workshop Proceedings).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig
Öppen tillgångFil
Aktiviteter
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Medlem i organisationskommitté)
2021Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Evenemang)
Matti Järvisalo (Medlem av programkommitté)
2020Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
MSc Supervisor of Esa Kemppainen
Matti Järvisalo (Handledare)
2020Aktivitet: Examinationstyper › Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
-
11th International Workshop on Pragmatics of SAT (PoS 2020) (Evenemang)
Matti Järvisalo (Ordförande för programkommitté)
2020Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript
-
MSc Supervisor of Tuukka Korhonen
Matti Järvisalo (Handledare)
2020Aktivitet: Examinationstyper › Handledning av annat kunskapsprov (pro gradu, licentiatavhandling)
Priser
-
2019 IJCAI-JAIR Best Paper Prize
Biere, Armin (!!Recipient), Heule, Marijn J.H. (!!Recipient), Järvisalo, Matti (!!Recipient), Lonsing, Florian (!!Recipient) & Seidl, Martina (!!Recipient), 2019
Pris: Pris och hedersbetygelser
-
-
CP 2017 Distinguished Paper Award
Bacchus, Fahiem (!!Recipient), Hyttinen, Antti Juhani (!!Recipient), Järvisalo, Matti (!!Recipient) & Saikko, Paul Henrik Alexander (!!Recipient), 2017
Pris: Pris och hedersbetygelser
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas Johannes Alexand (!!Recipient), Wallner, Johannes Peter (!!Recipient) & Järvisalo, Matti (!!Recipient), 2016
Pris: Pris och hedersbetygelser
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, Matti (!!Recipient), 2015
Pris: Pris och hedersbetygelser
Tidningsurklipp
-
-UNIVERSITY OF HELSINKI: 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
07/05/2019
1 objekt av Mediabevakning
Press/media: !!Press / 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 objekt av Mediabevakning
Press/media: !!Press / Media