de Neumann | GWAI-83 | Buch | 978-3-540-12871-7 | sack.de

Buch, Englisch, Deutsch, Band 76, 240 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 442 g

Reihe: Informatik-Fachberichte

de Neumann

GWAI-83

7th German Workshop on Artificial Intelligence Dassel/Solling, September 19-23, 1983
Softcover Nachdruck of the original 1. Auflage 1983
ISBN: 978-3-540-12871-7
Verlag: Springer Berlin Heidelberg

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

Buch, Englisch, Deutsch, Band 76, 240 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 442 g

Reihe: Informatik-Fachberichte

ISBN: 978-3-540-12871-7
Verlag: Springer Berlin Heidelberg

Erstellen der Druckvorlagen.

de Neumann GWAI-83 jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

De Neumann, B.

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.