GWAI-83 7th German Workshop on Artificial Intelligence Dassel/Solling, September 19–23, 1983

Expertensysteme.- Esdat - An Expert System for Primary Medical Care.- Overview on Med1: A Heuristic Diagnostics System with an Efficient Control-Structure.- Ki-Programmiersprachen.- Ist LISP eine ‘langsame’ Sprache?.- Bild- Und Sprachverstehen.- Control Strategies in Image and Speech Understanding (eingeladener Übersichtsbeitrag).- A System for Diagnostic Evaluation of Scintigraphic Image Sequences.- Syrio: A Knowledge-Based Approach to 2-D Robotic Vision.- Natürlichsprachliche Systeme.- Ein Vehiquel für den natürlichsprachlichen Zugang Zu datenbanken.- Parsing in PROLOG - Eine semantische Komponente.- Oberflächentransformationen bei der Generierung geschriebener deutscher Sprache.- On Verbalizing Real-World Events: An Interface of Natural Language and Vision.- Zur Generierung Zusammenhängender Texte.- Logik.- Logische Systeme und Repräsentationsprobleme (eingeladener Übersichtsbeitrag).- Wissensrepräsentation.- An Overview of Knowledge Representation (eingeladener Übersichtsbeitrag).- Partnermodellierung Im Evidenzraum.- Kontrainduktives Lernen von Konzepten aus Fakten.- Problemlösen Und Automatisches Beweisen.- On the Use of Operation Information in Problem Solving.- Unifikationsgraphen für Intelligentes Backtracking in Deduktionssystemen.- Properties of Substitutions and Unifications.- Proof Search for Unprovable Formulas.- Ein Regelbasiertes Klauselgraph-Beweisverfahren.- A Technical Note on Splitting and Clausal Normal Form Algorithms.- Vollständige Reduktionssysteme.