NEGATION AS FAILURE USING TIGHT DERIVATIONS FOR GENERAL LOGIC PROGRAMS

被引：42
作者：
VANGELDER, A [1 ]
机构：
[1] UNIV CALIF SANTA CRUZ,DEPT COMP SCI,SANTA CRUZ,CA 95064
来源：
JOURNAL OF LOGIC PROGRAMMING | 1989年 / 6卷 / 1-2期
关键词：
D O I：
10.1016/0743-1066(89)90032-0
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：109 / 133
页数：25
相关论文
共 40 条
[31]  
[No title captured]
[32]  
[No title captured]
[33]  
[No title captured]
[34]  
[No title captured]
[35]  
[No title captured]
[36]  
[No title captured]
[37]  
F LOGIC PROGRAMMING
[38]  
[No title captured]
[39]  
[No title captured]
[40]  
[No title captured]
1234