Follow
Johannes Peter Wallner
Johannes Peter Wallner
Institute of Software Technology, Graz University of Technology
Verified email at ist.tugraz.at - Homepage
Title
Cited by
Cited by
Year
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
2012013
Methods for solving reasoning problems in abstract argumentation–a survey
G Charwat, W DvořŠk, SA Gaggl, JP Wallner, S Woltran
Artificial Intelligence, 2015
1552015
Complexity-sensitive decision procedures for abstract argumentation
W DvořŠk, M Jšrvisalo, JP Wallner, S Woltran
Artificial Intelligence 206, 53-78, 2014
1242014
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
H Strass, JP Wallner
Artificial Intelligence 226, 34-74, 2015
702015
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
662013
Foundations of implementations for formal argumentation
F Cerutti, SA Gaggl, M Thimm, J Wallner
IfCoLog Journal of Logics and their Applications 4 (8), 2623-2705, 2017
622017
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
582017
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
562013
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
502015
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
432013
Advanced SAT Techniques for Abstract Argumentation
JP Wallner, G Weissenbacher, S Woltran
Proceedings of the 14th International Workshop on Computational Logic in†…, 2013
362013
Abstract dialectical frameworks. An overview
G Brewka, S Ellmauthaler, H Strass, JP Wallner, S Woltran
IfCoLog Journal of Logics and their Applications 4 (8), 2263-2317, 2017
352017
Synthesizing Argumentation Frameworks from Examples
A Niskanen, JP Wallner, M Jšrvisalo
Proceedings of ECAI, 551-559, 2016
282016
Implicit hitting set algorithms for reasoning beyond NP
P Saikko, JP Wallner, M Jšrvisalo
Fifteenth International Conference on the Principles of Knowledge†…, 2016
262016
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
262015
Some complexity results on inconsistency measurement
M Thimm, JP Wallner
Fifteenth International Conference on the Principles of Knowledge†…, 2016
252016
Explaining Non-Acceptability in Abstract Argumentation
ZG Saribatur, JP Wallner, S Woltran
232020
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
232016
Weighted abstract dialectical frameworks
G Brewka, H Strass, J Wallner, S Woltran
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
22*2018
Abstract dialectical frameworks
G Brewka, S Ellmauthaler, H Strass, JP Wallner, S Woltran
Handbook of Formal Argumentation, 237-285, 2018
192018
The system can't perform the operation now. Try again later.
Articles 1–20