搜索结果: 1-3 共查到“计算机科学技术 Entailment”相关记录3条 . 查询时间(0.046 秒)
Entailment with Conditional Equality Constraints
Entailment Conditional Equality Constraints
2016/5/24
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend equality constraints wi...
A Compact Forest for Scalable Inference over Entailment and Paraphrase Rules
Compact Forest Scalable Inference over Entailment Paraphrase Rules
2013/4/22
A large body of recent research has been investigating the acquisition and application of applied inference knowledge. Such knowledge may be typically captured as entailment rules, applied over syntac...
Textual Entailment as a Directional Relation
word similarity text similarity Word Sense Disambiguation Text Entailment
2014/3/11
This paper presents three methods for solving the problem of textual entailment, obtained from an equal number of text-to-text similarity metrics. The first method starts with the directional measure ...