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

E-Book, Deutsch, Band 151, 181 Seiten, eBook

Reihe: Informatik-Fachberichte

Buchberger / Retti 3. Österreichische Artificial-Intelligence-Tagung

Wien, 22–25. September 1987
1987
ISBN: 978-3-642-46620-5
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Wien, 22–25. September 1987

E-Book, Deutsch, Band 151, 181 Seiten, eBook

Reihe: Informatik-Fachberichte

ISBN: 978-3-642-46620-5
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Buchberger / Retti 3. Österreichische Artificial-Intelligence-Tagung jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Buchberger, Ernst
Retti, Johannes

Weitere Infos & Material

Bildverstehen.- Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse.- Problemlösen.- Probabilities in Game-Playing: Possible Meanings and Applications.- Knowledge Base Management.- The RQA/FQI Strategy — Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management Systems.- Natürlichsprachige Systeme.- Towards Automatic Semantic Classification for a Natural Language Understanding System.- Parsing Phonetic Segments into Syllables.- Knowledge Engineering.- Knowledge Engineering mit KNOPF.- PAMELA — Eine deklarative Programmiersprache für Echtzeit-Anwendungen.- Ein Werkzeug zum Wissenserwerb.- Expertensysteme.- LST1 — Ein wissensbasiertes System zur Durchführung und Berechnung des Lohnsteuerjahresausgleichs.- Wissensbasierte Fehlererkennung und Fehlerbehebung mit Hilfe eines objektorientierten Modells in ARTEX.- Caching and Consistency, a Solution in RLL-1.- Logic & Programming.- VIP — Eine integrierte Programmierumgebung für Prolog.- On the Integration of Equality, Sorts, and Logic Programming.- Taxonomical Reasoning in Logic Programming.- Synthesis of Specifications from Programs.- Reasoning about Theories with a Finite Model.- Automatisches Beweisen für Logiksysteme, in denen Widersprüche behandelt werden können.

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.