| Complexity results and algorithms for extension enforcement in abstract argumentation JP Wallner, A Niskanen, M Järvisalo Journal of Artificial Intelligence Research 60, 1-40, 2017 | 84 | 2017 |
| Acceptance in incomplete argumentation frameworks D Baumeister, M Järvisalo, D Neugebauer, A Niskanen, J Rothe Artificial Intelligence 295, 103470, 2021 | 72 | 2021 |
| μ-toksia: an efficient abstract argumentation reasoner A Niskanen, M Järvisalo International Conference on Principles of Knowledge Representation and …, 2020 | 59 | 2020 |
| Synthesizing argumentation frameworks from examples A Niskanen, J Wallner, M Järvisalo Journal of Artificial Intelligence Research 66, 503-554, 2019 | 43 | 2019 |
| Extension enforcement under grounded semantics in abstract argumentation A Niskanen, J Wallner, M Järvisalo # PLACEHOLDER_PARENT_METADATA_VALUE#, 178-182, 2018 | 27 | 2018 |
| Optimal Status Enforcement in Abstract Argumentation A Niskanen, JP Wallner, M Järvisalo IJCAI, 1216-1222, 2016 | 22 | 2016 |
| Controllability of control argumentation frameworks A Niskanen, D Neugebauer, M Järvisalo Proceedings of the Twenty-Ninth International Conference on International …, 2021 | 21 | 2021 |
| Smallest explanations and diagnoses of rejection in abstract argumentation A Niskanen, M Järvisalo International Conference on Principles of Knowledge Representation and …, 2020 | 19 | 2020 |
| Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. T Linsbichler, M Maratea, A Niskanen, JP Wallner, S Woltran IJCAI, 1905-1911, 2018 | 19 | 2018 |
| Deciding acceptance in incomplete argumentation frameworks A Niskanen, D Neugebauer, M Järvisalo, J Rothe Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2942-2949, 2020 | 17 | 2020 |
| Algorithms for dynamic argumentation frameworks: An incremental SAT-based approach A Niskanen, M Järvisalo ECAI 2020, 849-856, 2020 | 17 | 2020 |
| Preprocessing argumentation frameworks via replacement patterns W Dvořák, M Järvisalo, T Linsbichler, A Niskanen, S Woltran European Conference on Logics in Artificial Intelligence, 116-132, 2019 | 12 | 2019 |
| MaxSAT-based bi-objective boolean optimization CJ Jabs, J Berg, A Niskanen, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2022 | 10 | 2022 |
| μ-toksia Participating in ICCMA 2019 A Niskanen, M Järvisalo The Third International Competition on Computational Models of Argumentation …, 2019 | 9 | 2019 |
| Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving T Linsbichler, M Maratea, A Niskanen, JP Wallner, S Woltran Artificial Intelligence 307, 103697, 2022 | 8 | 2022 |
| Incremental maximum satisfiability A Niskanen, J Berg, M Järvisalo 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 8 | 2022 |
| Enabling incrementality in the implicit hitting set approach to MaxSAT under changing weights A Niskanen, J Berg, M Järvisalo 27th International Conference on Principles and Practice of Constraint …, 2021 | 8 | 2021 |
| Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report M Järvisalo, T Lehtonen, A Niskanen Arg&App@ KR, 4-10, 2023 | 7 | 2023 |
| MaxSAT Evaluation 2024: Solver and Benchmark Descriptions J Berg, M Järvisalo, R Martins, A Niskanen, T Paxian Department of Computer Science, University of Helsinki, 2024 | 6 | 2024 |
| Strong refinements for hard problems in argumentation dynamics A Niskanen, M Järvisalo ECAI 2020, 841-848, 2020 | 6 | 2020 |
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
