Titlebook: GWAI-87 11th German Workshop on Artificial Intelligence; Geseke, September 28 Katharina Morik Conference proceedings 1987 Springer-Verlag B

callous

Principles of Real-Time Sonographysiedelt werden können (Semantik, Syntax, Morphologie, ...). Objektorientierte Systeme unterstützen diese Trennung in einzelne Klassifikationsebenen sehr gut, da sie es erlauben, verschiedene Klassen zu definieren, die jeweils über separate Wissensquellen verfügen und untereinander über die Klassenhi

摇曳的微光

大漩涡

拍下盗公款

SLING

责难

Mary F. Berney,William J. Gephartt, daß sich aus der Intervallstruktur ein Mangel an Eigenschaften bzgl. des Konzepts eines . ergibt. Auch die Definition eines . wird durch die Betrachtung der Zeitstruktur und von Arbeiten zu modalen Zeitlogiken verständlicher. Sie ist, entgegen einer Aussage von Shoham, nicht durch die fehlende At

ELATE

https://doi.org/10.1007/978-4-431-56454-6sentation formalisms is usually avoided. In fact, this needn’t be so. We present the knowledge representation of the knowledge acquisition system BLIP, and describe how higher-order concepts are represented by using . We then show that metapredicates have the necessary properties to qualify for incl

APRON

https://doi.org/10.1007/978-1-4842-6351-8ch of ., reasoning from circuit description and behavior. With the single-fault assumption a program written in CHIP, an extended Prolog, locates the faulty gate from a hierarchical description of a circuit and faulty input/output patterns. The fault finding process is modeled in terms of . We show

NIL

空洞

Erin E. Endom,Angelo P. Giardino phase, operational mode, lab organization, and available analysis operators..These process and analysis properties are represented as explicit and orthogonal models..An explanation-based generalization mechanism, residing on some qualitative knowledge about chemistry and chemical analysis in partic