Johannes P. Wallner

10 papers · 2016–2026 · 2 conferences · across top CS/AI conferences

Achievements

🗺️ Taxonomy Completionist (18) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🐝 Cross-Pollinator (3) 🌈 Renaissance Researcher (6) 🚀 Conference Pioneer 💎 Century Club (10)

Conferences

AAAI (5) IJCAI (5)

Top co-authors

Stefan Woltran (2) Matti Järvisalo (2) Adrian Haret (2) Markus Ulbricht (2) Tuomo Lehtonen (2) Andreas Niskanen (2) Martin Lackner (1) Francesca Toni (1) Andreas Pfandler (1) Anna Rapberger (1)

Keywords

complexity analysis (4) computational complexity (3) assumption-based argumentation (3) computational argumentation (3) argumentation semantics (3) propositional logic (2) structured argumentation (2) formal reasoning (2) argumentation framework (2) axiom system (1) formal argumentation (1) social choice (1) social choice theory (1) rank function (1) belief revision (1) belief merging (1) sat solver (1) sat solving (1) rationality postulate (1) abstract dialectical framework (1)

Papers

Under-Approximating Semantics in Clustered Assumption-Based Argumentation AAAI 2026

Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation IJCAI 2024

Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability IJCAI 2024

Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations AAAI 2021

Strong Explanations in Abstract Argumentation AAAI 2021

Proportional Belief Merging AAAI 2020

Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018

Two Sides of the Same Coin: Belief Revision and Enforcing Arguments IJCAI 2018

Optimal Status Enforcement in Abstract Argumentation IJCAI 2016