Abstract is missing.
- Das Bootstrap-Problem bei der geometrischen Szenenrekonstruktion - eine ÜbersichtLeonie S. Dreschler-Fischer. 1-15
- Konfliktlösung auf statistischer Basis bei der Bildanalyse mit ProduktionsregelnGerda Stein. 16-20
- EPEX: Bildfolgedeutung auf EpisodenebeneIngrid M. Walter. 21-30
- On Modelling Events with an Analogical RepresentationMichael Mohnhaupt. 31-40
- KI-Methoden in der maschinellen ÜbersetzungChrista Hauenschild. 41-53
- Generierung aus f-Strukturen als strukturgesteuerte AbleitungJochen Dörre, Stefan Momma. 54-63
- FREGE: Ein objektorientierter FRont-End-GEneratorMartin C. Emele. 64-73
- Concretion Inferences in NAtural Language UnderstandingDekai Wu. 74-83
- Modelling Heuristic Parsing StrategiesHans Haugeneder, Manfred Gehrke. 84-93
- An Organization of Lexical Knowledge for GenerationMassimo Poesio. 94-103
- A Knowledge-Based Framework for Effective Probabilistic Control Strategies in Signal UnderstandingRoberto Gemello, Egidio P. Giachin, Claudio Rullent. 104-113
- Issues of Integration and Balancing in Hybrid Knowledge Representation SystemsBernhard Nebel, Kai von Luck. 114-123
- Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen in der KIKlaus Groth. 124-128
- Higher-order Concepts in a Tractable Knowledge RepresentationStefan Wrobel. 129-138
- Using Logic Programming for Fault Diagnosis in Digital CircuitsHelmut Simonis, Mehmet Dincbas. 139-148
- Specifying Meta-Level Architectures for Rule-Based SystemsMichael Beetz. 149-159
- Guiding the Maintenance of a Model-Based Advisory System by Explanation-based LearningWerner Konrad, Andreas Jaeschke, Helmut Orth, Ono Tjandra. 160-169
- An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction SystemHartmut Freitag, Michael Reinfrank. 170-174
- Belief Revision in DiagnosisFrank Puppe. 175-184
- Erweiterungen des Basic ATMSOskar Dressler. 185-194
- Oldy but Goody Paramodulation RevisitedUlrich Furbach. 195-201
- Program Verification by Symbolic Execution and InductionMaritta Heisel, Wolfgang Reif, Werner Stephan. 201-210
- Resolution on Formula-TreesUlf R. Schmerl. 211-220
- A Hyperresolution-Based Proof Procedure and its Implementation in PrologRainer Manthey, François Bry. 221-230
- Narrowing Techniques Applied to Idempotent UnificationAlexander Herold. 231-240
- THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix ProcedureJürgen Müller. 241-250
- Computational ReflectionPattie Maes. 251-265
- Cognitive Modelling and EducationA. de Haan. 266-276
- Spezielle Sektion: Kognition - Wissensstrukturen beim AufgabenlösenChristian Freksa. 277
- Wissen und Können - Anmerkungen zur Wissensrepräsentation beim AufgabenlösenBarbara Becker. 278-286
- Repräsentationsformen beim menschlichen ProblemlösenGerhard Strube. 287-295
- Mentale Bilder und WegbedeutungenKlaus Rehkämper. 296-305
- Generierung in natürlichsprachlichen Systemen: Beziehungen zwischen der Erzeugung von Inhalt und Form, Spezielle SektionWolfgang Hoeppner. 306
- Generation of content vs. Generation of Form: A Review of Recent Work in the SEMSYN projectDietmar Rösner. 307-314
- Ein erster Blick auf POPEL - Wie wird was gesagt?Norbert Reithinger. 315-319
- How to Say WHAT - IT or SOMETHING?Helmut Horacek. 320-329
- Generierung natürlichsprachlicher Äußerungen zur simultanen Beschreibung von zeitveränderlichen SzenenElisabeth André, Thomas Rist, Gerd Herzog. 330-338
- Repräsentationssysteme für Grammatik und Lexikon - EinleitungGünther Görz. 339
- Endliche Automaten zur Verbflexion und ein spezielles deutsches VerblexikonDietrich Paulus. 340-344
- zur lexikalischen Wissensquelle des Generierungssystems SEMSYNUlrich Heid. 345-354
- Generierung mit GPSGStephan Busemann. 355-364
- Sektion Küstliche Intelligenz und Datenbanksysteme - Konzeptuelle Modellierung und Systemarchitektur Rudi Studer. 365
- Architectural Concepts for Large Knowledge BasesGio Wiederhold, Surajit Chaudhuri, Waqar Hasan, Michael G. Walker, Marianne Winslett. 366-385
- Interfacing Prolog and External Data Management Systems: A ModelHeinrich Jasper. 386-395
- Abbildung von Frames auf neuere DatenmodelleTheo Härder, Nelson Mendonça Mattos, Bernhard Mitschang. 396-405