Johannes Peter Wallner

19 papers A* 5B 3C 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2015 — conf
Abstract Solvers for Dung's Argumentation Frameworks.
TAFA
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran
2015 J jnl
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.
Artif. Intell.
Hannes Strass, Johannes Peter Wallner
2015 A* conf
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract).
IJCAI
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
2015 A* conf
On the Parameterized Complexity of Belief Revision.
IJCAI
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
2015 — conf
Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Wolfgang Dvorák, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner
2014 A* conf
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory.
KR
Hannes Strass, Johannes Peter Wallner
2014 J jnl
Complexity-sensitive decision procedures for abstract argumentation.
Artif. Intell.
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
2014 C conf
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas.
COMMA
Martin Diller, Johannes Peter Wallner, Stefan Woltran
2013 B conf
ARVis: Visualizing Relations between Answer Sets.
LPNMR
Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran
2013 A* conf
Abstract Dialectical Frameworks Revisited.
IJCAI
Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
2013 — conf
Admissibility in the Abstract Dialectical Framework.
CLIMA
Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran
2013 — conf
Advanced SAT Techniques for Abstract Argumentation.
CLIMA
Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran
2013 J jnl
On the relation between SPARQL1.1 and Answer Set Programming.
J. Appl. Non Class. Logics
Axel Polleres, Johannes Peter Wallner
2013 B conf
The Fourth Answer Set Programming Competition: Preliminary Report.
LPNMR
Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2013 J jnl
Utilizing ASP for Generating and Visualizing Argumentation Frameworks
CoRR
Günther Charwat, Johannes Peter Wallner, Stefan Woltran
2013 B conf
VCWC: A Versioning Competition Workflow Compiler.
LPNMR
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2012 A* conf
Complexity-Sensitive Decision Procedures for Abstract Argumentation.
KR
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
2012 C conf
Evaluating Abstract Dialectical Frameworks with ASP.
COMMA
Stefan Ellmauthaler, Johannes Peter Wallner
2011 — conf
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
INAP/WLP
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran