Следене
Johannes Peter Wallner
Заглавие
Позовавания
Позовавания
Година
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
2462013
Methods for solving reasoning problems in abstract argumentation–a survey
G Charwat, W Dvořák, SA Gaggl, JP Wallner, S Woltran
Artificial Intelligence, 2015
2112015
Complexity-sensitive decision procedures for abstract argumentation
W Dvořák, M Järvisalo, JP Wallner, S Woltran
Artificial Intelligence 206, 53-78, 2014
1542014
Foundations of implementations for formal argumentation
F Cerutti, SA Gaggl, M Thimm, J Wallner
Journal of Applied Logics 4 (8), 2623-2705, 2017
1182017
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
872017
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
H Strass, JP Wallner
Artificial Intelligence 226, 34-74, 2015
862015
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
752013
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
582015
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
582013
Abstract dialectical frameworks. An overview
G Brewka, S Ellmauthaler, H Strass, JP Wallner, S Woltran
Journal of Applied Logics 4 (8), 2263-2317, 2017
522017
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
522013
Explaining non-acceptability in abstract argumentation
ZG Saribatur, JP Wallner, S Woltran
ECAI 2020, 881-888, 2020
512020
Synthesizing Argumentation Frameworks from Examples
A Niskanen, JP Wallner, M Järvisalo
Proceedings of ECAI, 551-559, 2016
432016
Advanced SAT Techniques for Abstract Argumentation
JP Wallner, G Weissenbacher, S Woltran
Proceedings of the 14th International Workshop on Computational Logic in …, 2013
402013
On the complexity of inconsistency measurement
M Thimm, JP Wallner
Artificial Intelligence 275, 411-456, 2019
352019
Implicit Hitting Set Algorithms for Reasoning Beyond NP.
P Saikko, JP Wallner, M Järvisalo
KR, 104-113, 2016
352016
Strong explanations in abstract argumentation
M Ulbricht, JP Wallner
Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6496-6504, 2021
332021
Declarative algorithms and complexity results for assumption-based argumentation
T Lehtonen, JP Wallner, M Järvisalo
Journal of Artificial Intelligence Research 71, 265-318, 2021
302021
Weighted abstract dialectical frameworks
G Brewka, H Strass, J Wallner, S Woltran
Proceedings of the AAAI conference on artificial intelligence 32 (1), 2018
302018
ASPARTIX-V19-an answer-set programming based system for abstract argumentation
W Dvořák, A Rapberger, JP Wallner, S Woltran
International Symposium on Foundations of Information and Knowledge Systems …, 2020
292020
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20