Constraint Reasoning and Optimization research group / Matti Järvisalo

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

    HELSINGIN YLIOPISTO

    Finland

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

Publications 2013 2019

Core-Boosted Linear Search for Incomplete MaxSAT

Berg, O. J., Demirovic, E. & Stuckey, P., 2019, (Accepted/In press) Proceedings of the The 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019) . Springer, (Lecture Notes in Computer Science ).

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

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

Activities 2013 2019

33rd Annual Conference on Neural Information Processing Systems (Event)

Matti Järvisalo (Programme Committee Member)
2019

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

22nd International Conference on Theory and Applications of Satisfiability Testing (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

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

10th International Workshop on Pragmatics of SAT (Event)

Matti Järvisalo (Programme Committee Chair)
2019

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

Prizes

CP2017 Distinguished Paper Award

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

Prize: Prizes and awards

ECAI 2016 Runner-Up Best Student Paper Award

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

Prize: Prizes and awards