Constraint Reasoning and Optimization research group / Matti Järvisalo

Jeremias Berg
- jeremias.berghelsinkifi
- Department of Computer Science - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U2 Teaching and research staff, UH
20132021
Matti Järvisalo
- matti.jarvisalohelsinkifi
- 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
20102021
Andreas Niskanen
- andreas.niskanenhelsinkifi
- Department of Computer Science - Postdoctoral Researcher
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: U2 Teaching and research staff
20152022
Paul Saikko
- Department of Computer Science
- Constraint Reasoning and Optimization research group / Matti Järvisalo
Person: UH
20152019

2 Active

Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M.
01/01/2020 → 31/12/2022
Project: Research project
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M.
01/09/2019 → 31/08/2023
Project: Research project

71 Conference contribution
26 Article
17 Software
13 Anthology or special issue
More
- 2 Chapter
- 2 Conference article

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 Access
File
Päättelystä argumentteihin
Niskanen, A., 5 Jan 2022, In: TIVIA News : Tieto- ja viestintätekniikan ammattilaiset TIVIA ry:n jäsenlehti. 1/2022
Research 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 Access
File
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 Access
File
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 Access
File

56 Peer review of manuscripts
36 Organisation and participation in conferences, workshops, courses, seminars
6 Supervisor or co-supervisor of doctoral thesis
6 Supervision of other thesis (Master's, Licentiate)
More

Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Matti Järvisalo (Member of organizing committee)
2021
Activity: 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)
2020
Activity: 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)
2020
Activity: 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)
2020
Activity: 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)
2020
Activity: Publication peer-review and editorial work types › Peer review of manuscripts

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
ACP Doctoral Research Award
Berg, Jeremias (Recipient), 2020
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

-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

Constraint Reasoning and Optimization research group / Matti Järvisalo

International and National Collaboration

Dive into details

Jeremias Berg

Matti Järvisalo

Andreas Niskanen

Paul Saikko

Symbolic Techniques for Formally Verified and Explainable AI

Declarative Boolean Optimization: Pushing the Envelope

Advanced Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving

Päättelystä argumentteihin

Acceptance in Incomplete Argumentation Frameworks

Controllability of Control Argumentation Frameworks

Declarative Algorithms and Complexity Results for Assumption-Based Argumentation

Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program

11th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2020) (Event)

17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020) (Event)

29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) (Event)

13th Annual Symposium on Combinatorial Search (SoCS 2020) (Event)

2019 IJCAI-JAIR Best Paper Prize

ACP Doctoral Research Award

CP 2017 Distinguished Paper Award

ECAI 2016 Runner-Up Best Student Paper Award

Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation

-UNIVERSITY OF HELSINKI: Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations

Prize-winning doctoral dissertations completed at the University of Helsinki focused on targeted drugs and tax planning conducted by multinational corporations

Constraint Reasoning and Optimization research group / Matti Järvisalo

International and National Collaboration

Profiles

Projects

Publications

Activities

Prizes

Press / Media