ELLIPSIS AND HIGHER-ORDER UNIFICATION + ELLIPTIC CONSTRUCTIONS IN NATURAL-LANGUAGE

被引：162
|
作者：
DALRYMPLE, M
SHIEBER, SM
PEREIRA, FCN
机构：
[1] HARVARD UNIV,DIV APPL SCI,CAMBRIDGE,MA 02138
[2] AT&T BELL LABS,MURRAY HILL,NJ 07974
来源：
LINGUISTICS AND PHILOSOPHY | 1991年 / 14卷 / 04期
关键词：
D O I：
10.1007/BF00630923
中图分类号：
H0 [语言学];
学科分类号：
030303 ; 0501 ; 050102 ;
摘要：
引用
收藏
页码：399 / 452
页数：54
相关论文
共 50 条
  • [41] NATURAL DEDUCTION AS HIGHER-ORDER RESOLUTION
    PAULSON, LC
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (03): : 237 - 258
  • [42] Restricted higher-order anti-unification for analogy making
    Krumnack, Ulf
    Schwering, Angela
    Gust, Helmar
    Kiffinberger, Kai-Uwe
    [J]. AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 273 - 282
  • [43] Higher-order structure in natural scenes
    Thomson, MGA
    [J]. JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION, 1999, 16 (07): : 1549 - 1553
  • [44] A higher-order unification algorithm for inductive types and dependent types
    Qingping Tan
    [J]. Journal of Computer Science and Technology, 1997, 12 (3): : 231 - 243
  • [45] Higher-Order Pattern Anti-Unification in Linear Time
    Baumgartner, Alexander
    Kutsia, Temur
    Levy, Jordi
    Villaret, Mateu
    [J]. JOURNAL OF AUTOMATED REASONING, 2017, 58 (02) : 293 - 310
  • [46] A Higher-Order Unification Algorithm for Inductive Types and Dependent Types
    谭庆平
    [J]. Journal of Computer Science & Technology, 1997, (03) : 231 - 243
  • [47] Higher-Order Dynamic Pattern Unification for Dependent Types and Records
    Abel, Andreas
    Pientka, Brigitte
    [J]. TYPED LAMBDA CALCULI AND APPLICATIONS, (TLCA 2011), 2011, 6690 : 10 - 26
  • [48] HIGHER-ORDER UNIFICATION REVISITED - COMPLETE-SETS OF TRANSFORMATIONS
    SNYDER, W
    GALLIER, J
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (1-2) : 101 - 140
  • [49] Higher-Order Pattern Anti-Unification in Linear Time
    Alexander Baumgartner
    Temur Kutsia
    Jordi Levy
    Mateu Villaret
    [J]. Journal of Automated Reasoning, 2017, 58 : 293 - 310
  • [50] Practical higher-order pattern unification with on-the-fly raising
    Nadathur, G
    Linnell, N
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 371 - 386
12345