| 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 | 68 | 2017 |
| Synthesizing argumentation frameworks from examples A Niskanen, J Wallner, M Järvisalo Journal of Artificial Intelligence Research 66, 503-554, 2019 | 37 | 2019 |
| Acceptance in incomplete argumentation frameworks D Baumeister, M Järvisalo, D Neugebauer, A Niskanen, J Rothe Artificial Intelligence 295, 103470, 2021 | 32 | 2021 |
| µ-toksia: An efficient abstract argumentation reasoner A Niskanen, M Järvisalo Proceedings of the International Conference on Principles of Knowledge …, 2020 | 30 | 2020 |
| 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 Joint Conference on Artificial …, 2021 | 19 | 2021 |
| 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 | 17 | 2018 |
| Extension enforcement under grounded semantics in abstract argumentation A Niskanen, JP Wallner, M Järvisalo Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 16 | 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 | 15 | 2020 |
| Smallest explanations and diagnoses of rejection in abstract argumentation A Niskanen, M Järvisalo Proceedings of the International Conference on Principles of Knowledge …, 2020 | 14 | 2020 |
| Preprocessing argumentation frameworks via replacement patterns W Dvořák, M Järvisalo, T Linsbichler, A Niskanen, S Woltran Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 10 | 2019 |
| Algorithms for dynamic argumentation frameworks: An incremental SAT-based approach A Niskanen, M Järvisalo ECAI 2020, 849-856, 2020 | 7 | 2020 |
| μ-toksia Participating in ICCMA 2019 A Niskanen, M Järvisalo The Third International Competition on Computational Models of Argumentation …, 2019 | 7 | 2019 |
| Pakota: A system for enforcement in abstract argumentation A Niskanen, JP Wallner, M Järvisalo European Conference on Logics in Artificial Intelligence, 385-400, 2016 | 7 | 2016 |
| Strong refinements for hard problems in argumentation dynamics A Niskanen, M Järvisalo ECAI 2020, 841-848, 2020 | 6 | 2020 |
| 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 | 4 | 2021 |
| SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. T Lehtonen, A Niskanen, M Järvisalo COMMA, 193-204, 2018 | 4 | 2018 |
| 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 | 3 | 2022 |
| MaxSAT-Based Bi-Objective Boolean Optimization C Jabs, J Berg, A Niskanen, M Järvisalo 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 3 | 2022 |
| Computational approaches to dynamics and uncertainty in abstract argumentation A Niskanen Series of publications A/Department of Computer Science, University of Helsinki, 2020 | 3 | 2020 |
Matti JärvisaloProfessor, University of HelsinkiПотвърден имейл адрес: helsinki.fi
