| Abstract Dialectical Frameworks Revisited G Brewka, S Ellmauthaler, H Strass, JP Wallner, S Woltran Proceedings of the Twenty-Third International Joint Conference on Artificial …, 2013 | 121 | 2013 |
| Methods for solving reasoning problems in abstract argumentation–a survey G Charwat, W Dvořák, SA Gaggl, JP Wallner, S Woltran Artificial Intelligence, 2015 | 90 | 2015 |
| Complexity-sensitive decision procedures for abstract argumentation W Dvořák, M Järvisalo, JP Wallner, S Woltran Artificial Intelligence 206, 53-78, 2014 | 87 | 2014 |
| The Fourth Answer Set Programming Competition: Preliminary Report⋆ M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ... Proceedings of the 12th International Conference on Logic Programming and …, 2013 | 54 | 2013 |
| Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory H Strass, JP Wallner Artificial Intelligence 226, 34-74, 2015 | 46 | 2015 |
| Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems W Dvořák, SA Gaggl, JP Wallner, S Woltran Proceedings of the Nineteenth International Conference on Applications of …, 2013 | 41 | 2013 |
| On the relation between SPARQL1. 1 and answer set programming A Polleres, JP Wallner Journal of Applied Non-Classical Logics 23 (1-2), 159-212, 2013 | 29 | 2013 |
| 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 | 24 | 2017 |
| Advanced SAT Techniques for Abstract Argumentation JP Wallner, G Weissenbacher, S Woltran Proceedings of the 14th International Workshop on Computational Logic in …, 2013 | 23 | 2013 |
| Improved answer-set programming encodings for abstract argumentation SA Gaggl, N Manthey, A Ronca, JP Wallner, S Woltran Theory and Practice of Logic Programming 15 (4-5), 434-448, 2015 | 22 | 2015 |
| Implementing Abstract Argumentation A Survey G Charwat, W Dvořák, SA Gaggl, JP Wallner, S Woltran | 16 | 2013 |
| Utilizing ASP for Generating and Visualizing Argumentation Frameworks G Charwat, JP Wallner, S Woltran Proceedings of the Fifth Workshop on Answer Set Programming and Other …, 2012 | 14 | 2012 |
| Some complexity results on inconsistency measurement M Thimm, JP Wallner Fifteenth International Conference on the Principles of Knowledge …, 2016 | 13 | 2016 |
| Implicit hitting set algorithms for reasoning beyond NP P Saikko, JP Wallner, M Järvisalo Fifteenth International Conference on the Principles of Knowledge …, 2016 | 11 | 2016 |
| Abstract solvers for dung’s argumentation frameworks R Brochenin, T Linsbichler, M Maratea, JP Wallner, S Woltran International Workshop on Theory and Applications of Formal Argumentation, 40-58, 2015 | 11 | 2015 |
| Synthesizing Argumentation Frameworks from Examples A Niskanen, JP Wallner, M Järvisalo Proceedings of ECAI, 551-559, 2016 | 10 | 2016 |
| Admissibility in the Abstract Dialectical Framework S Polberg, JP Wallner, S Woltran Proceedings of the 14th International Workshop on Computational Logic in …, 2013 | 10 | 2013 |
| Reduction-based approaches to implement Modgil’s extended argumentation frameworks W Dvořák, SA Gaggl, T Linsbichler, JP Wallner Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015 | 9 | 2015 |
| Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas M Diller, JP Wallner, S Woltran Proceedings of the 5th International Conference on Computational Models of …, 2014 | 9 | 2014 |
| Evaluating Abstract Dialectical Frameworks with ASP S Ellmauthaler, JP Wallner Proceedings of the Fourth International Conference on Computational Models …, 2012 | 9 | 2012 |
Matti JärvisaloAssociate Professor, University of HelsinkiVerified email at helsinki.fi