QUANTLOG - A SYSTEM FOR APPROXIMATE REASONING IN INCONSISTENT FORMAL SYSTEMS

被引：0
|
作者：
SUBRAHMANIAN, VS
UMRIGAR, ZD
机构：
[1] SYRACUSE UNIV,SCH COMP & INFORMAT SCI,SYRACUSE,NY 13244
[2] SUNY BINGHAMTON,DEPT COMP SCI,BINGHAMTON,NY 13901
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 310卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：746 / 747
页数：2
相关论文
共 50 条
  • [1] FORMAL FRAMEWORKS FOR APPROXIMATE REASONING
    LANO, K
    FUZZY SETS AND SYSTEMS, 1992, 51 (02) : 131 - 146
  • [2] Approximate reduction in inconsistent formal decision contexts
    Wang, Xia
    Wu, Wei-Zhi
    2012 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC 2012), 2012,
  • [3] A defeasible reasoning system for inconsistent ontologies
    Peng, Zhiping
    Ke, Wende
    Shi, Zhongzhi
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2012, 40 (01): : 40 - 44
  • [4] Index System of Information Systems Survivability: Formal Definitions and Reasoning
    Wang, Huiqiang
    Wang, Jian
    Zhao, Guosheng
    ICICSE: 2008 INTERNATIONAL CONFERENCE ON INTERNET COMPUTING IN SCIENCE AND ENGINEERING, PROCEEDINGS, 2008, : 294 - 297
  • [5] Visualization of Approximate Reasoning Systems
    Zhang ZiliDepartment of Computer Science Southwest China Normal University Chongqing
    西南师范大学学报(自然科学版), 1995, (04)
  • [6] Best Approximate Solutions of Inconsistent Linear Inequality Systems
    Goberna M.A.
    Hiriart-Urruty J.-B.
    López M.A.
    Vietnam Journal of Mathematics, 2018, 46 (2) : 271 - 284
  • [7] QCTL: A logic for reasoning about inconsistent concurrent systems
    Chen, Donghuo
    Zhang, Guangquan
    Wu, Jinzhao
    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 241 - +
  • [8] Formal reasoning in intelligent database systems
    Natl Sun Yat-Sen Univ, Kaohsiung, Taiwan
    Appl Intell, 4 (297-317):
  • [9] The Advent of Formal Diagrammatic Reasoning Systems
    Dau, Frithjof
    FORMAL CONCEPT ANALYSIS: 7TH INTERNATIONAL CONFERENCE, ICFCA 2009, 2009, 5548 : 38 - 56
  • [10] Approximate Reasoning in Supervised Classification Systems
    Seridi, Hamid
    Akdag, Herman
    Mansouri, Rachid
    Nemissi, Mohamed
    JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, 2006, 10 (04) : 586 - 593
12345