Johannes Schmidt
4 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
๐
Conference Polyglot
(2)
๐
Renaissance Researcher
(5)
๐
Interdisciplinary Bridge
๐งญ
Keyword Pioneer
๐
Cross-Pollinator
(14)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
computational complexity
(3)
knowledge base
(2)
propositional logic
(2)
logic-based argumentation
(2)
schaefer's framework
(2)
argumentation framework
(1)
fixed-parameter tractable
(1)
nonmonotonic reasoning
(1)
exponential time hypothesis
(1)
propositional abduction
(1)
cardinality minimality
(1)
fine-grained complexity
(1)
automated reasoning
(1)
parameterized complexity
(1)
non-monotonic reasoning
(1)
Papers
A Fine-Grained Complexity View on Propositional Abduction - Algorithms and Lower Bounds
IJCAI 2025
Quantitative Claim-Centric Reasoning in Logic-Based Argumentation
IJCAI 2024
Complexity of Reasoning with Cardinality Minimality Conditions
AAAI 2023
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework
AAAI 2021