• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

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

    HELSINGIN YLIOPISTO

    Finland

20102020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Fields of Science

  • 113 Computer and information sciences

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

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

Open Access
File

An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework

Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2020, (Accepted/In press) Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). AAAI Press

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

Controllability of Control Argumentation Frameworks

Niskanen, A., Neugebauer, D. & Järvisalo, M., 2020, (Accepted/In press) Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020). Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 1855-1861 7 p.

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, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). AAAI Press, p. 2942-2949 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Open Access
File

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

Harnessing Constraint Reasoning for Structure Discovery

Järvisalo, M.

Unknown funder

01/01/201531/12/2018

Project: University of Helsinki Three-Year Research Project

Prizes

2019 IJCAI-JAIR Best Paper Prize

Armin Biere (Recipient), Marijn J.H. Heule (Recipient), Järvisalo, Matti (Recipient), Florian Lonsing (Recipient) & Martina Seidl (Recipient), 2019

Prize: Prizes and awards

CP 2017 Distinguished Paper Award

Fahiem Bacchus (Recipient), Hyttinen, Antti (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul (Recipient), 2017

Prize: Prizes and awards

ECAI 2016 Runner-Up Best Student Paper Award

Niskanen, Andreas (Recipient), Johannes Peter Wallner (Recipient) & Järvisalo, Matti (Recipient), 2016

Prize: Prizes and awards

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

11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020) (Event)

Matti Järvisalo (Programme Committee Member)

2020

Activity: Publication peer-review and editorial work typesPeer review of manuscripts

24th European Conference on Artificial Intelligence (ECAI 2020) (Event)

Matti Järvisalo (Programme Committee Member)

2020

Activity: Publication peer-review and editorial work typesPeer review of manuscripts

34th AAAI Conference on Artificial Intelligence (AAAI-20) (Event)

Matti Järvisalo (Programme Committee Member)

2020

Activity: Publication peer-review and editorial work typesPeer review of manuscripts

PhD Supervisor of Tuomo Lehtonen

Matti Järvisalo (Supervisor)

2020 → …

Activity: Examination typesSupervisor or co-supervisor of doctoral thesis