Update by means of inference rules

被引：0

作者：

Przymusinski, TC ^{[1
]}

Turner, H ^{[1
]}

机构：

[1] UNIV TEXAS, DEPT COMP SCI, AUSTIN, TX 78712 USA

来源：

LOGIC PROGRAMMING AND NONMONOTONIC REASONING | 1995年 / 928卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：156 / 174

页数：19

共 50 条

[31] RULES OF INFERENCE FOR PROCEDURE CALLS
ERNST, GW
ACTA INFORMATICA, 1977, 8 (02) : 145 - 152
[32] Table admissible inference rules
V. V. Rimatskii
Algebra and Logic, 2009, 48 : 228 - 236
[33] The Inference Graph of Cybersecurity Rules
Sheniar, Dawood
Hadaad, Nabeel
Addie, Ron
2019 29TH INTERNATIONAL TELECOMMUNICATION NETWORKS AND APPLICATIONS CONFERENCE (ITNAC), 2019,
[34] INFERENCE RULES FOR PROBABILITY LOGIC
Boricic, Marija
PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2016, 100 (114): : 77 - 86
[35] PARTIAL EVALUATION WITH INFERENCE RULES
HASCOET, L
NEW GENERATION COMPUTING, 1988, 6 (2-3) : 187 - 209
[36] The inference processes on clustered rules
Nowak, Agnieszka
Wakulicz-Deja, Alicja
INTELLIGENT INFORMATION PROCESSING AND WEB MINING, PROCEEDINGS, 2006, : 403 - +
[37] INFERENCE RULES FOR PROGRAM ANNOTATION
DERSHOWITZ, N
MANNA, Z
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (02) : 207 - 222
[38] Inference rules and inferential distributions
vanBerkum, FEM
Linssen, HN
Overdijk, DA
JOURNAL OF STATISTICAL PLANNING AND INFERENCE, 1996, 49 (03) : 305 - 317
[39] Globally Admissible Inference Rules
Rimatskiy, Vitaliy V.
BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS, 2022, 42 : 138 - 160
[40] COMMUNICATION MECHANISMS AND THEIR INFERENCE RULES
周巢尘
ScienceinChina,SerA., 1984, Ser.A.1984 (07) : 757 - 765