Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Österreichische Artificial Intelligence-Tagung

E-BookPDF1 - PDF WatermarkE-Book
214 Seiten
Mehrsprachig
Springer Berlin Heidelbergerschienen am13.03.20131985
Verfügbare Formate
BuchKartoniert, Paperback
EUR54,99
E-BookPDF1 - PDF WatermarkE-Book
EUR42,99

Produkt

Details
Weitere ISBN/GTIN9783642465529
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2013
Erscheinungsdatum13.03.2013
Auflage1985
ReiheSubreihe Künstliche Intelligenz
Seiten214 Seiten
SpracheMehrsprachig
IllustrationenVIII, 214 S.
Artikel-Nr.6525256
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
Expertensysteme.- Überlegungen zur Konsistenztestproblematik von Wissensbasen am Beispiel des medizinischen Expertensystems CADIAG-1.- "Knowledge Engineering" und "Agenda"-Entwurf für ein Fehlerdiagnosesystem.- Developmental Facilities in an Expert System for Network Troubleshooting.- Ein Expertensystem als Bindeglied zwischen CAD und CAM.- VIE-PCX - Ein Expert System Shell für den PC.- Natürlichsprachige Systeme.- Morphologische Analyse und intelligente Fehlerkorrektur in VIE-LANG.- A Heuristic Model for Treatment of Vague Time Descriptions.- GRAPHON - Ein System zur Sprachsynthese bei Texteingabe.- Parsing mit Controlled Active Procedures.- Wissenserwerb und Learning.- The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence.- Maschinelles Lernen mit heuristisch generierten Modellen.- Knowledge Acquisition in the System VIE-LANG.- AI-Tools.- Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components.- The L-Language for the Parallel L-Machine.- VIE-KET: Frames + Prolog.- Remember - A Capability of Intelligent Software Tools.- AI-Entwicklungsumgebungen.- Automatisches Beweisen und Programmieren.- Eine Methode zur automatischen Problemreduktion.- The LOPS-Approach: Towards New Syntheses of Algorithms.- PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction.- The Simplifier of the Program Verifier "Tatzelwurm".- Spiele.- What Happened with AI's Drosophila?.- Auswirkungen.- TA of AI.mehr