Johannes P. Wallner

77 papers A* 24A 3B 5C 10Misc 1Journal 23Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Simplifying Argumentation Frameworks by Clustering Structural Patterns. FoIKS Iosif Apostolakis, Johannes P. Wallner
2026	A*	`conf`	Under-Approximating Semantics in Clustered Assumption-Based Argumentation. AAAI Iosif Apostolakis, Johannes P. Wallner
2026	—	`conf`	Utilizing Binary Decision Diagrams for Compiling Argumentation Frameworks. FoIKS Michael Baier, Johannes P. Wallner
2025	J	`jnl`	Argumentative Reasoning in ASPIC+ under Incomplete Information. J. Artif. Intell. Res. Daphne Odekerken, Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2025	—	`conf`	Completing Structured Arguments in Assumption-Based Argumentation. JELIA (1) Andrei Popescu, Johannes P. Wallner
2025	Misc	`conf`	Dynamic Programming Algorithms for Probabilistic Bipolar Argumentation Frameworks. SAC Andrei Popescu, Johannes P. Wallner
2025	—	`conf`	Sixth International Competition on Computational Models of Argumentation: Preliminary Report. Arg&App 2025 Iosif Apostolakis, Andrei Popescu, Johannes P. Wallner
2024	B	`conf`	A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. LPNMR Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner
2024	A	`conf`	Abstracting Assumptions in Structured Argumentation. AAMAS Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner
2024	A*	`conf`	Abstraction in Assumption-based Argumentation. KR Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner
2024	A*	`conf`	Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach. KR Andrei Popescu, Johannes P. Wallner
2024	J	`jnl`	Advancing Algorithmic Approaches to Probabilistic Argumentation under the Constellation Approach. CoRR Andrei Popescu, Johannes P. Wallner
2024	A*	`conf`	Complexity Results and Algorithms for Preferential Argumentative Reasoning in ASPIC+. KR Tuomo Lehtonen, Daphne Odekerken, Johannes P. Wallner, Matti Järvisalo
2024	C	`conf`	Complexity of Semi-Stable Semantics in Abstract Dialectical Frameworks. COMMA Atefeh Keshavarzi Zafarghandi, Johannes P. Wallner
2024	A*	`conf`	Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability. IJCAI Johannes P. Wallner
2024	A*	`conf`	Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation. IJCAI Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner
2024	J	`jnl`	Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation. CoRR Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner
2024	C	`conf`	On Computing Admissibility in ABA. COMMA Tuomo Lehtonen, Anna Rapberger, Francesca Toni, Markus Ulbricht, Johannes P. Wallner
2024	—	`conf`	Ranking Transition-Based Medical Recommendations Using Assumption-Based Argumentation. RATIO Kenneth Skiba, Matthias Thimm, Johannes P. Wallner
2024	—	`conf`	Reasoning in Structured Argumentation: Assumption-based Argumentation and ASPIC+. SAFA Johannes P. Wallner
2024	C	`conf`	Value-Based Reasoning in ASPIC COMMA Johannes P. Wallner, Adam Z. Wyner, Tomasz Zurek
2023	A*	`conf`	Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity. KR Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes P. Wallner
2023	A*	`conf`	Argumentative Reasoning in ASPIC+ under Incomplete Information. KR Daphne Odekerken, Tuomo Lehtonen, Annemarie Borg, Johannes P. Wallner, Matti Järvisalo
2023	—	`conf`	Ranking-based Semantics for Assumption-based Argumentation. FCR@KI Kenneth Skiba, Matthias Thimm, Johannes P. Wallner
2023	B	`conf`	Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. JELIA Andrei Popescu, Johannes P. Wallner
2022	C	`conf`	ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. COMMA Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
2022	J	`jnl`	Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Artif. Intell. Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran
2022	C	`conf`	Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation. COMMA Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2022	A*	`conf`	An Axiomatic Approach to Revising Preferences. AAAI Adrian Haret, Johannes P. Wallner
2022	—	`conf`	Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity. NMR Anna Rapberger, Markus Ulbricht, Johannes P. Wallner
2022	A*	`conf`	Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism. KR Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2022	—	`ed.`	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. SAFA Sarah Alice Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner
2022	B	`conf`	Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. LPNMR Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
2022	C	`conf`	Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation. COMMA Markus Ulbricht, Johannes P. Wallner
2021	J	`jnl`	An AGM Approach to Revising Preferences. CoRR Adrian Haret, Johannes P. Wallner
2021	J	`jnl`	Aspartix-V21. CoRR Wolfgang Dvorák, Matthias König, Johannes P. Wallner, Stefan Woltran
2021	J	`jnl`	Declarative Algorithms and Complexity Results for Assumption-Based Argumentation. J. Artif. Intell. Res. Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2021	J	`jnl`	Enforcement in Formal Argumentation. FLAP Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes P. Wallner
2021	A*	`conf`	Existential Abstraction on Argumentation Frameworks via Clustering. KR Zeynep G. Saribatur, Johannes P. Wallner
2021	J	`jnl`	Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. CoRR Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2021	J	`jnl`	Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation. Theory Pract. Log. Program. Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2021	A*	`conf`	Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations. AAAI Jan Maly, Johannes P. Wallner
2021	A*	`conf`	Strong Explanations in Abstract Argumentation. AAAI Markus Ulbricht, Johannes P. Wallner
2020	—	`conf`	ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation. FoIKS Wolfgang Dvorák, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
2020	A*	`conf`	An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework. KR Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2020	C	`conf`	Computing Strongly Admissible Sets. COMMA Wolfgang Dvorák, Johannes P. Wallner
2020	A	`conf`	Explaining Non-Acceptability in Abstract Argumentation. ECAI Zeynep G. Saribatur, Johannes P. Wallner, Stefan Woltran
2020	—	`conf`	Labelling-based Algorithms for SETAFs. SAFA Wolfgang Dvorák, Anna Rapberger, Johannes P. Wallner
2020	A*	`conf`	Proportional Belief Merging. AAAI Adrian Haret, Martin Lackner, Andreas Pfandler, Johannes P. Wallner
2020	J	`jnl`	Structural constraints for dynamic operators in abstract argumentation. Argument Comput. Johannes P. Wallner
2020	C	`conf`	The ASPARTIX System Suite. COMMA Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
2019	B	`conf`	Manipulating Skeptical and Credulous Consequences When Merging Beliefs. JELIA Adrian Haret, Johannes P. Wallner
2019	J	`jnl`	On the complexity of inconsistency measurement. Artif. Intell. Matthias Thimm, Johannes P. Wallner
2019	A*	`conf`	Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings. AAAI Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2019	J	`jnl`	Synthesizing Argumentation Frameworks from Examples. J. Artif. Intell. Res. Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
2018	J	`jnl`	Abstract solvers for Dung's argumentation frameworks. Argument Comput. Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner, Stefan Woltran
2018	A*	`conf`	Extension Enforcement under Grounded Semantics in Abstract Argumentation. KR Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
2018	A*	`conf`	Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. IJCAI Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran
2018	C	`conf`	Structural Constraints for Dynamic Operators in Abstract Argumentation. COMMA Johannes P. Wallner
2018	A*	`conf`	Two Sides of the Same Coin: Belief Revision and Enforcing Arguments. IJCAI Adrian Haret, Johannes P. Wallner, Stefan Woltran
2018	A*	`conf`	Weighted Abstract Dialectical Frameworks. AAAI Gerhard Brewka, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2018	J	`jnl`	Weighted Abstract Dialectical Frameworks: Extended and Revised Report. CoRR Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2017	J	`jnl`	Abstract Dialectical Frameworks. An Overview. FLAP Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2017	J	`jnl`	Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. J. Artif. Intell. Res. Johannes P. Wallner, Andreas Niskanen, Matti Järvisalo
2017	J	`jnl`	Foundations of Implementations for Formal Argumentation. FLAP Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes P. Wallner
2017	C	`conf`	From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning. ECSQARU Tuomo Lehtonen, Johannes P. Wallner, Matti Järvisalo
2016	A*	`conf`	Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. AAAI Johannes P. Wallner, Andreas Niskanen, Matti Järvisalo
2016	A*	`conf`	Implicit Hitting Set Algorithms for Reasoning Beyond NP. KR Paul Saikko, Johannes P. Wallner, Matti Järvisalo
2016	A*	`conf`	Optimal Status Enforcement in Abstract Argumentation. IJCAI Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
2016	B	`conf`	Pakota: A System for Enforcement in Abstract Argumentation. JELIA Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
2016	A*	`conf`	Some Complexity Results on Inconsistency Measurement. KR Matthias Thimm, Johannes P. Wallner
2016	A	`conf`	Synthesizing Argumentation Frameworks from Examples. ECAI Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
2015	J	`jnl`	Improved Answer-Set Programming Encodings for Abstract Argumentation. CoRR Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran
2015	J	`jnl`	Improved answer-set programming encodings for abstract argumentation. Theory Pract. Log. Program. Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran
2015	J	`jnl`	Methods for solving reasoning problems in abstract argumentation - A survey. Artif. Intell. Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes P. Wallner, Stefan Woltran
2015	J	`jnl`	Reasoning in abstract dialectical frameworks using quantified Boolean formulas. Argument Comput. Martin Diller, Johannes P. Wallner, Stefan Woltran
2011	J	`jnl`	Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems CoRR Wolfgang Dvorák, Sarah Alice Gaggl, Johannes P. Wallner, Stefan Woltran