Craig Interpolation with Clausal First-Order Tableaux

被引：0
|
作者：
Wernhard, Christoph [1 ]
机构：
[1] Wernhard, Christoph
来源：
Wernhard, Christoph (info@christophwerhard.com) | 1600年 / Springer Science and Business Media B.V.卷 / 65期
关键词：
83;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Journal article (JA)
引用
收藏
页码：647 / 690
相关论文
共 50 条
  • [41] PREDICTOR-CORRECTOR METHOD FOR FIRST-ORDER DIFFERENTIAL EQUATIONS BY RECURSIVE INTERPOLATION
    MCKINNEY, EH
    SIAM REVIEW, 1972, 14 (03) : 534 - &
  • [42] Depth-first proof search without backtracking for free-variable clausal tableaux
    Beckert, B
    JOURNAL OF SYMBOLIC COMPUTATION, 2003, 36 (1-2) : 117 - 138
  • [43] First-order stable model semantics and first-order loop formulas
    Lee J.
    Meng Y.
    Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
  • [44] ANALYTIC TABLEAUX AND INTERPOLATION
    Kapetanovic, Miodrag
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2007, 82 (96): : 93 - 97
  • [45] First-Order Stable Model Semantics and First-Order Loop Formulas
    Lee, Joohyung
    Meng, Yunsong
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180
  • [46] Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference
    Kaminski, Mark
    Smolka, Gert
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 417 - 431
  • [47] FIRST-ORDER FRIENDLINESS
    Badia, Guillermo
    Makinson, David
    REVIEW OF SYMBOLIC LOGIC, 2024, 17 (04): : 1055 - 1069
  • [48] First-order leveling
    Avers, HG
    TRANSACTIONS-AMERICAN GEOPHYSICAL UNION, 1926, 7 (56): : 50 - 51
  • [49] Non-clausal Multi-ary α-Generalized Resolution Principle for a Lattice-valued First-Order Logic
    Xu, Yang
    Liu, Jun
    He, Xingxing
    Zhong, Xiaomei
    Chen, Shuwei
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE), 2015, : 1 - 7
  • [50] Is science first-order?
    Meyer, U
    ANALYSIS, 2002, 62 (04) : 305 - 308
12345