Harnessing Constraint Reasoning for Structure Discovery

Järvisalo, Matti (Project manager)

Department of Computer Science

Project: University of Helsinki Three-Year Research Project

Status	Finished
Effective start/end date	01/01/2015 → 31/12/2018

Funding

Unknown funder

25 Conference contribution
5 Article
4 Software
1 Conference article

Applications of MaxSAT in Data Analysis
Berg, O. J., Hyttinen, A. J. & Järvisalo, M. J., 2019, Proceedings of Pragmatics of SAT 2015 and 2018. Le Berre, D. & Järvisalo, M. (eds.). Manchester, UK: EasyChair Publications, p. 50-64 15 p. (EPiC Series in Computing; vol. 59).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). Palo Alto, CA: AAAI Press, p. 2938-2945 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33, no. 1).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File
A Preference-Based Approach to Backbone Computation with Application to Argumentation
Previti, A. & Järvisalo, M., 2018, SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Haddad, H. M., Wainwright, R. L. & Chbeir, R. (eds.). New York: ACM, p. 896-902 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Open Access
File

13 Peer review of manuscripts
12 Organisation and participation in conferences, workshops, courses, seminars
4 Public Talks
2 Academic visit at UH
More

33rd AAAI Conference on Artificial Intelligence (Event)
Järvisalo, M. (Programme Committee Member)
2019
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
PhD Supervisor of Kari Rantanen
Järvisalo, M. (Supervisor)
2018 → …
Activity: Examination types › Supervisor or co-supervisor of doctoral thesis
ACM Symposium On Applied Computing (Event)
Järvisalo, M. (Programme Committee Member)
2018
Activity: Publication peer-review and editorial work types › Peer review of manuscripts