Syntactic Labelled Tableaux for Lukasiewicz Fuzzy ALC.

Agnieszka Kulacka, Dirk Pattinson, Lutz Schrder

Browse the full IJCAI paper archive.