Inhalt

Beschreiben und Verstehen Von Bildfolgen.- Knowledge Sources for Understanding and Describing Image Sequences (Hauptvortrag).- On the Selection of Verbs for Natural Language Description of Traffic Scenes.- Symbolic Description and Matching of Image Sequences.- Akquisition und Repräsentation von Wissen.- Some Fundamental Issues in Knowledge Representation (Hauptvortrag).- Konsistenzüberprüfung bei sich verändernden Wissensbasen.- Automatische Akquisition von inferentiellem Wissen.- Zur Reprà sentation indefinit deskribierter Objekte in Kl-Systemen.- N.N.: A View of Planning in Chess.- Unifikation und Deduktion.- Universal Unification (Hauptvortrag).- Der META-Beweiser für die Zahlentheorie.- Proofs by Induction in 'Fairly' Specified Equational Theories.- Inductive Inference in Finite Algebraic Structures.- Universal Unification and a Class of Equational Theories.- Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets.- NatÃoerlichsprachliche systeme.- Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing- Algorithmus auf der Grundlage kaskadierter ATNs.- ATN-Steuerung durch Kasusrahmen.- Ellipsenrekonstruktion im Kotext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS.- Natural Language Access to PROLOG Database Systems.