3. Österreichische Artificial-Intelligence-Tagung : Wien, 22.-25. September 1987 : Proceedings
著者
書誌事項
3. Österreichische Artificial-Intelligence-Tagung : Wien, 22.-25. September 1987 : Proceedings
(Informatik-Fachberichte, 151)
Springer, 1987
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
***記述は遡及データによる
内容説明・目次
目次
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.
「Nielsen BookData」 より