|
" GWAI-83 : "
edited by Bernd Neumann.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
752857
|
| Doc. No
|
:
|
b572816
|
| Main Entry
|
:
|
edited by Bernd Neumann.
|
| Title & Author
|
:
|
GWAI-83 : : 7th German Workshop on Artificial Intelligence Dassel/Solling, September 19-23, 1983\ edited by Bernd Neumann.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1983
|
| Series Statement
|
:
|
Informatik-Fachberichte, 76.
|
| Page. NO
|
:
|
(volumes)
|
| ISBN
|
:
|
3642693911
|
|
|
:
|
: 9783642693915
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Artificial intelligence.
|
| Subject
|
:
|
Computer science.
|
| LC Classification
|
:
|
Q334.E358 1983
|
| Added Entry
|
:
|
Bernd Neumann
|
| |