Lutz Schröder
6 papers · 2013–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)
Papers
Non-expansive Fuzzy ALC
IJCAI 2025
Leveraging High-Precision Corpus Queries for Text Classification via Large Language Models
COLING 2024
Common Knowledge of Abstract Groups
AAAI 2023
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic
IJCAI 2019
A Characterization Theorem for a Modal Description Logic
IJCAI 2017
Syntactic Labelled Tableaux for Łukasiewicz Fuzzy ALC
IJCAI 2013