ON THE SATISFIABILITY OF CIRCUMSCRIPTION

被引：36

作者：

LIFSCHITZ, V

机构：

来源：

关键词：

D O I：

10.1016/0004-3702(86)90028-7

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：17 / 27

页数：11

共 6 条

BOSSU, G ;

SIEGEL, P .

[2]

ETHERINGTON D, 1985, COMPUT INTELL, V1, P11

[3]

GRAHAM M, 1984, 3RD P ACM S PRINC DA

[4]

LIFSCHITZ V, 1985, 9TH INT JOINT C AI, P121

MCCARTHY, J .

[6] CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING [J].

MCCARTHY, J .