Agnieszka Kulacka, Dirk Pattinson, Lutz Schröder. Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 962-968, IJCAI/AAAI, 2013. [doi]
Abstract is missing.