6. ECAI 1984: Pisa, Italy
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 - 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
- Bernard F. Buxton, Hilary Buxton, David W. Murray, N. S. Williams:
3D Solutions to the Aperture Problem. ECAI 1984: 105-114
Cognitive Modelling and Learning
- Giovanni Adorni, Mauro Di Manzo, Fausto Giunchiglia:
From Descriptions to Images: What Reasoning in between? ECAI 1984: 139-148 - Göran Hagert:
Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning. ECAI 1984: 179-188 - Stefano A. Cerri, C. Colombini, M. Grillo, R. Mallozzi:
RADAR: Reasoning on ADA Rubbish. ECAI 1984: 199-208 - 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 - 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 - 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 - Jean-Louis Binot:
A Set-Oriented Semantic Network Formalism for the Representation of Sentence Meaning. ECAI 1984: 305-314 - 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
- 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 - Jean-Luc Remy, Hantao Zhang:
REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types. ECAI 1984: 373-382