3. sterreichische Artificial-Intelligence-Tagung Wien, 2225. September 1987 [Paperback]

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.Springer Book ArchivesDE