Research Output per year
International and National Collaboration
Publications and projects within past five years.
Profiles
Jeremias Berg
- Department of Computer Science Subunit - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: UH, Teaching and research personnel
Matti Järvisalo
- Department of Computer Science - Associate professor
- Helsinki Institute for Information Technology
- Constraint Reasoning and Optimization research group / Matti Järvisalo
- Doctoral Programme in Computer Science - Supervisor for doctoral programme
Person: UH, Teaching and research personnel
Andreas Niskanen
- Department of Computer Science Subunit - Doctoral Student
- Constraint Reasoning and Optimization research group / Matti Järvisalo
- Doctoral Programme in Computer Science
Person: Teaching and research personnel
Paul Saikko
- Department of Computer Science
- Department of Computer Science Subunit - Doctoral Student
- Constraint Reasoning and Optimization research group / Matti Järvisalo
- Doctoral Programme in Computer Science
Person: UH, Teaching and research personnel
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 proceeding › Conference contribution › Scientific › peer-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 proceeding › Conference contribution › Scientific › peer-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 PressResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm
Korhonen, T., Berg, J. & Järvisalo, M., Jun 2019, In : ACM Journal of Experimental Algorithmics. 24, 1, 19 p., 1.9.Research output: Contribution to journal › Article › Scientific › peer-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 journal › Article › Scientific › peer-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 types › Peer 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 types › Peer 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 types › Peer review of manuscripts
33rd AAAI Conference on Artificial Intelligence (Event)
Matti Järvisalo (Programme Committee Member)2019
Activity: Publication peer-review and editorial work types › Peer 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 types › Peer 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
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Matti Järvisalo (Recipient), 2015
Prize: Prizes and awards
Press / Media
-UNIVERSITY OF HELSINKI: Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations
Teivo Teivainen & Jeremias Berg
07/05/2019
1 item of media coverage
Press/Media: Press / Media
Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations
Teivo Teivainen & Jeremias Berg
06/05/2019
1 item of media coverage
Press/Media: Press / Media