7. ÖGAI 1991: Wien, Austria

@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 BibTeX
• Georg Gottlob: On the Complexity of Clause Condensing. 16-29 BibTeX
• Craig D. B. Boyle, John Schuette: HESDE: A Hypertext Based Expert-System Debugging Tool. 30-36 BibTeX
• Helmut Horacek: A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction. 37-41 BibTeX
• Ernst Buchberger, Elizabeth Garner, Wolfgang Heinz, Johannes Matiasek, Bernhard Pfahringer: VIE-DU: Dialogue by Unification. 42-51 BibTeX
• Rudi Hunze: Eine deklarative Beschreibung von Linkstilgungslücken in koordinierten Strukturen des Deutschen. 52-62 BibTeX
• B. Lees: Applying Artificial Intelligence in Designing for Quality. 63-67 BibTeX
• Bernhard Nagele, Gerhard Widmer, Werner Horn: Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem. 68-77 BibTeX
• Andrea Leufke, Angelika Hecht, Regine Meunier, Ruxandra Scheiterer: Learning Diagnostic Rules for Power Distribution Systems. 78-82 BibTeX
• Rudolf Freund, Martina Kirchmeyer, Friedrich Tafill: Modelling Feature Maps by Attributed Parallel Array Grammars. 83-92 BibTeX
• Andreas Zell, Niels Mache, Tilman Sommer, Thomas Korb: Design of the SNNS Neural Network Simulator. 93-102 BibTeX
• Gernot Salzer: Deductive Generalization and Meta-Reasoning or How to Formalize Genesis. 103-115 BibTeX
• Uwe Egly: A Generalized Factorization Rule Based on the Introduction of Skolem Terms. 116-125 BibTeX
• Andrew Ireland: On Exploiting the Structure of Martin-Löf's Theory of Types. 126-136 BibTeX
• Maria R. Cravo, João P. Martins: Being Aware of Assumptions. 137-146 BibTeX
• Chung-Hung Tzeng: A Mathematical Formulation of Dempster-Shafer's Belief Functions. 147-156 BibTeX
• Andrew U. Frank: Qualitative Spatial Reasoning with Cardinal Directions. 157-167 BibTeX
• Igor Mozetic, Christian Holzbaur: Model-Based Diagnosis with Constraint Logic Programs. 168-180 BibTeX