Syntactic Labelled Tableaux for Łukasiewicz Fuzzy ALC
Fuzzy description logics (DLs) serve as a tool to handle vagueness in real-world knowledge. There is particular interest in logics implementing Łukasiewicz semantics, which has a number of favourable properties. Current decision procedures for Łukasiewi
|Collections||ANU Research Publications|
|Source:||IJCAI International Joint Conference on Artificial Intelligence|
|01_Kulacka_Syntactic_Labelled_Tableaux_2013.pdf||537.55 kB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.