Computersehen und Roboterforschung -- Models and Structures in Image Processing (Hauptvortrag) -- On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objects (Fachvortrag) -- Robotics Research: From Toy Worlds to Industrial Applications (Hauptvortrag) -- Natürlichsprachliche KI-Systeme -- Natürlichsprachliche KI-Systeme: Entwicklungsstand und Forschungsperspektive (Hauptvortrag) -- SWISS - A Natural Language Question Answering System for Scene Analysis (Fachvortrag) -- Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic Scene (Fachvortrag) -- Aspekte der rechnergestützten Generierung von Inferenzregeln durch Regelschemata (Fachvortrag) -- Expertensysteme/Verarbeitung Natürlicher Sprache -- Expert Systems: State of the Art and Future Prospects (Hauptvortrag) -- An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types (Fachvortrag) -- Context Directed Translation (Fachvortrag) -- GLP: A Linguistic Processor (Abstract) -- KI-Sprachen und Deren Anwendungen -- AI Languages and AI Machines: An Overview (Hauptvortrag) -- A Concurrent Chart Parser (Abstract) -- A Parallel Connection Graph Proof Procedure (Fachvortrag) -- Integrated Knowledge-Based Information Manipulation Systems (Abstract) -- Automatisches Beweisen und Connectiongraphverfahren -- Mating in Matrices (Hauptvortrag) -- Subsumption and Connectionsgraphs (Fachvortrag) -- Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof Procedure (Abstract) -- Elimination of Redundant Links in Extended Connection Graphs (Fachvortrag) -- Termersetzungssysteme und Automatisches Beweisen -- Term Reduction Systems and Algebraic Algorithms (Hauptvortrag) -- A Noetherian Rewrite System for Idempotent Semigroups (Fachvortrag) -- On the Completeness of Connection Graph Resolution (Abstract) -- Generating small Models of First Order Axioms (Fachvortrag) -- Programmverifikation/Sprache/Spiele -- Programmverification at Stanford: Past, Present Future (Hauptvortrag) -- A System for Understanding Continuous German Speech (Fachvortrag) -- Verarbeitung von externer und interner Situation in Überzeugungssystemen (Fachvortrag) -- Structures for Knowledge-Based Chess Programs (Fachvortrag) -- Informationsgewinnung durch automatisches Erzeugen zielbezogener Fragen (Fachvortrag).