Recent molecular phylogenetic analyses of Primula have greatly enhanced our understanding of the infrageneric relationsh......

面向语义Web的需求，提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog，它从语法和语义两方面扩展了Rosati提出的DL＋log系统雀DL......

该文把McCarthy的限定理论同规划识别结合起来,在限定中研究规划识别问题.证明了在一定的限制下,由观察到的现象求出的最小规划集......

<正>一、引言 早在1959年,McCart~[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入......