UID:
almahu_9948621152902882
Format:
VI, 240 p. 4 illus.
,
online resource.
Edition:
1st ed. 1983.
ISBN:
9783642693915
Series Statement:
Informatik-Fachberichte, 76
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.
In:
Springer Nature eBook
Additional Edition:
Printed edition: ISBN 9783540128717
Additional Edition:
Printed edition: ISBN 9783642693922
Language:
English
DOI:
10.1007/978-3-642-69391-5
URL:
https://doi.org/10.1007/978-3-642-69391-5