Arne Meier
8 papers · 2019–2025 · 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 ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (16) 🐣 Hot Topic Early Bird
🚀
Conference Pioneer
Top co-authors
Research topics
Keywords
computational complexity
(5)
argumentation framework
(4)
abstract argumentation
(3)
logic-based argumentation
(3)
complexity analysis
(2)
knowledge base
(2)
parameterized complexity
(2)
credulous reasoning
(2)
propositional logic
(1)
non-monotonic reasoning
(1)
fixed-parameter tractable
(1)
inconsistency measure
(1)
model counting
(1)
polynomial hierarchy
(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