Arne Meier
8 papers · 2019–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π Conference Polyglot (2) π Academic Marathon (6) π Cross-Pollinator (5)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(16)
π§
Keyword Pioneer
π
Conference Pioneer
Conferences
AAAI (4)
IJCAI (4)
Top co-authors
Keywords
computational complexity
(5)
argumentation framework
(4)
abstract argumentation
(3)
logic-based argumentation
(3)
knowledge base
(2)
complexity analysis
(2)
parameterized complexity
(2)
credulous reasoning
(2)
propositional logic
(1)
fixed-parameter tractable
(1)
inconsistency measure
(1)
model counting
(1)
polynomial hierarchy
(1)
nonmonotonic reasoning
(1)
computation tree logic
(1)
model enumeration
(1)
satisfying submodel
(1)
skeptical reasoning
(1)
extension enumeration
(1)
decomposition-guided reduction
(1)
Papers
Facets in Argumentation: A Formal Approach to Argument Significance
IJCAI 2025
Quantitative Claim-Centric Reasoning in Logic-Based Argumentation
IJCAI 2024
Submodel Enumeration for CTL Is Hard
AAAI 2024
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation
IJCAI 2023
Decomposition-Guided Reductions for Argumentation and Treewidth
IJCAI 2021
Knowledge-Base Degrees of Inconsistency: Complexity and Counting
AAAI 2021
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework
AAAI 2021
Counting Complexity for Reasoning in Abstract Argumentation
AAAI 2019