Trost / Retti | Österreichische Artificial Intelligence-Tagung | E-Book | sack.de
E-Book

E-Book, Deutsch, 214 Seiten, eBook

Reihe: Subreihe Künstliche Intelligenz

Trost / Retti Österreichische Artificial Intelligence-Tagung

Wien, 24.–27. September 1985
1985
ISBN: 978-3-642-46552-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

Wien, 24.–27. September 1985

E-Book, Deutsch, 214 Seiten, eBook

Reihe: Subreihe Künstliche Intelligenz

ISBN: 978-3-642-46552-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark



Trost / Retti Ö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.