A Higher-Order Vampire (Short Paper)

被引：0
|
作者：
Bhayat, Ahmed [1 ]
Suda, Martin [1 ]
机构：
[1] Czech Tech Univ, Prague, Czech Republic
来源：
AUTOMATED REASONING, IJCAR 2024, PT I | 2024年 / 14739卷
基金：
欧盟地平线“2020”;
关键词：
Vampire; Higher-Order; Strategy Scheduling;
D O I：
10.1007/978-3-031-63498-7_5
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The support for higher-order reasoning in the Vampire theorem prover has recently been completely reworked. This rework consists of new theoretical ideas, a new implementation, and a dedicated strategy schedule. The theoretical ideas are still under development, so we discuss them at a high level in this paper. We also describe the implementation of the calculus in the Vampire theorem prover, the strategy schedule construction and several empirical performance statistics.
引用
收藏
页码：75 / 85
页数：11
相关论文
共 50 条
  • [1] Higher-Order Peak Decomposition
    Tan, Xingyu
    Qian, Jingya
    Chen, Chen
    Qing, Sima
    Wu, Yanping
    Wang, Xiaoyang
    Zhang, Wenjie
    PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2023, 2023, : 4310 - 4314
  • [2] Higher-order homophily on simplicial complexes
    Sarker, Arnab
    Northrup, Natalie
    Jadbabaie, Ali
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2024, 121 (12)
  • [3] Peridynamic Higher-Order Beam Formulation
    Yang Z.
    Oterkus E.
    Oterkus S.
    Journal of Peridynamics and Nonlocal Modeling, 2021, 3 (1) : 67 - 83
  • [4] A Dilemma for Higher-Order Theories of Consciousness
    Isabel Gois
    Philosophia, 2010, 38 : 143 - 156
  • [5] Higher-order tangent and secant numbers
    Cvijovic, Djurdje
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2011, 62 (04) : 1879 - 1886
  • [6] On the solvability of a higher-order semilinear ODE
    Danet, Cristian-Paul
    ELECTRONIC JOURNAL OF QUALITATIVE THEORY OF DIFFERENTIAL EQUATIONS, 2024, (57) : 1 - 17
  • [7] Higher-order π-calculus with the mismatch operator
    Xu, Xian
    Ruan Jian Xue Bao/Journal of Software, 2014, 25 (11): : 2433 - 2451
  • [8] A Dilemma for Higher-Order Theories of Consciousness
    Gois, Isabel
    PHILOSOPHIA, 2010, 38 (01) : 143 - 156
  • [9] A GLIMPSE INTO HIGHER-ORDER CONNEXIVE LOGICS
    Francez, Nissim
    LOGIQUE ET ANALYSE, 2022, (257) : 101 - 110
  • [10] Higher-order conditioning and the retrosplenial cortex
    Todd, Travis P.
    Huszar, Roman
    DeAngeli, Nicole E.
    Bucci, David J.
    NEUROBIOLOGY OF LEARNING AND MEMORY, 2016, 133 : 257 - 264
12345