

Beschreibung
Inhalt 1 (Hrsg. J. Retti).- Eingeladene Hauptvorträge.- Temporal Issues in Qualitative Reasoning.- Current Issues in Natural Language Understanding.- Equational Theorem Proving and Rewrite Rule Systems.- Wissensbasierte Systeme.- Strukturierte Wissenserhebung ...