PREDICATE

作品数：45被引量：25H指数：3
导出分析报告
相关作者：陈立军桂永霞唐世渭杨冬青杨慧林更多>>
相关机构：广东女子职业技术学院北京大学中国人民大学西华师范大学更多>>
相关期刊：《天津外国语大学学报》《International Journal of Digital Earth》《Frontiers of Computer Science》《US-China Foreign Language》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中国科学院科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Computer Science & Technologyx
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Semantic Role Labeling of Chinese Nominal Predicates with Dependency-Driven Constituent Parse Tree Structure被引量：2
《Journal of Computer Science & Technology》2013年第6期1117-1126,共10页王红玲 周国栋 
Supported by the National Natural Science Foundation of China under Grant Nos.61331011 and 61273320;the National High Technology Research and Development 863 Program of China under Grant No.2012AA011102;the Natural Science Foundation of Jiangsu Provincial Department of Education under Grant No.10KJB520016
This paper explores a tree kernel based method for semantic role labeling （SRL） of Chinese nominal predicates via a convolution tree kernel. In particular, a new parse tree representation structure, called dependenc...
关键词：semantic role labeling Chinese nominal predicate dependency-driven constituent parse tree tree kernel 
Predicate μ-Calculus for Mobile Ambients被引量：6
《Journal of Computer Science & Technology》2005年第1期95-104,共10页Hui-MinLin 
国家自然科学基金，中国科学院资助项目
Ambient logics have been proposed to describe properties for mobile agentswhich may evolve over time as well as space. This paper takes a predicate-based approach toextending an ambient logic with recursion, yielding ...
关键词：model checking mobile ambients spatial logic MU-CALCULUS fixpoints 
Model Checking Real-Time Value-Passing Systems
《Journal of Computer Science & Technology》2004年第4期459-471,共13页JingChen Zi-NingCao 
国家自然科学基金
In this paper, to model check real-time value-passing systems, a formallanguage Timed Symbolic Transition Graph and a logic system named Timed Predicate μ-Calculus areproposed. An algorithm is presented which is loca...
关键词：model checking REAL-TIME value-passing timed predicate μ-calculus 
Renaming a Set of Non-Horn Clauses
《Journal of Computer Science & Technology》2000年第5期409-415,共7页聂旭民 郭青 
Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a ...
关键词：logic for artificial intelligence (AI) automated theorem proving logic programming Horn and non-Horn sets predicate renaming NP-COMPLETENESS 
A General Scheme for Formalizing Defaults Using the Predicate ab(I,S)
《Journal of Computer Science & Technology》1999年第2期159-164,共6页沈一栋 
In common sense reasoning two typical types of defaults are encoun- tered. One is of the form 'All birds can fly except b1, b2,…, and bm(m>1)' , and the other 'All birds can fly, but there exist exceptiona' . The fir...
关键词：common sense reasoning DEFAULT FORMALIZATION 
An Efficient Multiple Predicate Learner
《Journal of Computer Science & Technology》1998年第3期268-278,共11页张晓龙 MasayukiNumao 
In this papers we examine the issue of learning multiple predicates from given training examples. A proposed MPL-CORE algorithm efficiently induces Horn clauses from examples and background knowledge by employing a si...
关键词：Machine learning inductive logic programming multiple predicate learning shift of bias 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部