E-Books durchsuchen

3. Österreichische Artificial-Intelligence-Tagung [1987]

1
Ereignismodellierung zur Inkrementellen High-Level Bildfolgenanalyse
12
Probabilities in Game-Playing: Possible Meanings and Applications
24
The RQA/FQI Strategy — Some Thoughts on the Evaluation of Recursive Queries in Knowledge Base Management Systems
35
Towards Automatic Semantic Classification for a Natural Language Understanding System
49
Parsing Phonetic Segments into Syllables
64
Knowledge Engineering mit KNOPF
72
PAMELA — Eine Deklarative Programmiersprache für Echtzeit-Anwendungen
82
Ein Werkzeug zum Wissenserwerb
92
Lst-1 — ein wissensbasiertes System zur Durchführung und Berechnung des Lohnsteuerjahresausgleichs
104
Wissensbasierte Fehlererkennung und Fehlerbehebung mit Hilfe eines objektorientierten Modells in ARTEX
114
Caching and Consistency, a Solution in RLL-1
125
VIP — eine integrierte Programmierumgebung für Prolog
133
On The Integration of Equality, Sorts, and Logic Programming
145
Taxonomical Reasoning in Logic Programming
157
Synthesis of Specifications from Programs
168
Reasoning about Theories with a Finite Model
176
Automatisches Beweisen für Logiksysteme, in Denen Widersprüche Behandelt Werden Können
Feedback