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......

An algebraic semantic approach for the description and recognition of patterns is presented.Specifically,patterns are as......

<正>一、引言 在逻辑程序中允许负文字出现,极大地增强了逻辑程序的表达能力,但同时也其语义定义带来了困难。可以说,至今还没......

本文简要介绍了RAISE规范语言的基本概念,并描述了其语义特征。从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的......