{"product_id":"bernd-neumann-gwai-83-9783540128717","title":"GWAI-83","description":"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.","brand":"Springer Vieweg","offers":[{"title":"Default Title","offer_id":53661669589334,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783540128717_1.jpg?v=1778843217","url":"https:\/\/www.momoxbooks.com\/products\/bernd-neumann-gwai-83-9783540128717","provider":"momoxbooks","version":"1.0","type":"link"}