Arne Meier
8 papers
· 2019–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π£
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)
complexity analysis
(2)
knowledge base
(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)
description logics
(1)
skeptical reasoning
(1)
extension enumeration
(1)
Papers
Submodel Enumeration for CTL Is Hard
AAAI 2024