On finitely-valued Fuzzy Description Logics

被引：0
|
作者：
20143600038171
机构：
[1] Cerami, Marco
[2] 2,García-Cerdaña, Àngel
[3] Esteva, Francesc
来源：
Esteva, Francesc | 1890年 / Elsevier Inc.卷 / 55期
关键词：
66;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
相关论文
共 50 条
  • [1] On finitely-valued Fuzzy Description Logics
    Cerami, Marco
    Garcia-Cerdana, Angel
    Esteva, Francesc
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2014, 55 (09) : 1890 - 1916
  • [2] Conjunctive Query Answering in Finitely-Valued Fuzzy Description Logics
    Mailis, Theofilos
    Penaloza, Rafael
    Turhan, Anni-Yasmin
    WEB REASONING AND RULE SYSTEMS, RR 2014, 2014, 8741 : 124 - 139
  • [3] Intuitionistic counterparts of finitely-valued logics
    Baaz, M
    Fermuller, CG
    1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 136 - 141
  • [4] Decidable Godel Description Logics without the Finitely-Valued Model Property
    Borgwardt, Stefan
    Distel, Felix
    Penaloza, Rafael
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 228 - 237
  • [5] Many-Place Sequent Calculi for Finitely-Valued Logics
    Pynko A.P.
    Logica Universalis, 2010, 4 (1) : 41 - 66
  • [6] Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics
    Chepoi, Victor
    Creignou, Nadia
    Hermann, Miki
    Salzer, Gernot
    38TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2008), 2008, : 100 - 105
  • [7] A RESOLUTION FRAMEWORK FOR FINITELY-VALUED 1ST-ORDER LOGICS
    OHEARN, PW
    STACHNIAK, Z
    JOURNAL OF SYMBOLIC COMPUTATION, 1992, 13 (03) : 235 - 254
  • [8] A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics
    Ramon Soler, Joan
    Manya, Felip
    2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 2016, : 269 - 274
  • [9] A RESOLUTION FRAMEWORK FOR FINITELY-VALUED 1ST-ORDER LOGICS
    OHEARN, P
    STACHNIAK, Z
    SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 89, 1989, : 69 - 81
  • [10] On translation of finitely-valued logics to classical first-order logic
    Sofronie-Stokkermans, V
    ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 410 - 411
12345