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
相关论文
共 6 条
  • [1] Buchanan BG, 1985, RULE BASED EXPERT SY
  • [2] SUBRAHMANIAN VS, 1988, LECT NOTES COMPUT SC, V310, P81, DOI 10.1007/BFb0012824
  • [3] SUBRAHMANIAN VS, LOGIC C 87
  • [4] SUBRAHMANIAN VS, 1987, 4TH P IEEE S LOG PRO, P173
  • [5] THISTLEWAITE P, LECTURE NOTES COMPUT, P705
  • [6] VANEMDEN M, 1986, J LOGIC PROG, V4, P37
1