| 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 | 78 | 2017 |
| Acceptance in incomplete argumentation frameworks D Baumeister, M Järvisalo, D Neugebauer, A Niskanen, J Rothe Artificial Intelligence 295, 103470, 2021 | 62 | 2021 |
| μ-toksia: an efficient abstract argumentation reasoner A Niskanen, M Järvisalo International Conference on Principles of Knowledge Representation and …, 2020 | 53 | 2020 |
| Synthesizing argumentation frameworks from examples A Niskanen, J Wallner, M Järvisalo Journal of Artificial Intelligence Research 66, 503-554, 2019 | 42 | 2019 |
| Extension enforcement under grounded semantics in abstract argumentation A Niskanen, JP Wallner, M Järvisalo Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 23 | 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 | 18 | 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 | 18 | 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 | 11 | 2019 |
| 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 | 9 | 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 | 7 | 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 | 7 | 2021 |
| Incremental maximum satisfiability A Niskanen, J Berg, M Järvisalo 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 6 | 2022 |
| Strong refinements for hard problems in argumentation dynamics A Niskanen, M Järvisalo ECAI 2020, 841-848, 2020 | 6 | 2020 |
| 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 | 6 | 2016 |
| SAT-based Judgment Aggregation. A Conati, A Niskanen, M Järvisalo AAMAS, 1412-1420, 2023 | 5 | 2023 |
Matti JärvisaloProfessor, University of Helsinki在 helsinki.fi 的电子邮件经过验证
