FORMALIZING NONMONOTONIC REASONING SYSTEMS

被引:69
作者
ETHERINGTON, DW
机构
关键词
D O I
10.1016/0004-3702(87)90081-6
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:41 / 85
页数:45
相关论文
共 37 条
[1]  
[Anonymous], 1977, CPD SENATE, P1038
[2]  
BRACHMAN R, 1982, P CANADIAN SOC COMPU, P212
[3]  
COTTRELL GW, 1985, P IJCAI 85, P194
[4]  
De Kleer J., 1984, P AAAI 84 AUSTIN, P79
[5]  
DOYLE J, 1982, SOME THEORIES REASON
[6]  
DOYLE J, 1980, AI568 MIT MEM
[7]  
DOYLE J, 1979, AI521 MIT MEM
[8]  
DOYLE J, 1982, INS OUTS REASON MAIN
[9]  
ETHERINGTON D, 1986, THESIS U BRIT COLUMB
[10]  
ETHERINGTON DW, 1982, THESIS U BRIT COLUMB