Travelled to:
1 × Austria
1 × Italy
Collaborated with:
H.Strass S.Woltran W.Dvorák M.Järvisalo S.A.Gaggl N.Manthey A.Ronca
Talks about:
abstract (3) argument (2) complex (2) framework (1) procedur (1) fixpoint (1) approxim (1) program (1) dialect (1) theori (1)
Person: Johannes Peter Wallner
DBLP: Wallner:Johannes_Peter
Contributed to:
Wrote 3 papers:
- ICLP-J-2015-GagglMRWW #encoding #programming
- Improved answer-set programming encodings for abstract argumentation (SAG, NM, AR, JPW, SW), pp. 434–448.
- KR-2014-StrassW #approximate #complexity #fixpoint #framework
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (HS, JPW).
- KR-2012-DvorakJWW
- Complexity-Sensitive Decision Procedures for Abstract Argumentation (WD, MJ, JPW, SW).