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. 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