For the problem of propositional satisfiability a polynomial algorithm of limited propositional deduction is proposed wh......

Just now,pre-modifiers are used more and more frequent than post-modifier in the development of Modern English.The post-......

在自然语言中，歧义是一种普遍存在的语言现象。英语中有些歧义是由于英语句子的线性结构所致。本文从句法结构这个层面分析了一些由......

ＡＰｒａｃｔｉｃａｌＰａｒａｌｌｅｌＡｌｇｏｒｉｔｈｍｆｏｒＰｒｏｐｏｓｉｔｉｏｎａｌＫｎｏｗｌｅｄｇｅＢａｓｅＲｅｖｉｓｉｏｎＳＵＮＷＥＩ；ＴＡＯＸＵＥＨＯＮＧａｎｄＭＡＳＨＡＯＨＡＯ（Ｄｅｐｔ．ｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，Ｓｈａｎｄｏｎｇ.........