GWAI-81

Inhaltsverzeichnis

• 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 Systemfor 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).