CIRCUMSCRIPTIVE THEORIES - A LOGIC-BASED FRAMEWORK FOR KNOWLEDGE REPRESENTATION

被引：11

作者：

LIFSHITZ, V

机构：

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 1988年 / 17卷 / 04期

关键词：

D O I：

10.1007/BF00297512

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

收藏

页码：391 / 441

页数：51

相关论文

共 14 条

[11] CIRCUMSCRIBING WITH SETS
PERLIS, D
[J]. ARTIFICIAL INTELLIGENCE, 1987, 31 (02) : 201 - 211
[12] Touretzky D. S., 1986, MATH INHERITANCE SYS
[13] [No title captured]
[14] [No title captured]