AUTOMATED DEDUCTION BY THEORY RESOLUTION.

被引：1
|
作者：
Stickel, Mark E. [1 ]
机构：
[1] SRI Int, Menlo Park, CA, USA, SRI Int, Menlo Park, CA, USA
来源：
Journal of Automated Reasoning | 1985年 / 1卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
AUTOMATA THEORY
引用
收藏
页码：333 / 355
相关论文
共 50 条
  • [1] Automated Deduction in Ring Theory
    Padmanabhan, Ranganathan
    Zhang, Yang
    [J]. MATHEMATICAL SOFTWARE, ICMS 2016, 2016, 9725 : 67 - 74
  • [2] INSTANTIATION THEORY - ON THE FOUNDATIONS OF AUTOMATED DEDUCTION
    WILLIAMS, JG
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 518 : UR8 - &
  • [3] A NOVEL GENERALIZATION OF RESOLUTION PRINCIPLE FOR AUTOMATED DEDUCTION
    Xu, Yang
    Liu, Jun
    Chen, Shuwei
    Zhong, Xiaomei
    [J]. UNCERTAINTY MODELLING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2016, 10 : 483 - 488
  • [4] Resolution.
    Lunn, B
    [J]. LIBRARY JOURNAL, 2002, 127 (09) : 126 - 126
  • [5] An automated deduction system for orthomodular lattice theory
    Homer, JK
    [J]. ICAI '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 2005, : 260 - 265
  • [6] Automated deduction
    [J]. 1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
  • [7] A TYPED RESOLUTION PRINCIPLE FOR DEDUCTION WITH CONDITIONAL TYPING THEORY
    WANG, TC
    [J]. ARTIFICIAL INTELLIGENCE, 1995, 75 (02) : 161 - 194
  • [8] Typed resolution principle for deduction with conditional typing theory
    Kestrel Inst, Palo Alto, United States
    [J]. Artif Intell, 2 (161-194):
  • [9] MEASURING CRT RESOLUTION.
    Carrado
    [J]. New Electronics, 1984, 17 (10): : 77 - 78
  • [10] The language of conflict and resolution.
    Glenn, PJ
    [J]. DISCOURSE & SOCIETY, 2002, 13 (05) : 691 - 692
12345