Johannes P. Wallner
10 papers · 2016–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (18) 🌍 Conference Polyglot · Bronze 🚀 Conference Pioneer
💎
Century Club · Bronze
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Knowledge & Reasoning
(5)
Reasoning
(4)
Mathematics & Optimization
(3)
Optimization
(3)
Machine Learning
(2)
Computer Science
(1)
Data Science & Analytics
(1)
Applications
(1)
Core Methods
(1)
Foundations
(1)
Learning Types
(1)
Optimization & Theory
(1)
Representation
(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
Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability
IJCAI 2024
Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation
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