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