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
International and National Collaboration
Publications and projects within past five years.
-
Computing MUS-Based Inconsistency Measures
Kuhlmann, I., Niskanen, A. & Järvisalo, M., 2023, Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023). Ortiz, M., Martinez, M. V. & Gaggl, S. (eds.). Springer, (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
Design of ICCMA 2023, 5th lnternational Competition on Computational Models of Argumentation: A Preliminary Report
Järvisalo, M., Lehtonen, T. & Niskanen, A., 2023, (Accepted/In press) Proceedings of the First lnternational Workshop on Argumentation and Applications (Arg&App 2023). Cocarascu, O., Doutre, S., Mailly, J-G. & Rago, A. (eds.). CEUR-WS.org, (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
Open AccessFile -
MaxSAT-Based Inconsistency Measurement
Niskanen, A., Kuhlmann, I., Thimm, M. & Järvisalo, M., 2023, Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). IOS PRESS, (Frontiers in Artificial Intelligence and Applications).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
MaxSAT Evaluation 2023: Solver and Benchmark Descriptions
Berg, J. (ed.), Järvisalo, M. (ed.), Martins, R. (ed.) & Niskanen, A. (ed.), 2023, Helsinki: Department of Computer Science, University of Helsinki. 41 p. (Department of Computer Science Series of Publications B; vol. B-2023-2)Research output: Book/Report › Anthology or special issue › Scientific
Open AccessFile -
SAT-based Judgment Aggregation
Conati, A. F., Niskanen, A. & Järvisalo, M., 2023, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023. Agmon, N., Ricci, A. & Yeoh, W. (eds.). ACM, p. 1412-1420 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile
Projects
- 1 Active
-
Inkrementaalisia logiikkapohjaisia menetelmiä yli vaativuusluokan NP
01/09/2022 → 31/08/2025
Project: Adacemy of Finland: Postdoctoral Researcher
Prizes
-
ECAI 2016 Runner-Up Best Student Paper Award
Niskanen, Andreas Johannes Alexand (Recipient), Wallner, Johannes Peter (Recipient) & Järvisalo, Matti (Recipient), 2016
Prize: Prizes and awards
-
ICCMA 2019 Main Track and Dynamic Track: First place
Niskanen, Andreas (Recipient) & Järvisalo, Matti (Recipient), 12 Aug 2019
Prize: Prizes and awards
-
Outstanding Thesis Awards of the Doctoral School in Natural Sciences 2021
Niskanen, Andreas (Recipient), 20 Dec 2021
Prize: Prizes and awards
-
PhD Thesis Award of the Research Foundation for Computer Science 2021
Niskanen, Andreas (Recipient), 25 Aug 2021
Prize: Prizes and awards
Activities
- 2 Academic visit to other institution
-
Heinrich-Heine-Universität Düsseldorf
Andreas Niskanen (Visiting researcher)
10 Jun 2019 → 14 Jun 2019Activity: Visiting an external institution types › Academic visit to other institution
-
Technische Universität Wien
Andreas Niskanen (Visiting researcher)
21 Aug 2017 → 20 Oct 2017Activity: Visiting an external institution types › Academic visit to other institution