Johannes Schmidt
4 papers
· 2021–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)