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 条

[21] On If-Then-Else inference rules
Ruan, D
Kerre, EE
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 1420 - 1425
[22] Table admissible inference rules
Rimatskii, V. V.
ALGEBRA AND LOGIC, 2009, 48 (03) : 228 - 236
[23] Scientific Fictions as Rules of Inference
Suarez, Mauricio
FICTIONS IN SCIENCE: PHILOSOPHICAL ESSAYS ON MODELING AND IDEALIZATION, 2009, : 158 - 178
[24] Eight Inference Rules for Implication
Arndt, Michael
STUDIA LOGICA, 2019, 107 (04) : 781 - 808
[25] Eight Inference Rules for Implication
Michael Arndt
Studia Logica, 2019, 107 : 781 - 808
[26] Presenting and combining inference systems presentations with inference rules
Pawlowski, W
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 409 - 424
[27] GENERAL STATEMENTS AS RULES OF INFERENCE
ALEXANDER, HG
MINNESOTA STUDIES IN THE PHILOSOPHY OF SCIENCE, 1958, 2 : 309 - 329
[28] COMMUNICATION MECHANISMS AND THEIR INFERENCE RULES
周巢尘
Science China Mathematics, 1984, (07) : 757 - 765
[29] Restricted Rules of Inference and Paraconsistency
Basu, Sankha S.
Chakraborty, Mihir K.
LOGIC JOURNAL OF THE IGPL, 2022, 30 (03) : 534 - 560
[30] SHACL Constraints with Inference Rules
Pareti, Paolo
Konstantinidis, George
Norman, Timothy J.
Sensoy, Murat
SEMANTIC WEB - ISWC 2019, PT I, 2019, 11778 : 539 - 557