GWAI-82: 6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. – Oct. 1, 1982 (Informatik-Fachberichte, 58) (English and German Edition)

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