Lutz Schröder
6 papers
· 2013–2025
· 3 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(3)
🏃
Academic Marathon
(12)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
🚀
Conference Pioneer
Conferences
IJCAI (4)
AAAI (1)
COLING (1)
Top co-authors
Keywords
modal logic
(2)
knowledge representation
(2)
expressive power
(1)
description logic
(1)
epistemic logic
(1)
finite model property
(1)
ontological reasoning
(1)
fuzzy logic
(1)
large language model
(1)
multi-agent system
(1)
common knowledge
(1)
agent logic
(1)
corpus queries
(1)
argumentative fragment
(1)
modal description logic
(1)
modal first-order logic
(1)
characterization theorem
(1)
behavioural distance
(1)
fuzzy description logic
(1)
non-expansive fuzzy
(1)