Camouflage
发表于 2025-3-25 04:15:18
R. P. Cheetham,B. J. Oommen,D. T. H. Ng warm-back monitoring within a subsequent shut-in period would allow for accurate determination of the spatial extent and injectivity of individual CO. injection intervals..Application of the PNG (pulsed neutron gamma) method for estimation of saturation changes is hampered under the considered cond
intellect
发表于 2025-3-25 09:28:34
Improving integrity constraint checking in deductive databases,
同义联想法
发表于 2025-3-25 15:41:58
On the semantics of rule-based expert systems with uncertainty,ctive databases. Treatment of negation and conflicting evidence based on, so called, support logic is given in the last part of the paper, where we extend the semantics of stratified programs to deal with uncertainty.
干涉
发表于 2025-3-25 19:06:27
Efficient consistency control in deductive databases,s into the checking process. Second, deductive rules are organized into a graph to avoid searching for applicable rules in the proof procedure. This graph resembles a connection graph, however, a new method of interpreting it avoids the introduction of new clauses and links.
错误
发表于 2025-3-25 22:20:14
Deciding whether a production rule is relational computable,lidity of these conditions. Finally, we propose two algorithms which are derived from the previous method. The first one gave sufficient syntactic conditions for a rule to be relational computable. The second one gave sufficient semantic conditions and leads to check integrity constraints over the d
jungle
发表于 2025-3-26 03:03:44
http://reply.papertrans.cn/47/4601/460100/460100_26.png
不感兴趣
发表于 2025-3-26 08:15:37
n solving problems. An object can be a data/rule base or an agent which can be intelligent or unintelligent. The paper investigates the issues in CKBS from a database perspective, which is distinguished from the AI perspective by its emphasis on a common architecture with well-defined components and
confederacy
发表于 2025-3-26 08:29:01
http://reply.papertrans.cn/47/4601/460100/460100_28.png
弯腰
发表于 2025-3-26 15:25:39
Catriel Beeri industry, in order to discuss the issues of the next generation of knowledge based systems, namely Cooperating Knowledge Based Systems or CKBS for short. As the area of CKBS is new, we intended it to be an ideas conference - a conference where interesting new ideas, rather than results from complet
SEED
发表于 2025-3-26 17:40:02
http://reply.papertrans.cn/47/4601/460100/460100_30.png