6. ECAI 1984: Pisa, Italy

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

Robotics and Vision

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

Cognitive Modelling and Learning

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

Natural Language

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

Knowledge Representation

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