Syntactic Labelled Tableaux for Łukasiewicz Fuzzy ALC

Date

2013

Authors

Kulacka, Agnieszka
Pattinson, Dirk
Schroder, Lutz

Journal Title

Journal ISSN

Volume Title

Publisher

AAAI Press

Abstract

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

Description

Keywords

Citation

Source

IJCAI International Joint Conference on Artificial Intelligence

Type

Conference paper

Book Title

Entity type

Access Statement

Open Access

License Rights

DOI

Restricted until