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

    HELSINGIN YLIOPISTO

    Finland

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

Projekt

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

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

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

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).

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

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

13th Annual Symposium on Combinatorial Search (SoCS 2020) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

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

29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2020

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

MSc Supervisor of Jarkko Savela

Matti Järvisalo (Handledare)
2020

Aktivitet: ExaminationstyperHandledning av annat kunskapsprov (pro gradu, licentiatavhandling)

11th International Workshop on Pragmatics of SAT (PoS 2020) (Evenemang)

Matti Järvisalo (Ordförande för programkommitté)
2020

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

Priser

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

Pris: Pris och hedersbetygelser

CP 2017 Distinguished Paper Award

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

Pris: Pris och hedersbetygelser

ECAI 2016 Runner-Up Best Student Paper Award

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

Pris: Pris och hedersbetygelser

ICCMA 2019 Main Track and Dynamic Track: First place

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

Pris: Pris och hedersbetygelser