REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS

被引：102

|

作者：

HSIANG, J

机构：

来源：

ARTIFICIAL INTELLIGENCE | 1985年 / 25卷 / 03期

关键词：

D O I：

10.1016/0004-3702(85)90074-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：255 / 300

页数：46

相关论文

共 50 条

[31] THE TPS THEOREM-PROVING SYSTEM
ANDREWS, PB
PFENNING, F
ISSAR, S
KLAPPER, CP
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 663 - 664
[32] AN APPROACH TO ANALOGICAL THEOREM-PROVING
LU, J
BO, Y
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 19 : 285 - 294
[33] AUTOMATED THEOREM-PROVING METHODS
NOSSUM, R
BIT, 1985, 25 (01): : 51 - 64
[34] THEOREM-PROVING AND SOFTWARE ENGINEERING
JONES, CB
SOFTWARE ENGINEERING JOURNAL, 1988, 3 (01): : 2 - 2
[35] Approximation and normalization results for typeable term-rewriting systems
vanBakel, S
Fernandez, M
HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 17 - 36
[36] HYPEREDGE REPLACEMENT JUNGLE REWRITING FOR TERM-REWRITING SYSTEMS AND LOGIC PROGRAMMING
CORRADINI, A
ROSSI, F
THEORETICAL COMPUTER SCIENCE, 1993, 109 (1-2) : 7 - 48
[37] A SUBSUMPTION ARCHITECTURE FOR THEOREM-PROVING
BUNDY, A
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1994, 349 (1689): : 71 - 85
[38] A MACHINE PROGRAM FOR THEOREM-PROVING
DAVIS, M
LOGEMANN, G
LOVELAND, D
COMMUNICATIONS OF THE ACM, 1962, 5 (07) : 394 - 397
[39] THEOREM-PROVING LANGUAGE FOR EXPERIMENTATION
HENSCHEN, L
OVERBEEK, R
WOS, L
COMMUNICATIONS OF THE ACM, 1974, 17 (06) : 308 - 314
[40] THEOREM-PROVING WITH RESOLUTION AND SUPERPOSITION
RUSINOWITCH, M
JOURNAL OF SYMBOLIC COMPUTATION, 1991, 11 (1-2) : 21 - 49

← 1 2 3 4 5 →