Johannes Peter Wallner
Johannes Peter Wallner
Institute of Logic and Computation, TU Wien, Austria
Verified email at dbai.tuwien.ac.at - Homepage
TitleCited byYear
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
1142013
Methods for solving reasoning problems in abstract argumentation–a survey
G Charwat, W Dvořák, SA Gaggl, JP Wallner, S Woltran
Artificial Intelligence, 2015
892015
Complexity-sensitive decision procedures for abstract argumentation
W Dvořák, M Järvisalo, JP Wallner, S Woltran
Artificial Intelligence 206, 53-78, 2014
852014
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
512013
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
H Strass, JP Wallner
Artificial Intelligence 226, 34-74, 2015
442015
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
402013
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
282013
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
222015
Advanced SAT Techniques for Abstract Argumentation
JP Wallner, G Weissenbacher, S Woltran
Proceedings of the 14th International Workshop on Computational Logic in …, 2013
212013
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation.
JP Wallner, A Niskanen, M Järvisalo
AAAI 16, 1088-1094, 2016
172016
Implementing Abstract Argumentation A Survey
G Charwat, W Dvořák, SA Gaggl, JP Wallner, S Woltran
172013
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
142012
Abstract solvers for dung’s argumentation frameworks
R Brochenin, T Linsbichler, M Maratea, JP Wallner, S Woltran
International Workshop on Theorie and Applications of Formal Argumentation …, 2015
132015
Admissibility in the Abstract Dialectical Framework
S Polberg, JP Wallner, S Woltran
Proceedings of the 14th International Workshop on Computational Logic in …, 2013
112013
Some Complexity Results on Inconsistency Measurement.
M Thimm, JP Wallner
KR, 114-124, 2016
102016
Synthesizing Argumentation Frameworks from Examples
A Niskanen, JP Wallner, M Järvisalo
Proceedings of ECAI, 551-559, 2016
102016
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
102014
Implicit Hitting Set Algorithms for Reasoning Beyond NP.
P Saikko, JP Wallner, M Järvisalo
KR, 104-113, 2016
92016
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
92015
Evaluating Abstract Dialectical Frameworks with ASP
S Ellmauthaler, JP Wallner
Proceedings of the Fourth International Conference on Computational Models …, 2012
92012
The system can't perform the operation now. Try again later.
Articles 1–20