GWAI-82: 6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. – Oct. 1, 1982

Front Matter....Pages I-VI
Knowledge Sources for Understanding and Describing Image Sequences....Pages 1-21
On the Selection of Verbs for Natural Language Description of Traffic Scenes....Pages 22-31
Symbolic Description and Matching of Image Sequences....Pages 32-41
Some fundamental issues in knowledge representation....Pages 42-62
Konsistenzüberprüfungen bei sich verändernden Wissensbasen....Pages 63-71
Automatische Akquisition von inferentiellem Wissen....Pages 72-81
Zur Repraesentation indefinit deskribierter Objekte in KI-Systemen....Pages 82-91
N.N. : A View of Planning in Chess....Pages 92-101
Universal Unification....Pages 102-141
Der META-Beweiser für die Zahlentheorie....Pages 142-152
Proofs by Induction in “Fairly” Specified Equational Theories....Pages 154-166
Inductive Inference in Finite Algebraic Structures....Pages 167-176
Universal Unification and a Class of Equational Theories....Pages 177-190
Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets....Pages 191-204
Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing-Algorithmus auf der Grundlage kaskadierter ATNs....Pages 205-214
ATN — Steuerung Durch Kasusrahmen....Pages 215-226
Ellipsmrekonstruktion im Kotext: Forderungen an eine Ellipsmkomponmte und ihre Realisierung in SWYSS....Pages 227-236
Natural Language Access to Prolog Database Systems....Pages 237-246