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
Feedback