Johannes P. Wallner
10 papers · 2016–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ 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
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