Formalization of the Telegrapher’s Equations using Higher-Order-Logic Theorem Proving

被引：0
|
作者：
Deniz, Elif [1 ]
Rashid, Adnan [1 ,2 ]
Hasan, Osman [2 ]
Tahar, Sofiène [1 ]
机构：
[1] Department of Electrical and Computer Engineering, Concordia University, Montreal,QC, Canada
[2] School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan
来源：
Journal of Applied Logics | 2024年 / 11卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：197 / 236
相关论文
共 50 条
  • [41] Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic
    Jose Divasón
    René Thiemann
    Journal of Automated Reasoning, 2022, 66 (4) : 1097 - 1097
  • [42] Comparing approaches to resolution based higher-order theorem proving
    Benzmüller, C
    SYNTHESE, 2002, 133 (1-2) : 203 - 235
  • [43] On using ground joinable equations in equational theorem proving
    Avenhaus, J
    Hillenbrand, T
    Löchner, B
    JOURNAL OF SYMBOLIC COMPUTATION, 2003, 36 (1-2) : 217 - 233
  • [44] Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
    Chad E. Brown
    Journal of Automated Reasoning, 2013, 51 : 57 - 77
  • [45] 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
  • [46] Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
    Brown, Chad E.
    AUTOMATED DEDUCTION - CADA-23, 2011, 6803 : 147 - 161
  • [47] Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
    Brown, Chad E.
    JOURNAL OF AUTOMATED REASONING, 2013, 51 (01) : 57 - 77
  • [48] Comparing Approaches To Resolution Based Higher-Order Theorem Proving
    Christoph Benzmüller
    Synthese, 2002, 133 : 203 - 335
  • [49] Question answering over logic puzzles using theorem proving
    Groza, Adrian
    Nitu, Cristian
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 871 - 874
  • [50] A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
    Crouse, Maxwell
    Abdelaziz, Ibrahim
    Makni, Bassem
    Whitehead, Spencer
    Cornelio, Cristina
    Kapanipathi, Pavan
    Srinivas, Kavitha
    Thost, Veronika
    Witbrock, Michael
    Fokoue, Achille
    THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 6279 - 6287
12345