Retti / Trost | Österreichische Artificial Intelligence-Tagung | Buch | 978-3-540-15695-6 | sack.de

Buch, Deutsch, 214 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 395 g

Reihe: Subreihe Künstliche Intelligenz

Retti / Trost

Österreichische Artificial Intelligence-Tagung

Wien, 24.-27. September 1985
1. Auflage 1985
ISBN: 978-3-540-15695-6
Verlag: Springer Berlin Heidelberg

Wien, 24.-27. September 1985

Buch, Deutsch, 214 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 395 g

Reihe: Subreihe Künstliche Intelligenz

ISBN: 978-3-540-15695-6
Verlag: Springer Berlin Heidelberg


Springer Book Archives

Retti / Trost Österreichische Artificial Intelligence-Tagung jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


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.



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.