7. ÖGAI 1991:
Wien,
Austria
Hermann Kaindl (Ed.):
Proc. 7th Austrian Conference on Artificial Intelligence, ÖGAI-91, Wien, 24.-27. September 1991.
Informatik-Fachberichte 287 Springer 1991 
@proceedings{DBLP:conf/ogai/1991,
editor = {Hermann Kaindl},
title = {Proc. 7th Austrian Conference on Artificial Intelligence, {\"O}GAI-91,
Wien, 24.-27. September 1991},
booktitle = {{\"O}GAI},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {287},
year = {1991},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Wolfgang Wahlster, Elisabeth André, Som Bandyopadhyay, Winfried Graf, Thomas Rist:
Knowledge-Based Generation of Illustrated Documents.
1-15
- Georg Gottlob:
On the Complexity of Clause Condensing.
16-29
- Craig D. B. Boyle, John Schuette:
HESDE: A Hypertext Based Expert-System Debugging Tool.
30-36
- Helmut Horacek:
A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction.
37-41
- Ernst Buchberger, Elizabeth Garner, Wolfgang Heinz, Johannes Matiasek, Bernhard Pfahringer:
VIE-DU: Dialogue by Unification.
42-51
- Rudi Hunze:
Eine deklarative Beschreibung von Linkstilgungslücken in koordinierten Strukturen des Deutschen.
52-62
- B. Lees:
Applying Artificial Intelligence in Designing for Quality.
63-67
- Bernhard Nagele, Gerhard Widmer, Werner Horn:
Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem.
68-77
- Andrea Leufke, Angelika Hecht, Regine Meunier, Ruxandra Scheiterer:
Learning Diagnostic Rules for Power Distribution Systems.
78-82
- Rudolf Freund, Martina Kirchmeyer, Friedrich Tafill:
Modelling Feature Maps by Attributed Parallel Array Grammars.
83-92
- Andreas Zell, Niels Mache, Tilman Sommer, Thomas Korb:
Design of the SNNS Neural Network Simulator.
93-102
- Gernot Salzer:
Deductive Generalization and Meta-Reasoning or How to Formalize Genesis.
103-115
- Uwe Egly:
A Generalized Factorization Rule Based on the Introduction of Skolem Terms.
116-125
- Andrew Ireland:
On Exploiting the Structure of Martin-Löf's Theory of Types.
126-136
- Maria R. Cravo, João P. Martins:
Being Aware of Assumptions.
137-146
- Chung-Hung Tzeng:
A Mathematical Formulation of Dempster-Shafer's Belief Functions.
147-156
- Andrew U. Frank:
Qualitative Spatial Reasoning with Cardinal Directions.
157-167
- Igor Mozetic, Christian Holzbaur:
Model-Based Diagnosis with Constraint Logic Programs.
168-180
Acknowledgement:
The information on this page was contributed by Hendrik Decker
Last update Fri May 25 08:30:01 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
