Abstract is missing.
- Generalized Earley Deduction and Its CorrectnessClemens Beckstein, Michelle Y. Kim. 2-11
- A Completeness Proof Technique for Resolution with EqualityPeter Baumgartner. 12-22
- Answers for disjunctive logic programsUlrich Furbach. 23-32
- Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set TransformationGünther Specht, Oliver Krone. 33-42
- Non-Monotonic Reasoning For Clause Logic Programming In A General SettingHeinrich Herre. 43-48
- Feature Construction during Tree LearningGerhard Mehlsam, Hermann Kaindl, Wilhelm Barth. 50-61
- Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel SituationsFranz Schmalhofer, Ralph Bergmann, Otto Kühn, Gabriele Schmidt. 62-71
- Problemzerlegung als optimalitätserhaltende OperatorabstraktionFritz Mädler. 74-83
- A Frame-Based Computational Model of Generic GeneralisationsGerhard Heyer. 86-95
- Towards Finding The Reasons Behind - Generating The Content Of ExplanationHelmut Horacek. 96-105
- Fokusmodellierung durch Sichtabhängigkeitsgraphen bei der Interpretation natürlichsprachlicher Datenbank-UpdatesJörg Noack, Johannes Wings. 106-115
- The Morphological Principle. A Proposal for Treating Russian Morphology Within an HPSG FrameworkRenate Henschel. 116-125
- Evaluation von Grammatiken für die Analyse natürlicher Sprache durch Generierung einer repräsentativen SatzmengeGregor Erbach, Roman Georg Arens. 126-129
- On the Representation of Speech Acts in Situation SemanticsElizabeth Garner, Wolfgang Heinz. 130-134
- Entwicklung von WissensbankbetriebssystemenWolfgang Oertel. 136-146
- Konstruktion und Evaluation von Wissensbasen in textverstehenden SystemenThomas Pirlein. 147-156
- Vivid Logic and Directly Skeptical InheritanceGerd Wagner. 157-166
- TEMPO- ein integrierter Ansatz zur Modellierung qualitativer und quantitativer zeitlicher InformationenRainer Bleisinger. 167-176
- Temporal Reasoning with Generalized RelationsGerd Kortüm. 177-181
- Model Representation And Taxonomic Reasoning In Configuration Problem SolvingRüdiger Klein. 182-194
- Improving Case Based Classification with Expert KnowledgeFrank Puppe, Klaus Goos. 196-205
- Reflection and competent problem solvingAngi Voß, Werner Karbach, Uwe Drouven, Brigitte Bartsch-Spörl, Bert Bredeweg. 206-215
- FRESCO: Eine Bankenapplikation als Testbed für die föderative Kooperation von ExpertensystemenStefan Kirn, Gunter Schlageter. 216-220
- Graphische WissensrepräsentationenUte Gappa. 221-230
- Methodology for Reconstructing Medical Problem Solving CompetenceBoris Petkoff, Dirk Kraus. 231-235
- Constructing Programs From Input-Output PairsKurt Ammon. 238-242
- Transforming Constraint Relaxation Networks into Boltzmann MachinesJoachim Hertzberg, Hans W. Guesgen. 244-253
- The SNNS Neural Network SimulatorAndreas Zell, Niels Mache, Tilman Sommer, Thomas Korb. 254-263
- wahrscheinlich sind meine Beispiele soo sprunghaft und und und eh ehm zu zu telegraph - Konnektionistische Modellierung von covert repairs Ulrich Schade, Hans-Jürgen Eikmeyer. 264-272