E-Books durchsuchen
7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence [1991]
- 1
-
Knowledge-based Generation of Illustrated Documents
- 16
-
On the Complexity of Clause Condensing
- 30
-
HESDE — A Hypertext based Expert-System debugging Tool
- 37
-
A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction
- 42
-
<Emphasis Type="SmallCaps">Vie</Emphasis>-<Emphasis Type="Italic">DU</Emphasis> — Dialogue by Unification
- 52
-
Eine deklarative Beschreibung von Linkstilgungslücken in koordinierten Strukturen des Deutschen
- 63
-
Applying Artificial Intelligence in Designing for Quality
- 68
-
Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem
- 78
-
Learning Diagnostic Rules for Power Distribution Systems
- 83
-
Modelling Feature Maps by Attributed Parallel Array Grammars
- 93
-
Design of the SNNS Neural Network Simulator
- 103
-
Deductive Generalization and Meta-Reasoning or How to Formalize Genesis
- 116
-
A Generalized Factorization Rule Based on the Introduction of Skolem Terms
- 126
-
On Exploiting the Structure of Martin-Löf’s Theory of Types
- 137
-
Being Aware of Assumptions
- 147
-
A Mathematical Formulation of Dempster-Shafer’s Belief Functions
- 157
-
Qualitative Spatial Reasoning with Cardinal Directions
- 168
-
Model-Based Diagnosis with Constraint Logic Programs