3. Österreichische Artificial-Intelligence-Tagung : Wien, 22.-25. September 1987 : Proceedings
Author(s)
Bibliographic Information
3. Österreichische Artificial-Intelligence-Tagung : Wien, 22.-25. September 1987 : Proceedings
(Informatik-Fachberichte, 151)
Springer, 1987
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Note
***記述は遡及データによる
Description and Table of Contents
Table of Contents
Bildverstehen.- Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse.- Problemloesen.- 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.- Naturlichsprachige 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 fur Echtzeit-Anwendungen.- Ein Werkzeug zum Wissenserwerb.- Expertensysteme.- LST1 - Ein wissensbasiertes System zur Durchfuhrung 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 fur 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 fur Logiksysteme, in denen Widerspruche behandelt werden koennen.
by "Nielsen BookData"