NATURAL DEDUCTION AS HIGHER-ORDER RESOLUTION

被引：53
|
作者：
PAULSON, LC [1 ]
机构：
[1] UNIV CAMBRIDGE,COMP LAB,CAMBRIDGE CB2 3QG,ENGLAND
来源：
JOURNAL OF LOGIC PROGRAMMING | 1986年 / 3卷 / 03期
关键词：
D O I：
10.1016/0743-1066(86)90015-4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：237 / 258
页数：22
相关论文
共 50 条
  • [1] Higher-order structures in natural scenes
    Tanaka, Takuma
    Aoyagi, Toshio
    Kaneko, Takeshi
    [J]. NEUROSCIENCE RESEARCH, 2009, 65 : S109 - S109
  • [2] 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
  • [3] Accelerating Natural Gradient with Higher-Order Invariance
    Song, Yang
    Song, Jiaming
    Ermon, Stefano
    [J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 80, 2018, 80
  • [4] Natural Inductive Theorems for Higher-Order Rewriting
    Aoto, Takahito
    Yamada, Toshiyuki
    Chiba, Yuki
    [J]. 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 107 - 121
  • [5] Learning higher-order structures in natural images
    Karklin, Y
    Lewicki, MS
    [J]. NETWORK-COMPUTATION IN NEURAL SYSTEMS, 2003, 14 (03) : 483 - 499
  • [6] Learning the higher-order structure of a natural sound
    Bell, AJ
    Sejnowski, TJ
    [J]. NETWORK-COMPUTATION IN NEURAL SYSTEMS, 1996, 7 (02) : 261 - 267
  • [7] Higher-order statistical redundancy in natural images
    Summers, RJ
    Thomson, MGA
    [J]. PERCEPTION, 2004, 33 : 115 - 115
  • [8] Higher-Order Intentionality and Higher-Order Acquaintance
    Benj Hellie
    [J]. Philosophical Studies, 2007, 134 : 289 - 324
  • [9] Higher-order intentionality and higher-order acquaintance
    Hellie, Benj
    [J]. PHILOSOPHICAL STUDIES, 2007, 134 (03) : 289 - 324
  • [10] A SELECTED BIBLIOGRAPHY ON CONSTRUCTIVE MATHEMATICS, INTUITIONISTIC TYPE THEORY AND HIGHER-ORDER DEDUCTION
    COQUAND, T
    HUET, G
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1985, 1 (03) : 323 - 328
12345