Renaming a Set of Non—Horn Clauses-中国期刊网

摘要 SeveralextensionsofthelogicprogramminglanguagePrologtononHornclausesusecaseanalysistohandlenon-Hornclauses.Inthispaper,analyticalandempriricalevidencesarepresentedtoshowthat,bymakingasetofclausesless'non-Horn'usingpredicatedrenaming.theperformanceofthesecase-analysisbasedprocedurescanbeimprovedsignificantly.Inaddition,thepaperalsoinvestigatedtheproblemofefficeientlyconstructingapredicaterenamingthatreducesthedegreeof'non-Hornness'ofaclausesetmaximally.Itisshownthatthisproblemoffindingaredicaterenamingtoachieveminimal'non-Hornness'isNP-complete.

1. THE TEACHING OF NON-RESTRICTIVE RELATIVE CLAUSES IN A CHINESE CONTEXT.英语,1999-01.
2RENYONGCAI;LIXIANGYANG. THE ACTION OF THE LINEAR CHARACTER GROUP ON THE SET OF NON-LINEAR IRREDUCIBLE CHARACTERS.基础数学,2000-04.
3唐国吉;黄南京. Projected subgradient method for non-Lipschitz set-valued mixed variational inequalities.力学,2011-10.
4Redie Bereketeab. The Challenges of Regional Integration in the Horn of Africa.政治学,2014-05.
5XILIFENG. CALCULUS ON CANTOR TRIADIC SET （Ⅱ）—EXCEPTIONAL SET.基础数学,1998-02.
6李光元;蔡琳;肖峰;徐安士. Plasmonic Corrugated Horn Structure for Optical Transmission Enhancement.物理,2009-12.
7. Set the Table.教育学,2017-03.
8叶亮. Sun is not set.计算机软件与理论,2009-05.
9HOU Wei;PAN Haoran;SONG Weihua;JING Xiaodong;SUN Xiaofeng. Numerical simulation of nonlinear propagation of sound waves in a finite horn.声学,2015-02.
10Hui-Li Wang;Wei Yue;Qiang Li;Jian-Rong Li. An ERP Study of the Object Preference in Processing Chinese Relative Clauses.物理电子学,2017-01.

Renaming a Set of Non—Horn Clauses

来源期刊

相关推荐

同分类资源更多

相关关键词

Renaming a Set of Non—Horn Clauses

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多