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影響因子(影響力)學(xué)科排名




書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz網(wǎng)絡(luò)公開度




書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz被引頻次




書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz被引頻次學(xué)科排名




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




書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz年度引用學(xué)科排名




書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz讀者反饋




書目名稱GWAI-91 15. Fachtagung für Künstliche Intelligenz讀者反饋學(xué)科排名

使更活躍

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

相互影響