Pattinson, Dirk

4 publications

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

IJCAI 2013 Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC Agnieszka Kulacka, Dirk Pattinson, 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