• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

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

    HELSINGIN YLIOPISTO

    Finland

20102020

Forskningsoutput per år

Om du gjort några ändringar i Pure kommer de visas här snart.

Personlig profil

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer

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 s. (Frontiers in Artificial Intelligence and Applications).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer 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, s. 59-63

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

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. (red.). International Joint Conferences on Artificial Intelligence, s. 1855-1861 7 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer 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, s. 2942-2949 8 s. (Proceedings of the AAAI Conference on Artificial Intelligence).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Projekter

Symbolic Techniques for Formally Verified and Explainable AI

Järvisalo, M.

01/01/202031/12/2022

Projekt: Forskningsprojekt

Declarative Boolean Optimization: Pushing the Envelope

Järvisalo, M.

01/09/201931/08/2023

Projekt: Forskningsprojekt

Harnessing Constraint Reasoning for Structure Discovery

Järvisalo, M.

Unknown funder

01/01/201531/12/2018

Projekt: Helsingfors Universitetets treåriga forskningsprojekt

Priser

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

Pris: Pris och hedersbetygelser

CP 2017 Distinguished Paper Award

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

Pris: Pris och hedersbetygelser

ECAI 2016 Runner-Up Best Student Paper Award

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

Pris: Pris och hedersbetygelser

Aktiviteter

Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program

Matti Järvisalo (Medlem i organisationskommitté)

2021

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

Matti Järvisalo (Medlem av programkommitté)

2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

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

Matti Järvisalo (Medlem av programkommitté)

2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

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

Matti Järvisalo (Medlem av programkommitté)

2020

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

PhD Supervisor of Tuomo Lehtonen

Matti Järvisalo (Handledare)

2020 → …

Aktivitet: ExaminationstyperHandledare eller bihandledare av doktorsavhandling