Titlebook: GWAI-90 14th German Workshop on Artificial Intelligence; Eringerfeld, 10.–14. Heinz Marburger Conference proceedings 1990 Springer-Verlag B

一再煩擾

善于

Systems, Processes, and Types of Thinking,estellt. Ferner werden offene Fragen angesprochen, die mit dieser Architektur untersucht werden sollen. Die in diesem Beitrag gew?hlten Beispiele entstammen einer Anwendung für verkehrssichernde und -optimierende Systeme.

序曲

Concerto

嫌惡

Graphite

可行

為敵

Modellierung von Szenarien Kooperierender Akteureestellt. Ferner werden offene Fragen angesprochen, die mit dieser Architektur untersucht werden sollen. Die in diesem Beitrag gew?hlten Beispiele entstammen einer Anwendung für verkehrssichernde und -optimierende Systeme.

天然熱噴泉

Hybrid Inferences in KL-ONE-based Knowledge Representation Systemsepts for describing a terminology. On the other hand, the assertional formalism allows to introduce objects, which are instances of concepts and relations of a terminology. We present algorithms for hybrid inferences such as

富饒