default search action
15. GWAI 1991: Bonn, Germany
- Thomas Christaller:
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.