15. GWAI 1991: Bonn, Germany

@proceedings{DBLP:conf/ki/1991,
  editor    = {Thomas Christaller},
  title     = {GWAI-91, 15. Fachtagung f{\"u}r K{\"u}nstliche Intelligenz,
               Bonn, 16.-20. September 1991, Proceedings},
  booktitle = {GWAI},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {285},
  year      = {1991},
  isbn      = {3-540-54558-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

1. Deduktion

• Clemens Beckstein, Michelle Y. Kim: Generalized Earley Deduction and Its Correctness. 2-11
• Peter Baumgartner: A Completeness Proof Technique for Resolution with Equality. 12-22
• Ulrich Furbach: Answers for disjunctive logic programs. 23-32
• Günther Specht, Oliver Krone: Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformation. 33-42
• Heinrich Herre: Non-Monotonic Reasoning For Clause Logic Programming In A General Setting. 43-48

2. Maschinelles Lernen

• Gerhard Mehlsam, Hermann Kaindl, Wilhelm Barth: Feature Construction during Tree Learning. 50-61
• Franz Schmalhofer, Ralph Bergmann, Otto Kühn, Gabriele Schmidt: Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations. 62-71

3. Planen

• Fritz Mädler: Problemzerlegung als optimalitätserhaltende Operatorabstraktion. 74-83

4. Sprachverarbeitung

• Gerhard Heyer: A Frame-Based Computational Model of Generic Generalisations. 86-95
• Helmut Horacek: Towards Finding The Reasons Behind - Generating The Content Of Explanation. 96-105
• Jörg Noack, Johannes Wings: Fokusmodellierung durch Sichtabhängigkeitsgraphen bei der Interpretation natürlichsprachlicher Datenbank-Updates. 106-115
• Renate Henschel: The Morphological Principle. A Proposal for Treating Russian Morphology Within an HPSG Framework. 116-125
• Gregor Erbach, Roman Georg Arens: Evaluation von Grammatiken für die Analyse natürlicher Sprache durch Generierung einer repräsentativen Satzmenge. 126-129
• Elizabeth Garner, Wolfgang Heinz: On the Representation of Speech Acts in Situation Semantics. 130-134

5. Wissensrepräsentation

• Wolfgang Oertel: Entwicklung von Wissensbankbetriebssystemen. 136-146
• Thomas Pirlein: Konstruktion und Evaluation von Wissensbasen in textverstehenden Systemen. 147-156
• Gerd Wagner: Vivid Logic and Directly Skeptical Inheritance. 157-166
• Rainer Bleisinger: TEMPO- ein integrierter Ansatz zur Modellierung qualitativer und quantitativer zeitlicher Informationen. 167-176
• Gerd Kortüm: Temporal Reasoning with Generalized Relations. 177-181
• Rüdiger Klein: Model Representation And Taxonomic Reasoning In Configuration Problem Solving. 182-194

6. Expertensysteme

• Frank Puppe, Klaus Goos: Improving Case Based Classification with Expert Knowledge. 196-205
• Angi Voß, Werner Karbach, Uwe Drouven, Brigitte Bartsch-Spörl, Bert Bredeweg: Reflection and competent problem solving. 206-215
• Stefan Kirn, Gunter Schlageter: FRESCO: Eine Bankenapplikation als Testbed für die föderative Kooperation von Expertensystemen. 216-220
• Ute Gappa: Graphische Wissensrepräsentationen. 221-230
• Boris Petkoff, Dirk Kraus: Methodology for Reconstructing Medical Problem Solving Competence. 231-235

7. Automatisches Programmieren

• Kurt Ammon: Constructing Programs From Input-Output Pairs. 238-242

8. Konnektionismus

• Joachim Hertzberg, Hans W. Guesgen: Transforming Constraint Relaxation Networks into Boltzmann Machines. 244-253
• Andreas Zell, Niels Mache, Tilman Sommer, Thomas Korb: The SNNS Neural Network Simulator. 254-263
• Ulrich Schade, Hans-Jürgen Eikmeyer: "wahrscheinlich sind meine Beispiele soo sprunghaft und und und eh ehm zu zu telegraph" - Konnektionistische Modellierung von "covert repairs". 264-272