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

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

by B. de Neumann (Editor)

Paperback(Softcover reprint of the original 1st ed. 1983)

$149.00
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, August 29

Product Details

ISBN-13: 9783540128717
Publisher: Springer Berlin Heidelberg
Publication date: 01/27/1984
Series: Informatik-Fachberichte , #76
Edition description: Softcover reprint of the original 1st ed. 1983
Pages: 240
Product dimensions: 6.69(w) x 9.61(h) x 0.02(d)

Table of 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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews