Lutz Schröder

2 accepted papers

2025

Non-expansive Fuzzy ALC

Stefan Gebhart, Lutz Schröder, Paul Wild

IJCAI 2025

Fuzzy description logics serve the representation of vague knowledge, typically letting concepts take truth degrees in the unit interval. Expressiveness, logical properties, and complexity vary strongly with the choice of propositional base. The Łukasiewicz propositional base is generally perceived

Cited by 0 Source ↗PDF ↗Scholar ↗

2023

Common Knowledge of Abstract Groups

Merlin Humml, Lutz Schröder

AAAI 2023technical

Epistemic logics typically talk about knowledge of individual agents or groups of explicitly listed agents. Often, however, one wishes to express knowledge of groups of agents specified by a given property, as in ‘it is common knowledge among economists’. We introduce such a logic of common knowledg…

Cited by 2 Source ↗PDF ↗Scholar ↗