15. GWAI 1991: Bonn, Germany

Thomas Christaller (Ed.): GWAI-91, 15. Fachtagung für Künstliche Intelligenz, Bonn, 16.-20. September 1991, Proceedings. Informatik-Fachberichte 285 Springer 1991, ISBN 3-540-54558-1

@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

Last update Tue Feb 14 04:06:51 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page