Abstract is missing.
- Models and Structures in Image ProcessingW. Radig. 1-17
- On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving ObjectsLeonie Dreschler, Hans-Hellmut Nagel. 18-29
- Robotics Research: From Toy Worlds to Industrial ApplicationsJörgen P. Foith. 30-49
- Natürlichsprachliche KI-Systeme: Entwicklungsstand und ForschungsperspektiveWolfgang Wahlster. 50-68
- SWISS - A Natural Language Question Answering System for Scene AnalysisPeter Schefe, Bernd Pretschner. 69-78
- Natural Language Inquiries abouth Motion in an Automatically Analyzed Traffic SceneHeinz Marburger, Bernd Neumann, Hans-Joachim Novak. 79-87
- Aspekte der rechnergestützten Generierung von Inferenzregeln durch RegelschemataChristopher Habel, Claus-Rainer Rollinger. 88-97
- Expert Systems: State of the Art and Future ProspectsPeter Raulefs. 98-111
- An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data TypesUlrich Bartels, Walter G. Olthoff, Peter Raulefs. 112-123
- Context Directed TranslationWerner Dilger. 124-134
- GLP: A Linguistic ProcessorGünther Görz. 135
- AI Languages and AI Machines: An OverviewHarold Boley. 136-155
- A Concurrent Chart ParserPeter Raulefs, Hans Siebenbach. 156-159
- A Parallel Connection Graph Proof ProcedureGünter Hornung, Anfried Knapp, Ulrike Knapp. 160-167
- Integrated Knowledge-Based Information Manipulation SystemsHeinz-Dieter Böcker, Gerhard Fischer. 168-170
- Mating in MatricesWolfgang Bibel. 171-187
- Subsumption and ConnectionsgraphsNorbert Eisinger. 188-198
- Selection Heuristics, Deletion Strategies and N-Level Terminator Configurations for the Connection Graph Proof ProcedureJörg H. Siekmann, Gert Smolka. 199-200
- Elimination of Redundant Links in Extended Connection GraphsChristoph Walther. 201-213
- Term Reduction Systems and Algebraic AlgorithmsRüdiger Loos. 214-234
- A Noetherian Rewrite System for Idempotent SemigroupsJörg H. Siekmann, Peter Szabó. 235-245
- On the Completeness of Connection Graph ResolutionWolfgang Bibel. 246-247
- Generating small Models of First Order AxiomsK. M. Hörnig. 248-255
- Programmverification at Stanford: Past, Present FutureWolfgang Polak. 256-276
- A System for Understanding Continuous German SpeechHans-Werner Hein. 277-286
- Verarbeitung von externer und interner Situation in ÜberzeugungssystemenKatharina Morik. 287-296
- Structures for Knowledge-Based Chess ProgramsKai von Luck, Bernd Owsnicki-Klewe. 297-306
- Informationsgewinnung durch automatisches Erzeugen zielbezogener FragenSven Müller. 307-317