Titlebook: Computational Logic; Symposium Proceeding John W. Lloyd Conference proceedings 1990 ECSC — EEC — EAEC, Brussels — Luxembourg 1990 Access.De

可樂

書目名稱Computational Logic影響因子(影響力)




書目名稱Computational Logic影響因子(影響力)學科排名




書目名稱Computational Logic網(wǎng)絡公開度




書目名稱Computational Logic網(wǎng)絡公開度學科排名




書目名稱Computational Logic被引頻次




書目名稱Computational Logic被引頻次學科排名




書目名稱Computational Logic年度引用




書目名稱Computational Logic年度引用學科排名




書目名稱Computational Logic讀者反饋




書目名稱Computational Logic讀者反饋學科排名

Malleable

ADORE

On Asking What a Database Knows,nces about what the database knows, not, as is usually the case, as first order sentences about the external world. On this view, integrity constraints are modal sentences and hence are formally identical to a strict subset of the permissible database queries. Integrity maintenance then becomes form

novelty

同位素

和藹

on of the future. Secondly, this volume is the first of an ESPRIT Basic Research Series of publications of research results. It is expected that the quality of content and broad distribution of this series will have a major impact in making the advances achieved accessible to the world of academic and industr978-3-642-76276-5978-3-642-76274-1

和藹

只有

https://doi.org/10.1007/978-3-663-05106-0gic. The interface between these two different modes of reasoning is accomplished by a new rule of inference, called .. Correctness, completeness as well as the decidability of the constraints (in a restricted constraint language) are shown.

Infraction

Phonophobia

https://doi.org/10.1007/978-3-642-99711-2function of the models of the argument theories. Some examples from default reasoning, knowledge assimilation, inheritance networks and hypothetical reasoning are presented to demonstrate the expressive power of the operators.