Abstract is missing.
- An Intelligent Front End for Ecological ModellingMichael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy. 13-22
- On When Diagnostic Systems Want to Do without Causal KnowledgeGary S. Kahn. 41-50
- Personal Construct Theory and the Transfer of Human ExpertiseJohn H. Boose. 51-60
- AI-SPEAR: Computer System Failure Analysis Tool. 61-69lMeyer A. Billmers, Mark W. Swartwout. 61-69
- The Mechanic s MateMichael Brady, Philip E. Agre. 79-94
- On Detecting Collisions Between PolyhedraJohn F. Canny. 95-104
- 3D Solutions to the Aperture ProblemBernard F. Buxton, Hilary Buxton, David W. Murray, N. S. Williams. 105-114
- Learning Stiffness Control for Compliant MotionPrasanta K. Bose. 115-126
- The Smoothest Velocity Field Token Matching SchemesAlan L. Yuille. 127-136
- From Descriptions to Images: What Reasoning in between?Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia. 139-148
- A Powerful Prolog Trace PackageMarc Eisenstadt. 149-158
- Using Memory in Text UnderstandingMichael Lebowitz. 159-168
- The Role of Distributed Memory in Natural Language ParsingJon M. Slack. 169-178
- Modeling Mental Models: Experiments in Cognitive Modeling of Spatial ReasoningGöran Hagert. 179-188
- RADAR: Reasoning on ADA RubbishStefano A. Cerri, C. Colombini, M. Grillo, R. Mallozzi. 199-208
- An Analysis of a Simple Learning SystemNigel R. Seel. 209-218
- A General Selection Criterion for Inductive InferenceMichael P. Georgeff, Chris S. Wallace. 219-228
- Careful Generalization for Concept LearningYves Kodratoff, Jean-Gabriel Ganascia, B. Clavieras, Toni Bollinger, Gheorghe Tecuci. 229-238
- Use of Derivation Trees in DiscriminationPavel Brazdil. 239-244
- Novice Physics Problem Solving BehaviourEileen Scanlon, C. Hawkridge, Rick Evertsz, Tim O Shea. 245-253
- A Model of Action that Supports Natural Language Database UpdateSharon C. Salveter. 257-266
- Speech Transcription: An Incremental, Interactive ApproachHenry S. Thompson. 267-274
- Ace: Associating Language with MeaningPaul S. Jacobs, Lisa F. Rau. 295-304
- A Set-Oriented Semantic Network Formalism for the Representation of Sentence MeaningJean-Louis Binot. 305-314
- Default Reasoning in Anaphora ResolutionBarbara Dunin-Keplicz. 315-324
- Parsing an Inflectional Free Word Order Language with Two-Way Finite AutomataEsa Nelimarkka, Harri Jäppinen, Aarno Lehtola. 325-334
- DAL: A Logic for Data AnalysisLuis Fariñas del Cerro, Ewa Orlowska. 337-346
- A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-OptimisationRaf Venken. 347-356
- The Successive SA:::*::: Search and its Computational ComplexityLing Zhang, Bo Zhang. 357-366
- The Ubiquitous DialecticEdwina L. Rissland. 367-372
- REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data TypesJean-Luc Remy, Hantao Zhang. 373-382
- Unification in Many-Sorted TheoriesChristoph Walther. 383-392
- A New Data-Structure for Type TreesRichard A. O Keefe. 393-402
- Nonmonotonic Logic for Default TheoriesWitold Lukaszewicz. 403-412
- Metalanguage and Reasoning Across ViewpointsGiuseppe Attardi, Maria Simi. 413-422