Tabulation proof procedures for fuzzy linguistic logic programming (Q899133)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tabulation proof procedures for fuzzy linguistic logic programming
scientific article

    Statements

    Tabulation proof procedures for fuzzy linguistic logic programming (English)
    0 references
    0 references
    21 December 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    fuzzy logic programming
    0 references
    tabulation proof procedure
    0 references
    linguistic truth value
    0 references
    hedge connective
    0 references
    threshold computation
    0 references
    top-\(k\) retrieval
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references