Projects per year
International and National Collaboration
Publications and projects within past five years.
Profiles
Jeremias Berg
- Department of Computer Science - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U2 Teaching and research staff, UH
Matti Järvisalo
- Department of Computer Science - Associate professor
- Helsinki Institute for Information Technology
- 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
Andreas Niskanen
- Department of Computer Science - Doctoral Student
- Constraint Reasoning and Optimization research group / Matti Järvisalo
- Doctoral Programme in Computer Science
Person: U1 Research and teaching staff
Projects
- 2 Active
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
Publications
Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach
Niskanen, A. & Järvisalo, M., 2020, (Accepted/In press) Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020). IOS PRESS, 7 p. (Frontiers in Artificial Intelligence and Applications).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Centrality Heuristics for Exact Model Counting
Bliem, B. & Järvisalo, M., 13 Feb 2020, IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI 2019). IEEE Computer Society, p. 59-63Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access
File
Core-Guided and Core-Boosted Search for CP
Grange, G., Berg, J., Demirovic, E. & Stuckey, P., 30 Jan 2020, (Accepted/In press) Proceedings of the 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research. Springer International Publishing AG, (Lecture Notes in Computer Science. Theoretical Computer Science and General Issues).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Deciding Acceptance in Incomplete Argumentation Frameworks
Niskanen, A., Neugebauer, D., Järvisalo, M. & Rothe, J., 2020, (Accepted/In press) Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open Access
File
Discovering Causal Graphs with Cycles and Latent Confounders: An Exact Branch-and-Bound Approach
Rantanen, K., Hyttinen, A. & Järvisalo, M., Feb 2020, In : International Journal of Approximate Reasoning. 117, p. 29-49 21 p.Research output: Contribution to journal › Article › Scientific › peer-review
Activities
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Member of organizing committee)2021
Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
13th Annual Symposium on Combinatorial Search (SoCS 2020) (Event)
Matti Järvisalo (Programme Committee Member)2020
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
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)2020
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
MSc Supervisor of Jarkko Savela
Matti Järvisalo (Supervisor)2020
Activity: Examination types › Supervision of other thesis (Master's, Licentiate)
11th International Workshop on Pragmatics of SAT (PoS 2020) (Event)
Matti Järvisalo (Programme Committee Chair)2020
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
Prizes
2019 IJCAI-JAIR Best Paper Prize
Armin Biere (Recipient), Marijn J.H. Heule (Recipient), Matti Järvisalo (Recipient), Florian Lonsing (Recipient) & Martina Seidl (Recipient), 2019
Prize: Prizes and awards
CP 2017 Distinguished Paper Award
Fahiem Bacchus (Recipient), Antti Juhani Hyttinen (Recipient), Matti Järvisalo (Recipient) & Paul Henrik Alexander Saikko (Recipient), 2017
Prize: Prizes and awards
ECAI 2016 Runner-Up Best Student Paper Award
Andreas Johannes Alexand Niskanen (Recipient), Johannes Peter Wallner (Recipient) & Matti Järvisalo (Recipient), 2016
Prize: Prizes and awards
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Matti Järvisalo (Recipient), 2015
Prize: Prizes and awards
ICCMA 2019 Main Track and Dynamic Track: First place
Andreas Niskanen (Recipient) & Matti Järvisalo (Recipient), 12 Aug 2019
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