عنوان

GWAI-83 :

(Number (ISBN

3642693911

(Number (ISBN

9783642693915

Number

b572816

Title Proper

GWAI-83 :

General Material Designation

[Book]

Other Title Information

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

First Statement of Responsibility

edited by Bernd Neumann.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1983

Specific Material Designation and Extent of Item

(volumes)

Series Title

Informatik-Fachberichte, 76.

Text of Note

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.

Artificial intelligence.

Computer science.

Class number

Book number

edited by Bernd Neumann.

Bernd Neumann

Electronic name

[Book]

Y