Johannes Peter Wallner

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 63

Top Topics

Abstract Argumentation

Top Venues

Publications

Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner
Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation. RATIO (2024)
Andrei Popescu, Johannes Peter Wallner
Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach. CoRR (2024)
Iosif Apostolakis, Zeynep G. Saribatur, Johannes Peter Wallner
Abstracting Assumptions in Structured Argumentation. AAMAS (2024)
Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter Wallner
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation. CoRR (2024)
Daphne Odekerken, Tuomo Lehtonen, AnneMarie Borg, Johannes Peter Wallner, Matti Järvisalo
Argumentative Reasoning in ASPIC+ under Incomplete Information. KR (2023)
Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. KR (2023)
Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner
Ranking-based Semantics for Assumption-based Argumentation. FCR@KI (2023)
Andrei Popescu, Johannes Peter Wallner
Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. JELIA (2023)
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. LPNMR (2022)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation. COMMA (2022)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. KR (2022)
Adrian Haret, Johannes Peter Wallner
An Axiomatic Approach to Revising Preferences. AAAI (2022)
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Artif. Intell. 307 (2022)
Markus Ulbricht, Johannes Peter Wallner
Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation. COMMA (2022)
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. COMMA (2022)
Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner
Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity. NMR (2022)
Markus Ulbricht, Johannes Peter Wallner
Strong Explanations in Abstract Argumentation. AAAI (2021)
Wolfgang Dvorák, Matthias König, Johannes Peter Wallner, Stefan Woltran
Aspartix-V21. CoRR (2021)
Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner
Enforcement in Formal Argumentation. FLAP 8 (6) (2021)
Zeynep Gözen Saribatur, Johannes Peter Wallner
Existential Abstraction on Argumentation Frameworks via Clustering. KR (2021)
Adrian Haret, Johannes Peter Wallner
An AGM Approach to Revising Preferences. CoRR (2021)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. Theory Pract. Log. Program. 21 (6) (2021)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. CoRR (2021)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation. J. Artif. Intell. Res. 71 (2021)
Jan Maly, Johannes Peter Wallner
Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations. AAAI (2021)
Wolfgang Dvorák, Johannes Peter Wallner
Computing Strongly Admissible Sets. COMMA (2020)
Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
The ASPARTIX System Suite. COMMA (2020)
Zeynep Gozen Saribatur, Johannes Peter Wallner, Stefan Woltran
Explaining Non-Acceptability in Abstract Argumentation. ECAI (2020)
Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner
Labelling-based Algorithms for SETAFs. SAFA@COMMA (2020)
Adrian Haret, Martin Lackner, Andreas Pfandler, Johannes Peter Wallner
Proportional Belief Merging. AAAI (2020)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. KR (2020)
Johannes Peter Wallner
Structural constraints for dynamic operators in abstract argumentation. Argument Comput. 11 (1-2) (2020)
Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. FoIKS (2020)
Matthias Thimm, Johannes Peter Wallner
On the complexity of inconsistency measurement. Artif. Intell. 275 (2019)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Synthesizing Argumentation Frameworks from Examples. J. Artif. Intell. Res. 66 (2019)
Adrian Haret, Johannes Peter Wallner
Manipulating Skeptical and Credulous Consequences When Merging Beliefs. JELIA (2019)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings. AAAI (2019)
Johannes Peter Wallner
Structural Constraints for Dynamic Operators in Abstract Argumentation. COMMA (2018)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Extension Enforcement under Grounded Semantics in Abstract Argumentation. KR (2018)
Adrian Haret, Johannes Peter Wallner, Stefan Woltran
Two Sides of the Same Coin: Belief Revision and Enforcing Arguments. IJCAI (2018)
Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Weighted Abstract Dialectical Frameworks: Extended and Revised Report. CoRR (2018)
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. IJCAI (2018)
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran
Abstract solvers for Dung's argumentation frameworks. Argument Comput. 9 (1) (2018)
Gerhard Brewka, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Weighted Abstract Dialectical Frameworks. AAAI (2018)
Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. J. Artif. Intell. Res. 60 (2017)
Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation. FLAP 4 (8) (2017)
Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo
From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning. ECSQARU (2017)
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview. FLAP 4 (8) (2017)
Matthias Thimm, Johannes Peter Wallner
Some Complexity Results on Inconsistency Measurement. KR (2016)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Synthesizing Argumentation Frameworks from Examples. ECAI (2016)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Optimal Status Enforcement in Abstract Argumentation. IJCAI (2016)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Pakota: A System for Enforcement in Abstract Argumentation. JELIA (2016)
Paul Saikko, Johannes Peter Wallner, Matti Järvisalo
Implicit Hitting Set Algorithms for Reasoning Beyond NP. KR (2016)
Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. AAAI (2016)
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved answer-set programming encodings for abstract argumentation. Theory Pract. Log. Program. 15 (4-5) (2015)
Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in abstract dialectical frameworks using quantified Boolean formulas. Argument Comput. 6 (2) (2015)
Wolfgang Dvorák, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner
Reduction-Based Approaches to Implement Modgil's Extended Argumentation Frameworks. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
On the Parameterized Complexity of Belief Revision. IJCAI (2015)
Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Methods for solving reasoning problems in abstract argumentation - A survey. Artif. Intell. 220 (2015)
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). IJCAI (2015)
Hannes Strass, Johannes Peter Wallner
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory. Artif. Intell. 226 (2015)
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran
Abstract Solvers for Dung's Argumentation Frameworks. TAFA (2015)
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation. CoRR (2015)
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Complexity-sensitive decision procedures for abstract argumentation. Artif. Intell. 206 (2014)
Martin Diller, Johannes Peter Wallner, Stefan Woltran
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas. COMMA (2014)
Hannes Strass, Johannes Peter Wallner
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. KR (2014)
Günther Charwat, Johannes Peter Wallner, Stefan Woltran
Utilizing ASP for Generating and Visualizing Argumentation Frameworks CoRR (2013)
Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran
Advanced SAT Techniques for Abstract Argumentation. CLIMA (2013)
Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran
ARVis: Visualizing Relations between Answer Sets. LPNMR (2013)
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
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR (2013)
Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran
Admissibility in the Abstract Dialectical Framework. CLIMA (2013)
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
VCWC: A Versioning Competition Workflow Compiler. LPNMR (2013)
Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited. IJCAI (2013)
Axel Polleres, Johannes Peter Wallner
On the relation between SPARQL1.1 and Answer Set Programming. J. Appl. Non Class. Logics 23 (1-2) (2013)
Stefan Ellmauthaler, Johannes Peter Wallner
Evaluating Abstract Dialectical Frameworks with ASP. COMMA (2012)
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Complexity-Sensitive Decision Procedures for Abstract Argumentation. KR (2012)
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems CoRR (2011)
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. INAP/WLP (2011)