Projects per year
International and National Collaboration
Profiles
-
Jeremias Berg
- Department of Computer Science - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U2 Teaching and research staff, UH
-
Matti Järvisalo
- Department of Computer Science - Professor, Title of Docent
- 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, U4 Research and teaching staff
-
Andreas Niskanen
- Department of Computer Science - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U2 Teaching and research staff
Projects
- 2 Active
-
Symbolic Techniques for Formally Verified and Explainable AI
01/01/2020 → 31/12/2022
Project: Research project
-
Declarative Boolean Optimization: Pushing the Envelope
01/09/2019 → 31/08/2023
Project: Research project
-
Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
Linsbichler, T., Maratea, M., Niskanen, A., Wallner, J. P. & Woltran, S., Jun 2022, In: Artificial Intelligence. 307, 40 p., 103697.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Päättelystä argumentteihin
Niskanen, A., 5 Jan 2022, In: TIVIA News : Tieto- ja viestintätekniikan ammattilaiset TIVIA ry:n jäsenlehti. 1/2022Research output: Contribution to journal › Article › General public
Open Access -
Acceptance in Incomplete Argumentation Frameworks
Baumeister, D., Järvisalo, M., Neugebauer, D., Niskanen, A. & Rothe, J., Jun 2021, In: Artificial Intelligence. 295, 35 p., 103470.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Controllability of Control Argumentation Frameworks
Niskanen, A., Neugebauer, D. & Järvisalo, M., Jan 2021, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020). Bessiere, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 1855-1861 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation
Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2021, In: Journal of Artificial Intelligence Research. 71, p. 265-318 54 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile
Activities
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Member of organizing committee)
2021Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020) (Event)
Matti Järvisalo (Programme Committee Member)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts
-
17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020) (Event)
Matti Järvisalo (Programme Committee Member)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts
-
29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Event)
Matti Järvisalo (Programme Committee Member)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts
-
13th Annual Symposium on Combinatorial Search (SoCS 2020) (Event)
Matti Järvisalo (Programme Committee Member)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts
Prizes
-
2019 IJCAI-JAIR Best Paper Prize
Biere, A. (Recipient), Heule, M. J. H. (Recipient), Järvisalo, Matti (Recipient), Lonsing, F. (Recipient) & Seidl, M. (Recipient), 2019
Prize: Prizes and awards
-
-
CP 2017 Distinguished Paper Award
Bacchus, F. (Recipient), Hyttinen, Antti (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul (Recipient), 2017
Prize: Prizes and awards
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas (Recipient), Wallner, J. P. (Recipient) & Järvisalo, Matti (Recipient), 2016
Prize: Prizes and awards
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, Matti (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