Higher-order unification as a theorem proving procedure

被引：0
|
作者：
Hagiya, Masami
机构：
来源：
Proceedings of the International Conference on Logic Programming | 1991年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Higher-order theorem proving and its applications
    Steen, Alexander
    IT-INFORMATION TECHNOLOGY, 2019, 61 (04): : 187 - 191
  • [2] Graph Representations for Higher-Order Logic and Theorem Proving
    Paliwal, Aditya
    Loos, Sarah M.
    Rabe, Markus N.
    Bansal, Kshitij
    Szegedy, Christian
    THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 2967 - 2974
  • [3] THEOREM-PROVING FOR A HIGHER-ORDER FUNCTIONAL LANGUAGE
    KAUFMANN, M
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 847
  • [4] Comparing approaches to resolution based higher-order theorem proving
    Benzmüller, C
    SYNTHESE, 2002, 133 (1-2) : 203 - 235
  • [5] Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
    Chad E. Brown
    Journal of Automated Reasoning, 2013, 51 : 57 - 77
  • [6] HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
    Bansal, Kshitij
    Loos, Sarah
    Rabe, Markus
    Szegedy, Christian
    Wilcox, Stewart
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 97, 2019, 97
  • [7] Theorem Proving in Dependently-Typed Higher-Order Logic
    Rothgang, Colin
    Rabe, Florian
    Benzmueller, Christoph
    AUTOMATED DEDUCTION, CADE 29, 2023, 14132 : 438 - 455
  • [8] Progress in the Development of Automated Theorem Proving for Higher-Order Logic
    Sutcliffe, Geoff
    Benzmueller, Christoph
    Brown, Chad E.
    Theiss, Frank
    AUTOMATED DEDUCTION - CADE-22, 2009, 5663 : 116 - +
  • [9] Comparing Approaches To Resolution Based Higher-Order Theorem Proving
    Christoph Benzmüller
    Synthese, 2002, 133 : 203 - 335
  • [10] Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
    Brown, Chad E.
    AUTOMATED DEDUCTION - CADA-23, 2011, 6803 : 147 - 161
12345