Abstract is missing.
- Logic as a Computer Language for ChildrenRobert A. Kowalski. 2-10
- In Defense of Programming Languages DesignGérard P. Huet. 19-27
- Multiprocessing and Duality in IntelligenceHans J. Berliner. 28-36
- Artificial Intelligence and IndustryHervé Gallaire. 37-42
- About Flexible Matching and its Use in Analogical ReasoningHenri Farreny, Henri Prade. 43-47
- Construction of a Model for Reasoning by AnalogyEugène Chouraqui. 48-53
- Toward a Mathematical Theory of Analogical ReasoningDieter Poetschke. 54-59
- A Deduction Method for Modal LogicLuis Fariñas del Cerro. 60-61
- Reasoning about Array SegmentsJoxan Jaffar, Jean-Louis Lassez. 62-66
- Special Purpose, but Domain Independent, Inference MechanismsAlan Bundy, Lawrence Byrd, Chris Mellish. 67-74
- Constraints as ConsultantsLuc Steels. 75-78
- A Programming Environment for the Development of Complex SystemsHarald Wertz. 79-84
- An Environment for Developing Distributed ProgramsAllan Ramsay. 85-86
- Weakly commuting term rewriting systems : application to automatic recursion removalErnesto Jorge Costa. 87-90
- Automatic Transformation of Abstract Data Types FAIR PresentationsMichel Bidoit. 91-95
- Synthesizing Minimal Programs from Traces of Observable BehaviourChristoph Beierle. 96-101
- Naive Algorithm Design Techniques: A Case StudyElaine Kant, Allen Newell. 102-105
- A Bit Table for Message Passing in Multiple Inheritance HierarchiesKenji Hanakata. 106-107
- A Clustering Technique for Semantic Network ProcessingHiyan Alshawi. 114-115
- A Language for Expressing Mathematical Knowledge in Automatic Theorem ProvingDominique Pastre. 116-118
- An Experiment in Knowledge RepresentationDaniel Kayser. 119-124
- On the Interaction of Knowledge Representation and Reasoning Mechanism in Discourse ComprehensionSergei Litvak, Madis Saluveer, Tiit Roosmaa, Haldur Oim. 125-126
- An Expert System for Speech DecodingRenato de Mori, Attilio Giordana, Pietro Laface, Lorenza Saitta. 127-132
- PLANT/ds: An Expert Consulting System for the Diagnosis of Soybean DiseasesRyszard S. Michalski, J. H. Davis, V. S. Bisht, J. B. Sinclair. 133-138
- Building a Geological Expert System for Dipmeter InterpretationAnatole Gershman. 139-140
- The Truth-Reaction Paradox: A Probe of Artificial IntelligenceIvan M. Havel. 147-148
- Applying Artificial Intelligence to Data AnalysisPetr Hájek. 149-150
- A Critical Survey of Rule Learning ProgramsAlan Bundy, Bernard Silver. 151-157
- The Machine as Concept-LearnerChristopher Habel, Claus-Rainer Rollinger. 158-159
- Inferring (Mal) Rules from Pupil s ProtocolsDerek H. Sleeman. 160-164
- A Developmental Approach to General Learning ProcessesJ. G. (Iain) Wallace. 165-170
- Strategy Acquisition Governed by ExperimentationPat Langley. 171-176
- The Utility of Precision in Search HeuristicsJudea Pearl. 177-179
- Heuristic Search with Partial Node Expansion and Bi-Directional Search in Product SpaceDennis de Champeaux, E. van Dijk. 180-182
- Toward Search Methods with Imprecise EstimatesHenri Farreny, Henri Prade. 183-184
- Symbolic Derivation of Chess PatternsIvan Bratko. 185-189
- A Program which Recognizes Overlapping ObjectsB. Yin. 197-198
- Local Computation of ShapeAlex Pentland. 199-204
- Relating Object Models to Segmentation StrategiesDavid Owen. 205-210
- Path Planning and Environment Learning in a Mobile Robot SystemRaja Chatila. 211-215
- Parallel Processing of Natural LanguageEliezer L. Lozinskii, Sergei Nirenburg. 216-221
- User Modelling in Anaphora Generation: Ellipsis and Definite DescriptionAnthony Jameson, Wolfgang Wahlster. 222-227
- An Experiment Towards More Efficient Automatic TranslationMarie-Odile Cordier. 228-231
- Steps towards Natural Language to Data Language Translation Using General Semantic InformationBranimir Boguraev, Karen Sparck Jones. 232-233
- Automatic Understanding with a Linguistically Based Knowledge RepresentationPetr Sgall. 240-243
- Supporting Natural Language Updates in Database SystemsDavid Maier, Sharon C. Salveter. 244-249
- An Informative, Adaptable and Efficient Natural Language Consultable Database SystemJean François Pique, Paul Sabatier. 250-254
- Taking the Initiative in Natural Language Data Base Interactions: Monitoring as ResponseEric Mays, Aravind K. Joshi, Bonnie L. Webber. 255-256
- Applying a Chart Parser to Speech UnderstandingGünther Görz. 257-258
- How to Write a StoryMasoud Yazdani. 259-260
- On Procedural Learning and its Relation to Memory and AttentionGöran Hagert. 261-266
- Toward Computational Models of EmotionRolf Pfeifer, D. W. Nicholas. 269-271
- PDP: A Protocol Diagnostic Program for Problem Solving in PhysicsWouter N. H. Jansweijer, L. Konst, J. J. Elshout, Bob J. Wielinga. 278-280