Projekt per år
Samarbeten och ledande forskningsområden under de senaste fem åren
Aktuellt externt samarbete på lands-/territoriumsnivå. Visa detaljer genom att klicka på punkterna eller
Profiler
-
Jeremias Berg
- Avdelningen för datavetenskap - akademiforskare, Titeln docent
- Doctoral Programme in Computer Science - Handledare för doktorandprogram
- Matti Järvisalo / Ansvarig forskare
Person: U3 Undervisnings- och forskningspersonal, HU
-
Matti Järvisalo
- Forskningsinstitutet för informationsteknologi
- Avdelningen för datavetenskap - professor, Titeln docent
- Doctoral Programme in Computer Science - Handledare för doktorandprogram
- Matti Järvisalo / Ansvarig forskare
Person: HU, U4 Undervisnings- och forskningspersonal
-
Andreas Niskanen
- Avdelningen för datavetenskap - universitetsforskare
- Matti Järvisalo / Ansvarig forskare
Person: U3 Undervisnings- och forskningspersonal
Projekt
- 2 Slutfört
-
Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M. (Principal Investigator)
01/01/2020 → 31/12/2022
Projekt: Forskningsprojekt
-
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Projekt: Forskningsprojekt
Forskningsresultat
-
Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers
Jabs, C., Berg, J. & Järvisalo, M., 2026, Logics in Artificial Intelligence - 19th European Conference, JELIA 2025, Proceedings. Casini, G., Dundua, B. & Kutsia, T. (red.). Springer Science and Business Media Deutschland GmbH, s. 115-134 20 s. (Lecture Notes in Computer Science; vol. 16093 LNAI).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025
Berg, J. (Redaktör) & Nordström, J. (Redaktör), 7 aug. 2025, Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 341)Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review
-
An Optimization Modulo Theories-Based Approach to Cumulative Scheduling with Delays
Kasslin, A. & Berg, J., 2025, I: CEUR Workshop Proceedings. 4008, s. 16-28 13 s.Forskningsoutput: Tidskriftsbidrag › Konferensartikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Argumentative Reasoning in ASPIC plus under Incomplete Information
Odekerken, D., Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2025, I: Journal of Artificial Intelligence Research. 83, 52 s., 28.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
From Scalable SAT to MaxSAT: Massively Parallel Solution Improving Search
Schreiber, D., Jabs, C. & Berg, J., 2025, 18th International Symposium on Combinatorial Search, SoCS 2025. Likhachev, M., Rudová, H. & Scala, E. (red.). Association for the Advancement of Artificial Intelligence, s. 127-135 9 s. (The International Symposium on Combinatorial Search; vol. 18).Forskningsoutput: Kapitel i bok/rapport/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil
Aktiviteter
-
Väitöskirjan sivuohjaaja
Berg, J. (Bihandledare)
1 jan. 2023 → 31 dec. 2027Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling
-
Väitöskirjan sivuohjaaja
Berg, J. (Bihandledare)
1 jan. 2023 → 31 dec. 2027Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling
-
University of Oxford
Niskanen, A. (Besökande forskare)
6 nov. 2023 → 10 nov. 2023Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
University of Amsterdam
Niskanen, A. (Besökande forskare)
27 nov. 2023 → 1 dec. 2023Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
-
Simons Institute (UC Berkeley)
Berg, J. (Besökande forskare)
20 mars 2023 → 10 maj 2023Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
Priser
-
2019 IJCAI-JAIR Best Paper Prize
Biere, A. (!!Recipient), Heule, M. J. H. (!!Recipient), Järvisalo, M. (!!Recipient), Lonsing, F. (!!Recipient) & Seidl, M. (!!Recipient), 2019
Pris: Pris och hedersbetygelser
-
-
CP 2017 Distinguished Paper Award
Bacchus, F. (!!Recipient), Hyttinen, A. J. (!!Recipient), Järvisalo, M. (!!Recipient) & Saikko, P. H. A. (!!Recipient), 2017
Pris: Pris och hedersbetygelser
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, A. J. A. (!!Recipient), Wallner, J. P. (!!Recipient) & Järvisalo, M. (!!Recipient), 2016
Pris: Pris och hedersbetygelser
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, M. (!!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
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
06/05/2019
1 objekt av Mediabevakning
Press/media: !!Press / Media