Abstract is missing.
- On Strategies for the Systhesis of AlgorithmsWolfgang Bibel. 22-27
- Dialogues in Actor NetsH. P. Böhm, Hans Ludwig Fischer, Peter Raulefs. 33-34
- The Fit Approach to AI LanguagesHarold Boley. 35-41
- Dangerous BehaviourMichael Brady. 42-45
- Experimental Learning ModelPavel Brazdil. 46-50
- Understanding the Image Forming ProcessMichael J. Brooks. 51-55
- A Sequent Calculus for Modal Quantificational LogicFrank M. Brown. 56-65
- Analysing and Representing Natural Language in LogicFrank M. Brown, Camilla Schwind. 66-70
- Knowledge about Knowledge: Making Decisions in Mechanics Probleme SolvingAlan Bundy, George F. Luger, Chris Mellish, Martha Stone Palmer. 71-81
- A Theorem Prover Dating a Semantic NetworkDennis de Champeaux. 82-92
- Determinig the Orientation of Surfaces from Optical FlowW. F. Clocksin. 93-102
- Problem Solving by Hyper PlanningChristoph F. Eick, Peter Raulefs. 103-104
- Paramodulated Connection GraphsNorbert Eisinger, Jörg H. Siekmann, Graham Wrightson. 105-109
- A Method for Computing Heuristics in Problem-SolvingGiovanni Guida, Marco Somalvico. 115-121
- HAM-RPM: Natural Dialogues with an Artificial PartnerWalther von Hahn, Wolfgang Hoeppner, Anthony Jameson, Wolfgang Wahlster. 122-131
- A Multiprocessor System for Knowledge Representation and ManipulationF. Keith Hanna, W. T. Harwood. 132-137
- Program Synthesis in Predicate LogicChristopher J. Hogger. 138-146
- VisionBerthold K. P. Horn. 147-163
- Ani: An Example of Computational CreativityKenneth M. Kahn. 164-168
- A Study in the Application of Theorem ProvingDavid C. Luckham, Jorge J. Morales, Joachim F. Schreiber. 176-188
- Advice Table Representations of Chess End-Game KnowledgeDonald Michie, Ivan Bratko. 194-200
- Representation of Phonetic and Phonemic Knowledge in a Speech Understanding SystemRenato de Mori, Pietro Laface. 201-205
- The Last Survey of Representation of KnowledgeDrew V. McDermott. 206-221
- Best-First Interpretation of Imperfect Object ContoursBernd Neumann. 222-228
- A Production Rule Account of Errors in Children s SubtractionTim O Shea, Richard M. Young. 229-237
- A Philosophy of Wicked Problem ImplementationDerek Partridge. 238-247
- A Humanlike Approach for Automatic Theorem ProvingDominique Pastre. 248-252
- A Network representation for Procedural KnowledgeBrian Phillips. 253-257
- A Computational Study of a Period of Infant DevelopmentK. Prazdny. 258-262
- Parametrized Region Extraction for the Description of Moving ObjectsBernd Radig. 263-272
- Predictions and Procedures in Semantically-Based GrammarGraeme D. Ritchie. 273-282
- What s in a Social Action for U?Mike Rosner. 283-292
- A Conversational System which Understands Short StoriesGérard Sabah. 293-297
- What Structure does a LISP Program have - besides being a set of Procedures?Erik Sandewall. 298-303
- Representing Actions by State LogicCamilla Schwind. 304-308
- Representation and Control in VisionAaron Sloman, David Owen, Geoffrey E. Hinton, Frank Birch, Frank O Gorman. 309-314
- Design for a Plan HypothesizerN. S. Sridharan, D. Smith. 315-324
- The Frame Shift Mechanism in Natural LanguageLuc Steels. 325-329
- Planning in Uncertain Environments through Situation CalculusOlga Stepánková. 330-339
- Completeness and Soundness of the Connection Graph ProofWerner Stephan, Jörg H. Siekmann. 340-344
- Toward a greater Generality in Artificial IntelligenceLeonard Uhr, Manfred Kochen. 351-354
- AI Programming MethodologyBob J. Wielinga. 355-374