Titlebook: ICDT ‘88; 2nd International Co Marc Gyssens,Jan Paredaens,Dirk Gucht Conference proceedings 1988 Springer-Verlag Berlin Heidelberg 1988 alg

Camouflage

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

Improving integrity constraint checking in deductive databases,

同义联想法

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.

干涉

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.

错误

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

不感兴趣

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

弯腰

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