• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

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

    HELSINGIN YLIOPISTO

    Finland

20102019
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 2010 2019

Preprocessing Argumentation Frameworks via Replacement Patterns

Dvorak, W., Järvisalo, M. J., Linsbichler, T., Niskanen, A. J. A. & Woltran, S., 2019, (!!Accepted/In press) Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). Springer, (Lecture Notes in Computer Science).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings

Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2019, (!!Accepted/In press) Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). AAAI Press

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Towards Transformational Creation of Novel Songs

Toivanen, J. M., Järvisalo, M., Alm, O., Ventura, D., Vainio, M. & Toivonen, H., 2 jan 2019, I : Connection Science. 31, 1, s. 4-32 29 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability

Berg, O. J. & Järvisalo, M. J., 2019, (!!Accepted/In press) Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019). Springer, (Lecture Notes in Computer Science).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Projekter 2010 2019

Harnessing Constraint Reasoning for Structure Discovery

Järvisalo, M.

Unknown funder

01/01/201531/12/2018

Projekt: Helsingfors Universitetets treåriga forskningsprojekt

Priser

CP2017 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

KR 2012 Distinguished Student Paper Prize

Matti Järvisalo (!!Recipient), 2012

Pris: Pris och hedersbetygelser

Aktiviteter 2010 2019

16th International Conference on Integration of AI and OR Techniques in Constraint Programming (CPAIOR 2019) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2019

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

33rd AAAI Conference on Artificial Intelligence (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2019

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

12th Annual Symposium on Combinatorial Search (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2019

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

28th International Joint Conference on Artificial Intelligence (IJCAI 2019) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2019

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

36th International Conference on Machine Learning (ICML 2019) (Evenemang)

Matti Järvisalo (Medlem av programkommitté)
2019

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