Incremental methods for optimizing partial instantiation

被引：0

|

作者：

机构：

来源：

Int J Pressure Vessels Piping | / 2卷 / 287期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] Incremental methods for optimizing partial instantiation
Ng, RT
Tian, XM
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 287 - 301
[2] Incremental algorithms for optimizing model computation based on partial instantiation
Univ of British Columbia, Vancouver, Canada
J Logic Program, 3 (179-204):
[3] Incremental algorithms for optimizing model computation based on partial instantiation
Ng, RT
Tian, XM
JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (03): : 179 - 204
[4] Partial Instantiation Methods for Inference in First-Order Logic
J. N. Hooker
G. Rago
V. Chandru
A. Shrivastava
Journal of Automated Reasoning, 2002, 28 : 371 - 396
[5] Partial instantiation methods for inference in first-order logic
Hooker, J.N., 1600, Kluwer Academic Publishers (28):
[6] Partial instantiation methods for inference in first-order logic
Hooker, JN
Rago, G
Chandru, V
Shrivastava, A
JOURNAL OF AUTOMATED REASONING, 2002, 28 (04) : 371 - 396
[7] Instantiation is not partial identity
Mantegani, Nicholas
PHILOSOPHICAL STUDIES, 2013, 163 (03) : 697 - 715
[8] Instantiation as Partial Identity
Alvarado Marambio, Jose Tomas
ORGANON F, 2012, 19 (04) : 459 - 487
[9] Instantiation is not partial identity
Nicholas Mantegani
Philosophical Studies, 2013, 163 : 697 - 715
[10] Instantiation as partial identity
Baxter, DLM
AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2001, 79 (04) : 449 - 464

← 1 2 3 4 5 →