Research output per year
Research output per year
Personal profile
Education/Academic qualification
Computer Science, Doctor of Philosophy, Faculty of Science
Award Date: 11 Nov 2020
Computer Science, Master of Science, Faculty of Science
Award Date: 21 Dec 2016
Mathematics, Bachelor of Science, Faculty of Science
Award Date: 20 May 2016
Fields of Science
- 113 Computer and information sciences
- artificial intelligence
- knowledge representation
- boolean satisfiability
- abstract argumentation
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Competitions and Empirical Evaluations in Automated Reasoning (Dagstuhl Seminar 25441)
Fichte, J. K., Järvisalo, M., Niemetz, A., Niskanen, A. & Tack, G., 23 Jun 2026, p. 135-154. 20 p.Research output: Conference materials › Other conference material
Open Access -
Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT
Conati, A., Niskanen, A., de Haan, R. & Jarvisalo, M., 2025, Proceedings Of The 24th International Conference On Autonomous Agents And Multiagent Systems, Aamas 2025. ASSOC COMPUTING MACHINERY, p. 510-518 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability
Feyzbakhsh Rankooh, M., Niskanen, A. & Järvisalo, M., 25 Nov 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conference on Artificial Intelligence, Inc, p. 783-793 11 p. (International Conference on Principles of Knowledge Representation and Reasoning proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
ICCMA 2023: 5th International Competition on Computational Models of Argumentation
Järvisalo, M., Lehtonen, T. & Niskanen, A., May 2025, In: Artificial Intelligence. 342, 33 p., 104311.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Reasoning in Assumption-Based Argumentation via SAT
Niskanen, A., Feyzbakhsh Rankooh, M., Lehtonen, T. & Järvisalo, M., 25 Nov 2025, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conference on Artificial Intelligence, Inc, p. 707-717 11 p. ( International Conference on Principles of Knowledge Representation and Reasoning proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile
-
LUMI AI Factory - Service Center
Heljanko, K. T. (Project manager), Dönges, S. I. (Participant), Lappi, O. J. (Participant), Medlar, A. (Participant), Niskanen, A. (Participant), Robertson, F. R. (Participant), Rodriguez Beltran, S. (Participant), Sarapisto, T. (Participant), Satrio, N. R. B. (Participant), Tong, H. (Participant) & Wang, Y. (Participant)
European Commission, CSC-Tieteen tietotekniikan keskus Oy
01/03/2025 → 29/02/2028
Project: EU Horizon Europe Joint Undertaking (JU-RIA)
-
Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP
Niskanen, A. (Project manager)
01/09/2022 → 31/08/2025
Project: Research Council of Finland: Postdoctoral Researcher
Prizes
-
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
-
ICCMA 2019 Main Track and Dynamic Track: First place
Niskanen, A. (Recipient) & Järvisalo, M. (Recipient), 12 Aug 2019
Prize: Prizes and awards
-
Outstanding Thesis Awards of the Doctoral School in Natural Sciences 2021
Niskanen, A. (Recipient), 20 Dec 2021
Prize: Prizes and awards
-
PhD Thesis Award of the Research Foundation for Computer Science 2021
Niskanen, A. (Recipient), 25 Aug 2021
Prize: Prizes and awards
Activities
- 4 Academic visit to other institution
-
University of Oxford
Niskanen, A. (Visiting researcher)
6 Nov 2023 → 10 Nov 2023Activity: Visiting an external institution types › Academic visit to other institution
-
University of Amsterdam
Niskanen, A. (Visiting researcher)
27 Nov 2023 → 1 Dec 2023Activity: Visiting an external institution types › Academic visit to other institution
-
Heinrich-Heine-Universität Düsseldorf
Niskanen, A. (Visiting researcher)
10 Jun 2019 → 14 Jun 2019Activity: Visiting an external institution types › Academic visit to other institution
-
Technische Universität Wien
Niskanen, A. (Visiting researcher)
21 Aug 2017 → 20 Oct 2017Activity: Visiting an external institution types › Academic visit to other institution