Lutz Schröder

6 papers · 2013–2025 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Venues

IJCAI (4) AAAI (1) COLING (1)

Top co-authors

Paul Wild (3) Dirk Pattinson (2) Merlin Humml (2) Nathan Dykes (1) Stefan Gebhart (1) Philipp Heinrich (1) Barbara König (1) Stephanie Evert (1) Agnieszka Kułacka (1)

Research topics

Knowledge & Reasoning (3) Reasoning (3) Representation (2) Machine Learning (1) Natural Language Processing (1) Applications (1) Optimization & Theory (1) Resources & Methods (1)

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