Schröder, Lutz

9 publications

IJCAI 2025 Non-Expansive Fuzzy ALC Stefan Gebhart, Lutz Schröder, Paul Wild

AAAI 2023 Common Knowledge of Abstract Groups Merlin Humml, Lutz Schröder

IJCAI 2019 A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König

IJCAI 2017 A Characterization Theorem for a Modal Description Logic Paul Wild, Lutz Schröder

JAIR 2017 Probabilistic Description Logics for Subjective Uncertainty Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder

IJCAI 2013 Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder

AAAI 2011 A Closer Look at the Probabilistic Description Logic Prob-EL Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder

IJCAI 2011 Description Logics and Fuzzy Probability Lutz Schröder, Dirk Pattinson

IJCAI 2009 Nominals for Everyone Lutz Schröder, Dirk Pattinson, Clemens Kupke