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网络公开度




书目名称Computational Logic网络公开度学科排名




书目名称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.