Research output per year
Research output per year
Personal profile
Fields of Science
- 113 Computer and information sciences
International and National Collaboration
Publications and projects within past five years.
-
Certified MaxSAT Preprocessing
Ihalainen, H., Oertel, A., Tan, Y. K., Berg, J., Järvisalo, M., Myreen, M. O. & Nordström, J., 1 Jul 2024, Automated Reasoning. IJCAR 2024.. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 396-418 23 p. (Lecture Notes in Computer Science; vol. 14739).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation
Conati, A. F., Niskanen, A., de Haan, R. & Järvisalo, M., Oct 2024, ECAI 2024 – 27th European Conference on Artificial Intelligence, 19–24 October 2024, Santiago de Compostela, Spain – Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). IOS PRESS, p. 3597-3604 7 p. (Frontiers in Artificial Intelligence and Applications; vol. 392).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+
Lehtonen, T., Odekerken, D., Wallner, J. P. & Järvisalo, M., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024. Marquis, P., Marquis, P., Ortiz, M. & Pagnucco, M. (eds.). Association for the Advancement of Artificial Intelligence (AAAI), p. 520-530 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Core Boosting in SAT-Based Multi-objective Optimization
Jabs, C., Berg, J. & Järvisalo, M., 25 May 2024, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Proceedings. Dilkina, B. (ed.). 1 ed. Cham: Springer, p. 1-19 19 p. (Lecture Notes in Computer Science; vol. 14743).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Declarative Approaches to Outcome Determination in Judgment Aggregation
Conati, A., Niskanen, A. & Järvisalo, M., 2024, In: Journal of Artificial Intelligence Research. 81, p. 793-836 44 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile
-
Next-generation Unsatisfiabillity-based Declarative Optimization
Järvisalo, M. (Project manager), Conati, A. F. (Participant), Eskelinen, V. (Participant), Feyzbakhsh Rankooh, M. (Participant), Jabs, C. J. (Participant) & Lehtonen, T. (Participant)
01/09/2023 → 31/08/2027
Project: Research Council of Finland: Academy Project
-
Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M. (Principal Investigator)
01/01/2020 → 31/12/2022
Project: Research project
-
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Project: Research project
-
Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M. (Project manager)
01/01/2015 → 31/12/2018
Project: University of Helsinki Three-Year Research Project
-
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M. (Project manager)
01/09/2014 → 31/08/2019
Project: Research project
Prizes
-
2019 IJCAI-JAIR Best Paper Prize
Biere, A. (Recipient), Heule, M. J. H. (Recipient), Järvisalo, M. (Recipient), Lonsing, F. (Recipient) & Seidl, M. (Recipient), 2019
Prize: Prizes and awards
-
Best Researcher Award 2011: Department of Computer Science, University of Helsinki
Järvisalo, M. (Recipient), 2011
Prize: Prizes and awards
-
CP 2017 Distinguished Paper Award
Bacchus, F. (Recipient), Hyttinen, A. J. (Recipient), Järvisalo, M. (Recipient) & Saikko, P. H. A. (Recipient), 2017
Prize: Prizes and awards
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, A. J. A. (Recipient), Wallner, J. P. (Recipient) & Järvisalo, M. (Recipient), 2016
Prize: Prizes and awards
-
Honorary Mention at ICCMA 2015: 1st International Competition on Computation Models of Argumentation
Järvisalo, M. (Recipient), 2015
Prize: Prizes and awards
Activities
-
Expressiveness versus Efficiency Workshop, part of the Satisfiability: Theory, Practice, and Beyond Program
Järvisalo, M. (Member of organizing committee)
2021Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020) (Event)
Järvisalo, M. (Programme Committee Member)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts
-
PhD Grading Committee Member for Janne Leppä-Aho
Järvisalo, M. (Member of thesis committee / follow-up group)
2020Activity: Examination types › Member of doctoral thesis committee / follow-up group
-
34th AAAI Conference on Artificial Intelligence (AAAI-20) (Event)
Järvisalo, M. (Programme Committee Member)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts
-
3rd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2020) (Event)
Järvisalo, M. (Programme Committee Member)
2020Activity: Publication peer-review and editorial work types › Peer review of manuscripts