Special issue on automated reasoning with analytic tableaux - Preface

被引：0
|
作者：
Beckert, Bernhard
Paulson, Lawrence C.
机构：
[1] Univ Koblenz, AI Res Grp, Dept Comp Sci, D-56070 Koblenz, Germany
[2] Univ Cambridge, Comp Lab, Cambridge CB3 0FD, England
来源：
JOURNAL OF AUTOMATED REASONING | 2007年 / 38卷 / 1-3期
关键词：
Decision Procedure; Classical Logic; Description Logic; Propositional Theory; Revise Version;
D O I：
10.1007/s10817-006-9058-6
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1 / 2
页数：2
相关论文
共 50 条
  • [1] SPECIAL ISSUE ON - AUTOMATED REASONING WITH ANALYTIC TABLEAUX .1. PREFACE
    WRIGHTSON, G
    [J]. JOURNAL OF AUTOMATED REASONING, 1994, 13 (02) : 173 - 173
  • [2] Preface to the Special Issue on Automated Reasoning Systems
    Biere, Armin
    Tinelli, Cesare
    Weidenbach, Christoph
    [J]. JOURNAL OF AUTOMATED REASONING, 2020, 64 (03) : 361 - 362
  • [3] Preface to the Special Issue on Automated Reasoning Systems
    Armin Biere
    Cesare Tinelli
    Christoph Weidenbach
    [J]. Journal of Automated Reasoning, 2020, 64 : 361 - 362
  • [4] Preface to the special issue on tableaux
    Wrightson, Graham
    [J]. Journal of Automated Reasoning, 1994, 13 (02)
  • [5] Special issue on practical aspects of automated reasoning Preface
    Konev, Boris
    Schmidt, Renate A.
    Schulz, Stephan
    [J]. AI COMMUNICATIONS, 2010, 23 (2-3) : 67 - 68
  • [6] Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning"
    Bauer, Lujo
    Etalle, Sandro
    den Hartog, Jerry
    Vigano, Luca
    [J]. JOURNAL OF AUTOMATED REASONING, 2011, 46 (3-4) : 223 - 224
  • [7] Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
    Lujo Bauer
    Sandro Etalle
    Jerry den Hartog
    Luca Viganò
    [J]. Journal of Automated Reasoning, 2011, 46 : 223 - 224
  • [8] Preface: Special Issue on Uncertain Reasoning
    Yang Xiang
    Kevin Grant
    [J]. Journal of Automated Reasoning, 2010, 45 : 1 - 2
  • [9] Preface to the special issue on geometric reasoning
    Jacques Fleuriot
    Tetsuo Ida
    [J]. Annals of Mathematics and Artificial Intelligence, 2016, 77 : 155 - 156
  • [10] Preface to the special issue on informal reasoning
    Thompson, VA
    [J]. CANADIAN JOURNAL OF EXPERIMENTAL PSYCHOLOGY-REVUE CANADIENNE DE PSYCHOLOGIE EXPERIMENTALE, 2004, 58 (02): : 65 - 66
12345