Skip navigation
Skip navigation

Syntactic Labelled Tableaux for Łukasiewicz Fuzzy ALC

Kulacka, Agnieszka; Pattinson, Dirk; Schroder, Lutz


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

CollectionsANU Research Publications
Date published: 2013
Type: Conference paper
Source: IJCAI International Joint Conference on Artificial Intelligence


File Description SizeFormat Image
01_Kulacka_Syntactic_Labelled_Tableaux_2013.pdf537.55 kBAdobe PDF

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator