Projects per year
International and National Collaboration
Profiles
-
Jeremias Berg
- Department of Computer Science - University Lecturer, Title of Docent, Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
- Doctoral Programme in Computer Science - Supervisor for doctoral programme
Person: U3 Research and teaching staff, UH
-
Matti Järvisalo
- Department of Computer Science - Professor, Title of Docent
- Helsinki Institute for Information Technology
- Constraint Reasoning and Optimization research group / Matti Järvisalo
- Doctoral Programme in Computer Science - Supervisor for doctoral programme
Person: UH , U4 Research and teaching staff
-
Andreas Niskanen
- Department of Computer Science - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U2 Teaching and research staff
Projects
- 2 Finished
-
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Project: Research project
-
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Project: Research project
-
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. (eds.). International Joint Conferences on Artificial IntelligenceResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
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. (eds.). Cham: Springer, ( Lecture Notes in Computer Science; vol. 14132).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Computational Approaches to Reasoning in Structured Argumentation
Lehtonen, T., 16 Jun 2023, Helsinki: Helsingin yliopisto.Research output: Thesis › Doctoral Thesis › Collection of Articles
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. (eds.). Springer, (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
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. (eds.). CEUR-WS.org, (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
Open AccessFile
Activities
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Member of organizing committee)
2021Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
MSc Supervisor of Esa Kemppainen
Matti Järvisalo (Supervisor)
2020Activity: Examination types › Supervision of other thesis (Master's, Licentiate)
-
29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Event)
Matti Järvisalo (Programme Committee Member)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts
-
11th International Workshop on Pragmatics of SAT (PoS 2020) (Event)
Matti Järvisalo (Programme Committee Chair)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts
-
11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020) (Event)
Matti Järvisalo (Programme Committee Member)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts
Prizes
-
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
Prize: Prizes and awards
-
-
CP 2017 Distinguished Paper Award
Bacchus, Fahiem (Recipient), Hyttinen, Antti Juhani (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul Henrik Alexander (Recipient), 2017
Prize: Prizes and awards
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas Johannes Alexand (Recipient), Wallner, Johannes Peter (Recipient) & Järvisalo, Matti (Recipient), 2016
Prize: Prizes and awards
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, Matti (Recipient), 2015
Prize: Prizes and awards
Press/Media
-
-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 item of Media coverage
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 item of Media coverage
Press/Media: Press / Media