Titlebook: GWAI-91 15. Fachtagung für Künstliche Intelligenz; Bonn, 16.-20. Septem Thomas Christaller Conference proceedings 1991 Springer-Verlag Berl

fibrous-plaque

书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz影响因子(影响力)




书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz影响因子(影响力)学科排名




书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz网络公开度




书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz网络公开度学科排名




书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz被引频次




书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz被引频次学科排名




书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz年度引用




书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz年度引用学科排名




书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz读者反馈




书目名称GWAI-91 15. Fachtagung für Künstliche Intelligenz读者反馈学科排名

使更活跃

A Completeness Proof Technique for Resolution with Equalitywell-known semantic trees. We will show how to enumerate E-interpretations with a device called semantic E-tree and show how such a tree can be used as a basis for a refutation of a given unsatisfiable clause set. As a side effect of our proof technique we obtain new high-level inference rules for t

Stable-Angina

Answers for disjunctive logic programs and a result concerning its correspondence to a minimal model semantics is improved. As an operational semantics V-resolution is proposed and its answer correctness and completeness is proved. Finally the use of the splitting rule for computing answers for disjunctive logic programs is depicted.

招惹

Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformationd durch die SIP-Auswahl (sideways information passing) entscheidend beeinflußt. In bisherigen Systemen wird vor allem ein regellokaler reiner links-rechts SIP verwendet. In diesem Papier wird eine Datenstruktur, der AND/OR-SIP Graph, und ein kombinierter Such- und Generierungsalgorithmus darauf, der

沐浴

Scintigraphy

Scintigraphy

Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novdomain contain very valuable planning knowledge. In order to make this compiled knowledge re-usable for novel situations, a specific integrated knowledge acquisition method has been developed: First, a domain theory is established from documentation materials or texts, which is then used as the foun

不公开

absolve

相互影响