Tim O'Shea (Ed.): Advances in Artificial Intelligence, Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September 5-7, 1984. North-Holland, 1985, ISBN 0-444-87611-1

Expert Systems

• 
  Bob J. Wielinga, J. A. Breuker: Interpretation of Verbal Data for Knowledge Acquisition. 3-12
• 
  Michael Uschold, Nigel Harding, Robert Muetzelfeldt, Alan Bundy: An Intelligent Front End for Ecological Modelling. 13-22
• 
  Shimji Araya, Koji Fukumori: ESTRAC-II: An Expert System for Train Traffic Control in Disturbed Situations. 23-32
• 
  Patrick Ferrand: SESAM: An Explanatory Medical Aid System. 33-40
• 
  Gary S. Kahn: On When Diagnostic Systems Want to Do without Causal Knowledge. 41-50
• 
  John H. Boose: Personal Construct Theory and the Transfer of Human Expertise. 51-60
• 
  Meyer A. Billmers, Mark W. Swartwout: AI-SPEAR: Computer System Failure Analysis Tool. 61-69l. 61-69
• 
  Simon Hayward: Diagnostic Expertise and its Use in Commercially Viable Expert Systems. 71-75

Robotics and Vision

• 
  Michael Brady, Philip E. Agre: The Mechanic's Mate. 79-94
• 
  John F. Canny: On Detecting Collisions Between Polyhedra. 95-104
• 
  Bernard F. Buxton, Hilary Buxton, David W. Murray, N. S. Williams: 3D Solutions to the Aperture Problem. 105-114
• 
  Prasanta K. Bose: Learning Stiffness Control for Compliant Motion. 115-126
• 
  Alan L. Yuille: The Smoothest Velocity Field Token Matching Schemes. 127-136

Cognitive Modelling and Learning

• 
  Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia: From Descriptions to Images: What Reasoning in between? 139-148
• 
  Marc Eisenstadt: A Powerful Prolog Trace Package. 149-158
• 
  Michael Lebowitz: Using Memory in Text Understanding. 159-168
• 
  Jon M. Slack: The Role of Distributed Memory in Natural Language Parsing. 169-178
• 
  Göran Hagert: Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning. 179-188
• 
  Tony Hasemer: MacSolo/AURAC: A Programming Environment for Novices. 189-198
• 
  Stefano A. Cerri, C. Colombini, M. Grillo, R. Mallozzi: RADAR: Reasoning on ADA Rubbish. 199-208
• 
  Nigel R. Seel: An Analysis of a Simple Learning System. 209-218
• 
  Michael P. Georgeff, Chris S. Wallace: A General Selection Criterion for Inductive Inference. 219-228
• 
  Yves Kodratoff, Jean-Gabriel Ganascia, B. Clavieras, Toni Bollinger, Gheorghe Tecuci: Careful Generalization for Concept Learning. 229-238
• 
  Pavel Brazdil: Use of Derivation Trees in Discrimination. 239-244
• 
  Eileen Scanlon, C. Hawkridge, Rick Evertsz, Tim O'Shea: Novice Physics Problem Solving Behaviour. 245-253

Natural Language

• 
  Sharon C. Salveter: A Model of Action that Supports Natural Language Database Update. 257-266
• 
  Henry S. Thompson: Speech Transcription: An Incremental, Interactive Approach. 267-274
• 
  Gabriella Airenti, Bruno G. Bara, Marco Colombetti: Plan Formation and Failure Recovery in Communicative Acts. 275-284
• 
  Graeme D. Ritchie: Simulating a Turing Machine Using Functional Unification Grammar. 285-294
• 
  Paul S. Jacobs, Lisa F. Rau: Ace: Associating Language with Meaning. 295-304
• 
  Jean-Louis Binot: A Set-Oriented Semantic Network Formalism for the Representation of Sentence Meaning. 305-314
• 
  Barbara Dunin-Keplicz: Default Reasoning in Anaphora Resolution. 315-324
• 
  Esa Nelimarkka, Harri Jäppinen, Aarno Lehtola: Parsing an Inflectional Free Word Order Language with Two-Way Finite Automata. 325-334

Knowledge Representation

• 
  Luis Fariñas del Cerro, Ewa Orlowska: DAL: A Logic for Data Analysis. 337-346
• 
  Raf Venken: A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation. 347-356
• 
  Ling Zhang, Bo Zhang: The Successive SA^* Search and its Computational Complexity. 357-366
• 
  Edwina L. Rissland: The Ubiquitous Dialectic. 367-372
• 
  Jean-Luc Remy, Hantao Zhang: REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. 373-382
• 
  Christoph Walther: Unification in Many-Sorted Theories. 383-392
• 
  Richard A. O'Keefe: A New Data-Structure for Type Trees. 393-402
• 
  Witold Lukaszewicz: Nonmonotonic Logic for Default Theories. 403-412
• 
  Giuseppe Attardi, Maria Simi: Metalanguage and Reasoning Across Viewpoints. 413-422