在分离稳定的语义和推论之间的关系很少被探索。特别地，怎么由分离稳定的语义用分离逻辑程序执行推论的问题仍然是开的。这份报纸尝......

In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that w......

By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disj......

基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义......

采矿过程中,在处理局部可回采的资源量和金属量估算时,由于一些样本数据无法获得,经典的线性地质统计学方法,比如普通克里格方法,......

给出了完全ｆ－析取语言和拟完全ｆ－析取语言的定义，讨论它们的代数性质。...