• PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

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

    HELSINGIN YLIOPISTO

    Finland

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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

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

Towards Transformational Creation of Novel Songs

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

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

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

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

Projects 2010 2019

Prizes

CP2017 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

KR 2012 Distinguished Student Paper Prize

Matti Järvisalo (Recipient), 2012

Prize: Prizes and awards

Activities 2010 2019

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

Matti Järvisalo (Programme Committee Member)
2019

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

33rd AAAI Conference on Artificial Intelligence (Event)

Matti Järvisalo (Programme Committee Member)
2019

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

12th Annual Symposium on Combinatorial Search (Event)

Matti Järvisalo (Programme Committee Member)
2019

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

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

Matti Järvisalo (Programme Committee Member)
2019

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

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

Matti Järvisalo (Programme Committee Member)
2019

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