Constraint Reasoning and Optimization research group / Matti Järvisalo

  • PL 68 (Gustaf Hällströmin katu 2b), A329

    HELSINGIN YLIOPISTO

    Finland

International and National Collaboration Publications and projects within past five years.

Projects

Symbolic Techniques for Formally Verified and Explainable AI

Järvisalo, M.

01/01/202031/12/2022

Project: Research project

Declarative Boolean Optimization: Pushing the Envelope

Järvisalo, M.

01/09/201931/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 proceedingConference contributionScientificpeer-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-63

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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 proceedingConference contributionScientificpeer-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 proceedingConference contributionScientificpeer-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 journalArticleScientificpeer-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 typesOrganisation 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 typesPeer 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 typesPeer review of manuscripts

MSc Supervisor of Jarkko Savela

Matti Järvisalo (Supervisor)
2020

Activity: Examination typesSupervision 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 typesPeer 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

ICCMA 2019 Main Track and Dynamic Track: First place

Andreas Niskanen (Recipient) & Matti Järvisalo (Recipient), 12 Aug 2019

Prize: Prizes and awards