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

Front Matter....Pages I-VI
ESDAT - An Expert System for Primary Medical Care....Pages 1-10
Overview on Med1: A Heuristic Diagnostics System with an Efficient Control-Structure....Pages 11-20
Ist Lisp Eine ‘Langsame’ Sprache?....Pages 21-30
Control Strategies in Image and Speech Understanding....Pages 31-49
A System for Diagnostic Evaluation of Scintigraphic Image Sequences....Pages 50-59
Syrio: A Knowledge-Based Approach to 2-D Robotic Vision....Pages 60-68
Ein Vehiquel für Den Natürlichsprachlichen Zugang Zu Datenbanken....Pages 69-79
Parsing in PROLOG — Eine semantische Komponente....Pages 80-89
Oberflächentransformationen Bei der Generierung Geschriebener Deutscher Sprache....Pages 90-99
On Verbalizing Real-World Events: An Interface of Natural Language and Vision....Pages 100-107
Zur Generierung Zusammenhängender Texte....Pages 108-117
Logische Systeme und Repräsentationsprobleme....Pages 118-142
An Overview of Knowledge Representation....Pages 143-157
Partnermodellierung Im Evidenzraum....Pages 158-168
Kontrainduktives Lernen von Konzepten aus Fakten....Pages 169-178
On the Use of Operation Information in Problem Solving....Pages 179-188
Unifikationsgraphen für Intelligentes Backtracking in Deduktionssystemen....Pages 189-196
Properties of Substitutions and Unifications....Pages 197-206
Proof Search for Unprovable Formulas....Pages 207-215
Ein Regelbasiertes Klauselgraph-Beweisverfahren....Pages 216-224
A Technical Note on Splitting and Clausal Normal Form Algorithms....Pages 225-232
Vollständige Reduktionssysteme....Pages 233-240
Back Matter....Pages 241-241