default search action
Johannes Peter Wallner
Person information
- affiliation: TU Graz, Graz, Austria
- affiliation (former): University of Helsinki, HIIT / Department of Computer Science, Finland
- affiliation (former): TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c59]Iosif Apostolakis, Zeynep G. Saribatur, Johannes Peter Wallner:
Abstracting Assumptions in Structured Argumentation. AAMAS 2024: 2132-2134 - [c58]Johannes Peter Wallner:
Reasoning in Structured Argumentation: Assumption-based Argumentation and ASPIC+. SAFA@COMMA 2024: 7-10 - [c57]Atefeh Keshavarzi Zafarghandi
, Johannes Peter Wallner
Complexity of Semi-Stable Semantics in Abstract Dialectical Frameworks. COMMA 2024: 109-120 - [c56]Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter Wallner:
On Computing Admissibility in ABA. COMMA 2024: 121-132 - [c55]Johannes Peter Wallner
Value-Based Reasoning in ASPIC+. COMMA 2024: 325-336 - [c54]Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter Wallner:
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation. IJCAI 2024: 3457-3465 - [c53]Johannes Peter Wallner:
Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability. IJCAI 2024: 8583-8588 - [c52]Iosif Apostolakis, Zeynep G. Saribatur
A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. LPNMR 2024: 228-234 - [c51]Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner:
Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation. RATIO 2024: 202-220 - [i9]Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes Peter Wallner:
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation. CoRR abs/2404.11431 (2024) - [i8]Andrei Popescu, Johannes Peter Wallner:
Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach. CoRR abs/2407.05058 (2024) - 2023
- [c50]Andrei Popescu
Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. JELIA 2023: 192-208 - [c49]Kenneth Skiba, Matthias Thimm, Johannes Peter Wallner:
Ranking-based Semantics for Assumption-based Argumentation. FCR@KI 2023: 44-52 - [c48]Tuomo Lehtonen
Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. KR 2023: 440-450 - [c47]Daphne Odekerken
Argumentative Reasoning in ASPIC+ under Incomplete Information. KR 2023: 531-541 - 2022
- [j17]Thomas Linsbichler, Marco Maratea, Andreas Niskanen
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Artif. Intell. 307: 103697 (2022) - [c46]Adrian Haret, Johannes Peter Wallner:
An Axiomatic Approach to Revising Preferences. AAAI 2022: 5676-5683 - [c45]Tuomo Lehtonen
Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation. COMMA 2022: 236-247 - [c44]Markus Ulbricht
Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation. COMMA 2022: 320-331 - [c43]Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner:
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. COMMA 2022: 355-356 - [c42]Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo:
Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. KR 2022 - [c41]Stefan Ellmauthaler
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. LPNMR 2022: 177-189 - [c40]Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner:
Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity. NMR 2022: 92-103 - [e1]Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes Peter Wallner:
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, United Kingdom, September 13, 2022. CEUR Workshop Proceedings 3236, CEUR-WS.org 2022 [contents] - 2021
- [j16]Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner:
Enforcement in Formal Argumentation. FLAP 8(6): 1623-1678 (2021) - [j15]Tuomo Lehtonen
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation. J. Artif. Intell. Res. 71: 265-318 (2021) - [j14]Tuomo Lehtonen
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. Theory Pract. Log. Program. 21(6): 717-734 (2021) - [c39]Jan Maly, Johannes Peter Wallner:
Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations. AAAI 2021: 6435-6443 - [c38]Markus Ulbricht, Johannes Peter Wallner:
Strong Explanations in Abstract Argumentation. AAAI 2021: 6496-6504 - [c37]Zeynep G. Saribatur, Johannes Peter Wallner:
Existential Abstraction on Argumentation Frameworks via Clustering. KR 2021: 549-559 - [i7]Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo:
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. CoRR abs/2108.04192 (2021) - [i6]Wolfgang Dvorák, Matthias König, Johannes Peter Wallner, Stefan Woltran:
Aspartix-V21. CoRR abs/2109.03166 (2021) - [i5]Adrian Haret, Johannes Peter Wallner:
An AGM Approach to Revising Preferences. CoRR abs/2112.14243 (2021) - 2020
- [j13]Johannes Peter Wallner:
Structural constraints for dynamic operators in abstract argumentation. Argument Comput. 11(1-2): 151-190 (2020) - [c36]Adrian Haret, Martin Lackner, Andreas Pfandler, Johannes Peter Wallner:
Proportional Belief Merging. AAAI 2020: 2822-2829 - [c35]Wolfgang Dvorák, Anna Rapberger, Johannes Peter Wallner:
Labelling-based Algorithms for SETAFs. SAFA@COMMA 2020: 34-46 - [c34]Wolfgang Dvorák, Johannes Peter Wallner:
Computing Strongly Admissible Sets. COMMA 2020: 179-190 - [c33]Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes Peter Wallner, Stefan Woltran:
The ASPARTIX System Suite. COMMA 2020: 461-462 - [c32]Zeynep G. Saribatur, Johannes Peter Wallner, Stefan Woltran:
Explaining Non-Acceptability in Abstract Argumentation. ECAI 2020: 881-888 - [c31]Wolfgang Dvorák
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. FoIKS 2020: 79-89 - [c30]Tuomo Lehtonen
An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. KR 2020: 636-646
2010 – 2019
- 2019
- [j12]Matthias Thimm
On the complexity of inconsistency measurement. Artif. Intell. 275: 411-456 (2019) - [j11]Andreas Niskanen
Synthesizing Argumentation Frameworks from Examples. J. Artif. Intell. Res. 66: 503-554 (2019) - [c29]Tuomo Lehtonen
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings. AAAI 2019: 2938-2945 - [c28]Adrian Haret
Manipulating Skeptical and Credulous Consequences When Merging Beliefs. JELIA 2019: 133-150 - 2018
- [j10]Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran:
Abstract solvers for Dung's argumentation frameworks. Argument Comput. 9(1): 41-72 (2018) - [c27]Gerhard Brewka, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Weighted Abstract Dialectical Frameworks. AAAI 2018: 1779-1786 - [c26]Johannes Peter Wallner:
Structural Constraints for Dynamic Operators in Abstract Argumentation. COMMA 2018: 73-84 - [c25]Adrian Haret, Johannes Peter Wallner, Stefan Woltran:
Two Sides of the Same Coin: Belief Revision and Enforcing Arguments. IJCAI 2018: 1854-1860 - [c24]Thomas Linsbichler, Marco Maratea, Andreas Niskanen
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. IJCAI 2018: 1905-1911 - [c23]Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo:
Extension Enforcement under Grounded Semantics in Abstract Argumentation. KR 2018: 178-183 - [i4]Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Weighted Abstract Dialectical Frameworks: Extended and Revised Report. CoRR abs/1806.07717 (2018) - 2017
- [j9]Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Abstract Dialectical Frameworks. An Overview. FLAP 4(8) (2017) - [j8]Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner:
Foundations of Implementations for Formal Argumentation. FLAP 4(8) (2017) - [j7]Johannes Peter Wallner, Andreas Niskanen
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. J. Artif. Intell. Res. 60: 1-40 (2017) - [c22]Tuomo Lehtonen
From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning. ECSQARU 2017: 57-68 - 2016
- [c21]Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo:
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. AAAI 2016: 1088-1094 - [c20]Andreas Niskanen
Synthesizing Argumentation Frameworks from Examples. ECAI 2016: 551-559 - [c19]Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo:
Optimal Status Enforcement in Abstract Argumentation. IJCAI 2016: 1216-1222 - [c18]Andreas Niskanen
Pakota: A System for Enforcement in Abstract Argumentation. JELIA 2016: 385-400 - [c17]Paul Saikko, Johannes Peter Wallner, Matti Järvisalo:
Implicit Hitting Set Algorithms for Reasoning Beyond NP. KR 2016: 104-113 - [c16]Matthias Thimm, Johannes Peter Wallner:
Some Complexity Results on Inconsistency Measurement. KR 2016: 114-124 - 2015
- [j6]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: 28-63 (2015) - [j5]Hannes Strass, Johannes Peter Wallner:
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory. Artif. Intell. 226: 34-74 (2015) - [j4]Martin Diller
Reasoning in abstract dialectical frameworks using quantified Boolean formulas. Argument Comput. 6(2): 149-177 (2015) - [j3]Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca
Improved answer-set programming encodings for abstract argumentation. Theory Pract. Log. Program. 15(4-5): 434-448 (2015) - [c15]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: 249-264 - [c14]Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran:
On the Parameterized Complexity of Belief Revision. IJCAI 2015: 3149-3155 - [c13]Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran:
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). IJCAI 2015: 4173-4177 - [c12]Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran:
Abstract Solvers for Dung's Argumentation Frameworks. TAFA 2015: 40-58 - [i3]Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran:
Improved Answer-Set Programming Encodings for Abstract Argumentation. CoRR abs/1507.06689 (2015) - 2014
- [j2]Wolfgang Dvorák
Complexity-sensitive decision procedures for abstract argumentation. Artif. Intell. 206: 53-78 (2014) - [c11]Martin Diller, Johannes Peter Wallner, Stefan Woltran:
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas. COMMA 2014: 241-252 - [c10]Hannes Strass, Johannes Peter Wallner:
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. KR 2014 - 2013
- [j1]Axel Polleres
On the relation between SPARQL1.1 and Answer Set Programming. J. Appl. Non Class. Logics 23(1-2): 159-212 (2013) - [c9]Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran:
Admissibility in the Abstract Dialectical Framework. CLIMA 2013: 102-118 - [c8]Johannes Peter Wallner, Georg Weissenbacher
Advanced SAT Techniques for Abstract Argumentation. CLIMA 2013: 138-154 - [c7]Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran:
Abstract Dialectical Frameworks Revisited. IJCAI 2013: 803-809 - [c6]Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR 2013: 42-53 - [c5]Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran:
ARVis: Visualizing Relations between Answer Sets. LPNMR 2013: 73-78 - [c4]Günther Charwat, Giovambattista Ianni, Thomas Krennwallner
VCWC: A Versioning Competition Workflow Compiler. LPNMR 2013: 233-238 - [i2]Günther Charwat, Johannes Peter Wallner, Stefan Woltran:
Utilizing ASP for Generating and Visualizing Argumentation Frameworks. CoRR abs/1301.1388 (2013) - 2012
- [c3]Stefan Ellmauthaler, Johannes Peter Wallner:
Evaluating Abstract Dialectical Frameworks with ASP. COMMA 2012: 505-506 - [c2]Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran:
Complexity-Sensitive Decision Procedures for Abstract Argumentation. KR 2012 - 2011
- [c1]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: 114-133 - [i1]Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran:
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. CoRR abs/1108.4942 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: