×
GWAI-83
7th German Workshop on Artificial Intelligence Dassel/Solling, September 19–23, 1983
herausgegeben von B. de NeumannInhaltsverzeichnis
- 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.