FOUNDATIONS OF A FUNCTIONAL-APPROACH TO KNOWLEDGE REPRESENTATION

被引:96
作者
LEVESQUE, HJ
机构
关键词
D O I
10.1016/0004-3702(84)90009-2
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:155 / 212
页数:58
相关论文
共 27 条
[1]  
Bobrow D. G., 1977, COGNITIVE SCI, V1, P3, DOI DOI 10.1207/S15516709C0G0101_
[2]  
Bobrow Daniel G., 1980, ARTIFICIAL INTELLIGE, V13
[3]  
COHEN B, 1982, THESIS STANFORD U ST
[4]  
Gallaire Herve, 1978, LOGIC DATA BASES
[5]  
Hintikka J., 1962, KNOWLEDGE BELIEF INT
[6]  
Israel, 1980, P AAAI 80 STANFORD, P99
[7]  
ISRAEL DJ, 1981, P IJCAI 81 VANCOUVER, P452
[8]  
ISRAEL DJ, 1983, INT J COMPUT MATH, V9, P1
[9]  
LEBLANC H., 1973, LOGIC ONTOLOGY, P241
[10]  
LEVESQUE HJ, 1982, 3 FAIRCH LAB ART INT