LIDOS BibTeX Database File
ecai84.bib

@inproceedings{Araya:84EC,
  AUTHOR = {S. Araya and K. Fukumori},
  TITLE = {ESTRAC-II: An Expert System for Train Traffic Control in Disturbed Situations},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {3-12},
  KEYWORDS = {exp-sys}}

@inproceedings{Ferrand84EC,
  AUTHOR = {P. Ferrand},
  TITLE = {SESAM: An Explanatory Medical Aid System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {13-20},
  KEYWORDS = {exp-sys}}

@inproceedings{Kahn84EC,
  AUTHOR = {G. Kahn},
  TITLE = {On When Diagnostic Systems Want to Do without Causal Knowledge},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {21-30},
  KEYWORDS = {exp-sys}}

@inproceedings{Ganascia84EC,
  AUTHOR = {J. G. Ganascia},
  TITLE = {Reasoning and Result in Expert Systems: Main Differences between Diagnostic Systems and Problem-Solvers},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {31-40},
  KEYWORDS = {exp-sys}}

@inproceedings{Wielinga:84EC,
  AUTHOR = {B. J. Wielinga and J. A. Breuker},
  TITLE = {Interpretation of Verbal Data for Knowledge Acquisition},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {41-50},
  KEYWORDS = {exp-sys}}

@inproceedings{Boose84EC,
  AUTHOR = {J. H. Boose},
  TITLE = {Personal Construct Theory and the Transfer of Human Expertise},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {51-60},
  KEYWORDS = {exp-sys}}

@inproceedings{Horn:84EC,
  AUTHOR = {W. Horn and K. Ammer},
  TITLE = {Causal and Anatomical Reasoning in a Two-Level Medical Expert System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {61-64},
  KEYWORDS = {exp-sys}}

@inproceedings{Billmers:84EC,
  AUTHOR = {M. A. Billmers and M. W. Swartwout},
  TITLE = {AI-SPEAR: Computer System Failure Analysis Tool},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {65-73},
  KEYWORDS = {exp-sys}}

@inproceedings{Mitra:84EC,
  AUTHOR = {S. K. Mitra and J. M. Parker},
  TITLE = {An Expert System for Identifying Defects, Stones and Cord in Class},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {74-75},
  KEYWORDS = {exp-sys}}

@inproceedings{David:84EC,
  AUTHOR = {J. M. David and Y. Descotte},
  TITLE = {Cost-Efficient Troubleshooting},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {76-77},
  KEYWORDS = {exp-sys}}

@inproceedings{Cordier:84EC,
  AUTHOR = {M. O. Cordier and M. C. Rousset},
  TITLE = {Interactive Operators in Expert Systems: Tango},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {78-79},
  KEYWORDS = {exp-sys}}

@inproceedings{Del:84EC,
  AUTHOR = {M. Del Canto and F. Fusconi and P. Piano and L. Roncarolo},
  TITLE = {An Expert System for Computer Aided Process Planning},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {80-81},
  KEYWORDS = {exp-sys}}

@inproceedings{Faller84EC,
  AUTHOR = {B. Faller},
  TITLE = {An Expert System in Symbolic Integration},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {82},
  KEYWORDS = {exp-sys}}

@inproceedings{Gadsden84EC,
  AUTHOR = {J. A. Gadsden},
  TITLE = {The Use of Database, Graphics and Algorithmic Interfaces in Support of a Knowledge-Based Plan Adviser for the Royal Navy},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {83},
  KEYWORDS = {exp-sys}}

@inproceedings{Guida:84ECb,
  AUTHOR = {G. Guida and C. Tasso},
  TITLE = {A Flexible Inference Mechanism for Rule-Based Systems},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {84},
  KEYWORDS = {exp-sys}}

@inproceedings{Cook:84EC,
  AUTHOR = {S. B. Cook and G. H. Warfel},
  TITLE = {Breaking the Knowledge Engineering Logjam: The Use of Domain Expertise in a Structured Team Approach},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {85},
  KEYWORDS = {exp-sys}}

@inproceedings{Khong:84EC,
  AUTHOR = {V. H. Khong and E. H. Mamdani},
  TITLE = {An Expert System for VLSI Design Knowledge Transformation},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {86},
  KEYWORDS = {exp-sys}}

@inproceedings{Jarke:84EC,
  AUTHOR = {M. Jarke and T. Sivasankaran},
  TITLE = {Knowledge Based Model Management for an Actuarial Consulting System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {87},
  KEYWORDS = {exp-sys}}

@inproceedings{Politakis:84EC,
  AUTHOR = {P. Politakis and W. Hickson},
  TITLE = {Developmental Facilities in an Expert System for Network Troubleshooting},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {88},
  KEYWORDS = {exp-sys}}

@inproceedings{Koch84ECb,
  AUTHOR = {G. Koch},
  TITLE = {Introduction to the Logic Programming Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {89},
  KEYWORDS = {progr}}

@inproceedings{Venken84EC,
  AUTHOR = {R. Venken},
  TITLE = {A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {91-100},
  KEYWORDS = {progr}}

@inproceedings{Caferra:84EC,
  AUTHOR = {R. Caferra and E. Eder and B. Fronhoefer and W. Bibel},
  TITLE = {Extension of Prolog Through Matrix Reduction},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {101-104},
  KEYWORDS = {progr}}

@inproceedings{Neves84EC,
  AUTHOR = {J. C. F. Neves},
  TITLE = {Security and Co-Operativeness in a Logic Data Base System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {105-108},
  KEYWORDS = {progr}}

@inproceedings{Lopes:84EC,
  AUTHOR = {G. P. Lopes and R. M. Viccari},
  TITLE = {An Intelligent Monitor Interaction in Portuguese Language},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {109-113},
  KEYWORDS = {progr}}

@inproceedings{Demoen84EC,
  AUTHOR = {B. Demoen},
  TITLE = {How to Obtain a Prolog System with your Preferred Syntax},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {114},
  KEYWORDS = {progr}}

@inproceedings{Muller84EC,
  AUTHOR = {J. P. Muller},
  TITLE = {PARALOG: A Parallel Logic Programming System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {115-119},
  KEYWORDS = {progr}}

@inproceedings{Taylor84EC,
  AUTHOR = {J. Taylor},
  TITLE = {Why Novices Will Find Learning Prolog Hard},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {120-121},
  KEYWORDS = {progr}}

@inproceedings{Brazdil84EC,
  AUTHOR = {P. B. Brazdil},
  TITLE = {Use of Metalogical Primitives in Communication},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {122},
  KEYWORDS = {progr}}

@inproceedings{Bell84EC,
  AUTHOR = {W. Bell},
  TITLE = {PROLOG: Tomorrows Language for the Classroom},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {123},
  KEYWORDS = {progr}}

@inproceedings{Dekeyser:84EC,
  AUTHOR = {L. J. Dekeyser and B. Krekels and Y. D. Willems and J. L. Willems},
  TITLE = {YAPES: Yet Another Prolog-Based Expert System Shell},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {124},
  KEYWORDS = {progr}}

@inproceedings{Mellish84ECa,
  AUTHOR = {C. Mellish},
  TITLE = {Introduction to the Natural Language Processing Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {125},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Ritchie84EC,
  AUTHOR = {G. Ritchie},
  TITLE = {Simulating a Turing Machine Using Functional Unification Grammar},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {127-136},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Jacobs:84EC,
  AUTHOR = {P. S. Jacobs and L. F. Rau},
  TITLE = {Ace: Associating Language with Meaning},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {137-146},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Binot84EC,
  AUTHOR = {J. L. Binot},
  TITLE = {A Set-Oriented Semantic Network Formalism for the Representation of Sentence Meaning},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {147-156},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Dunin-Keplicz84EC,
  AUTHOR = {B. {Dunin Keplicz}},
  TITLE = {Default Reasoning in Anaphora Resolution},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {157-166},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Nelimarkka:84EC,
  AUTHOR = {E. Nelimarkka and H. Jaeppinen and A. Lehtola},
  TITLE = {Parsing an Inflectional Free Word Order Language with Two-Way Finite Automata},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {167-176},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Steel84EC,
  AUTHOR = {S. Steel},
  TITLE = {Simplifying Recursive Belief for Language Understanding},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {177-180},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{De84EC,
  AUTHOR = {K. De Smedt},
  TITLE = {Using Object-Oriented Knowledge-Representation Techniques in Morphology and Syntax Programming},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {181-184},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Salveter84EC,
  AUTHOR = {S. Salveter},
  TITLE = {A Model of Action that Supports Natural Language Database Update},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {185-194},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Ferber84EC,
  AUTHOR = {J. Ferber},
  TITLE = {MERING: An Open-Ended Object Oriented Language for Knowledge Representation},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {195-204},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Bree:84EC,
  AUTHOR = {D. S. Bree and R. A. Smit and H. P. Schotel},
  TITLE = {Generation and Comprehension of Dutch Subordinating Conjunctions by Computer},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {205-208},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Bestougeff:84EC,
  AUTHOR = {H. Bestougeff and G. Ligozat},
  TITLE = {Processing Tense Information in French Utterances},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {209-212},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Danlos84EC,
  AUTHOR = {L. Danlos},
  TITLE = {An Algorithm for Automatic Generation},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {213-216},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Hussmann:84EC,
  AUTHOR = {M. Hussmann and M. Bode and M. Borowiak and P. Schefe and B. Wronn},
  TITLE = {Extending the Natural Language System Swyss by a Functional Database},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {217-220},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Busemann84EC,
  AUTHOR = {S. Busemann},
  TITLE = {Topicalization and Pronominalization: Extending a Natural Language Generating System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {221-224},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Turk84EC,
  AUTHOR = {C. Turk},
  TITLE = {A Correction NL Mechanism},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {225-226},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Vilnat:84EC,
  AUTHOR = {A. Vilnat and G. Sabah},
  TITLE = {How a System May Be Self-Conscious},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {227-228},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Mellish84ECb,
  AUTHOR = {C. S. Mellish},
  TITLE = {Towards Top-Down Generating of Multi-Paragraph Text},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {229},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Bolc:84ECb,
  AUTHOR = {L. Bolc and K. Kochut and A. Kowalski and M. Kozlowska},
  TITLE = {Natural Language Information Retrieval System with Extension Towards Fuzzy Reasoning in Medicine},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {230},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Carter84EC,
  AUTHOR = {D. M. Carter},
  TITLE = {An Approach to General Machine Translation Based on Preference Semantics and Local Focussing},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {231},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Pause84EC,
  AUTHOR = {P. E. Pause},
  TITLE = {The Interpretation of Anaphoric Expressions in Con3Tra},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {232},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Saint-Dizier84EC,
  AUTHOR = {P. Saint-Dizier},
  TITLE = {Quantifier Hierarchy in a Semantic Representation of Natural Language Sentences},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {233},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Albers84EC,
  AUTHOR = {G. Albers},
  TITLE = {Introduction to the Industrial Applications Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {235},
  KEYWORDS = {}}

@inproceedings{Pau84EC,
  AUTHOR = {L. F. Pau},
  TITLE = {Failure Detection Process by an Expert System and Hybrid Pattern Recognition},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {237},
  KEYWORDS = {exp-sys}}

@inproceedings{Hayward84EC,
  AUTHOR = {S. Hayward},
  TITLE = {Diagnostic Expertise and its Use in Commercially Viable Expert Systems},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {238-239},
  KEYWORDS = {exp-sys}}

@inproceedings{Kostovetsky84EC,
  AUTHOR = {A. Kostovetsky},
  TITLE = {A High Level Data Description Language for CAD Applications},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {240-241},
  KEYWORDS = {}}

@inproceedings{Sturdza84EC,
  AUTHOR = {P. Sturdza},
  TITLE = {Implementing an Expert System with a Fourth Generation DBMS},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {242},
  KEYWORDS = {exp-sys}}

@inproceedings{Lakin:84EC,
  AUTHOR = {W. L. Lakin and J. A. H. Miles},
  TITLE = {A Blackboard System for Multi-Sensor Data Fusion},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {243},
  KEYWORDS = {}}

@inproceedings{Iudica84EC,
  AUTHOR = {N. R. Iudica},
  TITLE = {A Knowledge-Based Generator of Industrial Work Plans},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {244},
  KEYWORDS = {}}

@inproceedings{Lundberg84EC,
  AUTHOR = {B. Lundberg},
  TITLE = {A Decision Support System for Computer Aided Engineering},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {245},
  KEYWORDS = {}}

@inproceedings{Erickson:84EC,
  AUTHOR = {S. A. Erickson and D. O. Nelson and D. J. Balaban and K. D. Orwell},
  TITLE = {The Fusion of AI and Simulation},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {246},
  KEYWORDS = {}}

@inproceedings{Somalvico84EC,
  AUTHOR = {M. Somalvico},
  TITLE = {Introduction to the Planning and Search Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {247},
  KEYWORDS = {plans}}

@inproceedings{Zhang:84ECb,
  AUTHOR = {L. Zhang and B. Zhang},
  TITLE = {The Successive SA* Search and its Computational Complexity},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {249-258},
  KEYWORDS = {}}

@inproceedings{Airenti:84EC,
  AUTHOR = {G. Airenti and B. G. Bara and M. Colombetti},
  TITLE = {Plan Formation and Failure Recovery in Communicative Acts},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {259-268},
  KEYWORDS = {plans, user-mod}}

@inproceedings{Horacek84EC,
  AUTHOR = {H. Horacek},
  TITLE = {Some Conceptual Defects of Evaluation Functions},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {269-272},
  KEYWORDS = {}}

@inproceedings{Tate84EC,
  AUTHOR = {A. Tate},
  TITLE = {Goal Structure - Capturing the Intent of Plans},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {273-276},
  KEYWORDS = {plans}}

@inproceedings{Field:84EC,
  AUTHOR = {R. Field and K. {Mohyeldin Said} and I. Pohl},
  TITLE = {An Investigation of Dynamic Weighting in Heuristic Search},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {277-278},
  KEYWORDS = {}}

@inproceedings{Cullell:84EC,
  AUTHOR = {J. A. i Cullell and J. J. Villanueva},
  TITLE = {AOx Applied to Master Mind},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {279},
  KEYWORDS = {}}

@inproceedings{Bartle84EC,
  AUTHOR = {R. Bartle},
  TITLE = {Cross-Level Planning},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {280},
  KEYWORDS = {plans}}

@inproceedings{Doran:84EC,
  AUTHOR = {J. E. Doran and S. Steel and C. Trayner and Y. Wilks},
  TITLE = {Meta-Planning and Communication in Teamwork},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {281},
  KEYWORDS = {plans}}

@inproceedings{Coelho84EC,
  AUTHOR = {H. Coelho},
  TITLE = {An Introduction to the Knowledge Representation Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {283},
  KEYWORDS = {know-repr}}

@inproceedings{Farinas:84EC,
  AUTHOR = {L. {Farinas del Cerro} and E. Orlowska},
  TITLE = {DAL: A Logic for Data Analysis},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {285-294},
  KEYWORDS = {know-repr}}

@inproceedings{O-Keefe84EC,
  AUTHOR = {R. A. O'Keefe},
  TITLE = {A New Data-Structure for Type Trees},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {295-304},
  KEYWORDS = {know-repr}}

@inproceedings{Lukaszewicz84EC,
  AUTHOR = {W. Lukaszewicz},
  TITLE = {Nonmonotonic Logic for Default Theories},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {305-314},
  KEYWORDS = {know-repr}}

@inproceedings{Attardi:84EC,
  AUTHOR = {G. Attardi and M. Simi},
  TITLE = {Metalanguage and Reasoning Across Viewpoints},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {315-324},
  KEYWORDS = {infer}}

@inproceedings{Soulhi84EC,
  AUTHOR = {S. Soulhi},
  TITLE = {Proof Search in a Gentzen-Like System of Knowledge Logic},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {325-332},
  KEYWORDS = {know-repr}}

@inproceedings{Steels84ECa,
  AUTHOR = {L. Steels},
  TITLE = {Object-Oriented Knowledge Representation in KRS},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {333-336},
  KEYWORDS = {know-repr}}

@inproceedings{Green:84EC,
  AUTHOR = {P. D. Green and A. R. Wood},
  TITLE = {Knowledge-Based Speech Understanding: Towards a Representational Approach},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {337-340},
  KEYWORDS = {know-repr}}

@inproceedings{Kandrashina84EC,
  AUTHOR = {E. Y. Kandrashina},
  TITLE = {Approximate Relations for Working with Inexact Information},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {341-344},
  KEYWORDS = {know-repr}}

@inproceedings{Albert84EC,
  AUTHOR = {P. Albert},
  TITLE = {Kool at a Glance},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {345},
  KEYWORDS = {know-repr}}

@inproceedings{Trost:84EC,
  AUTHOR = {H. Trost and I. Steinacker},
  TITLE = {Representation of Chance in a Semantic Net},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {346-347},
  KEYWORDS = {action}}

@inproceedings{Bolc:84ECa,
  AUTHOR = {L. Bolc and P. Rychlik},
  TITLE = {The Use of Modal Default Reasoning in a Medical Diagnostic System with Natural Language Interface},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {348-349},
  KEYWORDS = {know-repr}}

@inproceedings{Hussmann84EC,
  AUTHOR = {M. Hussmann},
  TITLE = {IS-A isn't Enough: Towards a Taxonomic Framework for Intensional Concepts},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {350},
  KEYWORDS = {know-repr}}

@inproceedings{Nourani84EC,
  AUTHOR = {C. F. Nourani},
  TITLE = {Equational Intensity, Initial Models, and Non-Monotonic Reasoning: An Overview},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {351},
  KEYWORDS = {know-repr}}

@inproceedings{Oim:84EC,
  AUTHOR = {H. Oim and M. Koit and S. Litvak and T. Roosmaa and M. Saluveer},
  TITLE = {Taming the Combinatorial Explosion: Experts as a Link between High and Low Level Inferences},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {352},
  KEYWORDS = {know-repr}}

@inproceedings{Pavlin84EC,
  AUTHOR = {J. Pavlin},
  TITLE = {A Model for Analysis and Simulation of Distributed Knowledge-Based Systems},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {353},
  KEYWORDS = {know-repr}}

@inproceedings{Releghem84EC,
  AUTHOR = {E. van Releghem},
  TITLE = {Separating Control Knowledge from Domain Knowledge},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {354},
  KEYWORDS = {know-repr}}

@inproceedings{Tazi:84EC,
  AUTHOR = {S. Tazi and J. Virbel},
  TITLE = {Knowledge Representation in the Design of an Intelligent Text-Editing System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {355},
  KEYWORDS = {know-repr}}

@inproceedings{Futo84EC,
  AUTHOR = {I. Futo},
  TITLE = {Combined Discrete/Continuous Modelling and Cooperative Problem Solving},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {356},
  KEYWORDS = {know-repr}}

@inproceedings{Breuker84EC,
  AUTHOR = {J. Breuker},
  TITLE = {Introduction to the Cognitive Modelling Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {357},
  KEYWORDS = {psych}}

@inproceedings{Adorni:84EC,
  AUTHOR = {G. Adorni and M. {Di Manzo} and F. Giunchiglia},
  TITLE = {From Descriptions to Images: What Reasoning in between?},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {359-368},
  KEYWORDS = {psych}}

@inproceedings{Lebowitz84EC,
  AUTHOR = {M. Lebowitz},
  TITLE = {Using Memory in Text Understanding},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {369-378},
  KEYWORDS = {psych}}

@inproceedings{Slack84EC,
  AUTHOR = {J. M. Slack},
  TITLE = {The Role of Distributed Memory in Natural Language Parsing},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {379-388},
  KEYWORDS = {psych}}

@inproceedings{Hagert84ECa,
  AUTHOR = {G. Hagert},
  TITLE = {Modeling Mental Models: Experiments in Cognitive Modeling of Spatial Reasoning},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {389-398},
  KEYWORDS = {psych}}

@inproceedings{Hasemer84EC,
  AUTHOR = {T. Hasemer},
  TITLE = {MacSolo/AURAC: A Programming Environment for Novices},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {399-408},
  KEYWORDS = {psych}}

@inproceedings{Cerri:84EC,
  AUTHOR = {S. A. Cerri and C. Colombini and M. Grillo and R. Mallozzi},
  TITLE = {RADAR: Reasoning on ADA Rubbish},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {409-418},
  KEYWORDS = {psych}}

@inproceedings{Jameson84EC,
  AUTHOR = {A. Jameson},
  TITLE = {Interpreting and Predicting Belief Statements},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {419-422},
  KEYWORDS = {psych, user-mod}}

@inproceedings{Kobsa84EC,
  AUTHOR = {A. Kobsa},
  TITLE = {Three Steps in Constructing Mutual Belief Models from User Assertions},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {423-426},
  KEYWORDS = {user-mod}}

@inproceedings{Wegman:84EC,
  AUTHOR = {C. Wegman and V. Eijkhout},
  TITLE = {The Recognition of Argument Structures Underlying Expressions of Opinion},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {427-430},
  KEYWORDS = {psych}}

@inproceedings{Ohlsson:84EC,
  AUTHOR = {S. Ohlsson and P. Langley},
  TITLE = {Towards Automatic Discovery of Simulation Models},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {431-434},
  KEYWORDS = {psych}}

@inproceedings{Barnden84EC,
  AUTHOR = {J. A. Barnden},
  TITLE = {Pattern-Recognition in a Pattern-Based Neurophysiological Model of Short-Term Information Processing},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {435-438},
  KEYWORDS = {psych}}

@inproceedings{Scanlon:84EC,
  AUTHOR = {E. Scanlon and C. Hawkridge and R. Evertsz and T. O'Shea},
  TITLE = {Novice Physics Problem Solving Behaviour},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {439-447},
  KEYWORDS = {psych}}

@inproceedings{Chu84EC,
  AUTHOR = {W. Chu},
  TITLE = {A Computational Model of Human Decision Making},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {448},
  KEYWORDS = {psych}}

@inproceedings{Jansweijer:84EC,
  AUTHOR = {W. N. H. Jansweijer and B. J. Wielinga},
  TITLE = {Modelling Novice Problem Solving Behaviour},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {449-453},
  KEYWORDS = {psych}}

@inproceedings{Fum84EC,
  AUTHOR = {D. Fum},
  TITLE = {Modelling Knowledge Acquisition by Text Comprehension},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {455},
  KEYWORDS = {psych}}

@inproceedings{Gammack:84EC,
  AUTHOR = {J. Gammack and R. M. Young},
  TITLE = {Psychological Techniques for Knowledge Elicitation},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {456-457},
  KEYWORDS = {psych}}

@inproceedings{Vervenne:84EC,
  AUTHOR = {D. Vervenne and A. Heeffer and D. De Waele},
  TITLE = {Transformations of Knowledge Representations in Scientific Discovery Processes},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {458-459},
  KEYWORDS = {psych}}

@inproceedings{Thornton84EC,
  AUTHOR = {C. Thornton},
  TITLE = {Coherent Systems},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {460},
  KEYWORDS = {psych}}

@inproceedings{Hagert84ECb,
  AUTHOR = {G. Hagert},
  TITLE = {Introduction to the Learning Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {461},
  KEYWORDS = {know-acq}}

@inproceedings{Seel84EC,
  AUTHOR = {N. Seel},
  TITLE = {An Analysis of a Simple Learning System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {463-472},
  KEYWORDS = {know-acq}}

@inproceedings{Georgeff:84EC,
  AUTHOR = {M. P. Georgeff and C. S. Wallace},
  TITLE = {A General Selection Criterion for Inductive Inference},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {473-482},
  KEYWORDS = {know-acq}}

@inproceedings{Kodratoff:84EC,
  AUTHOR = {Y. Kodratoff and J. G. Ganascia and B. Clavieras and T. Bollinger and G. Tecuci},
  TITLE = {Careful Generalization for Concept Learning},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {483-492},
  KEYWORDS = {know-acq}}

@inproceedings{Someren84EC,
  AUTHOR = {M. W. van Someren},
  TITLE = {A Heuristic for Rule Learning},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {493-496},
  KEYWORDS = {know-acq}}

@inproceedings{Salzberg:84EC,
  AUTHOR = {S. Salzberg and D. J. Atkinson},
  TITLE = {Learning by Building Causal Explanations},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {497-500},
  KEYWORDS = {know-acq}}

@inproceedings{Bollinger84EC,
  AUTHOR = {T. Bollinger},
  TITLE = {A Learning System for Recursive Functions},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {501-504},
  KEYWORDS = {know-acq}}

@inproceedings{Wallace84EC,
  AUTHOR = {J. G. Wallace},
  TITLE = {Propensity to Psychopathology in a General Learning System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {505},
  KEYWORDS = {know-acq}}

@inproceedings{Wolff:84EC,
  AUTHOR = {J. G. Wolff and S. G. C. Lawrence},
  TITLE = {Inductive Learning of Spelling-To-Phoneme Rules by Data Reduction},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {506-507},
  KEYWORDS = {know-acq}}

@inproceedings{Soldano:84EC,
  AUTHOR = {H. Soldano and J. Sallantin and S. Belaid},
  TITLE = {Use of Learning Techniques for Structure Elucidation in Organic Chemistry Using 13 C - NMR Spectra},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {508-509},
  KEYWORDS = {know-acq}}

@inproceedings{Cuena:84EC,
  AUTHOR = {J. Cuena and C. Salmeron},
  TITLE = {A Method for Knowledge Acquisition and Language in Rule Based Expert Systems},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {510},
  KEYWORDS = {know-acq}}

@inproceedings{Schatzl:84EC,
  AUTHOR = {W. Schatzl and K. D. Kuhnert},
  TITLE = {Towards the Evaluation of Learning and Intelligence},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {511},
  KEYWORDS = {know-acq}}

@inproceedings{Eisenstadt84EC,
  AUTHOR = {M. Eisenstadt},
  TITLE = {A Powerful Prolog Trace Package},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {515-524},
  KEYWORDS = {progr}}

@inproceedings{Dufresne84EC,
  AUTHOR = {P. Dufresne},
  TITLE = {PSC: An Efficient Production Rule Interpreter},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {525-528},
  KEYWORDS = {exp-sys}}

@inproceedings{Lutz84EC,
  AUTHOR = {R. Lutz},
  TITLE = {Program Debugging by Near-Miss Recognition and Evaluation},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {529},
  KEYWORDS = {progr}}

@inproceedings{Fiorentini:84EC,
  AUTHOR = {M. Fiorentini and G. Ferrari and D. Dara},
  TITLE = {Gatherer: A User Friendly Interface in Chess Problem Solving},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {530},
  KEYWORDS = {}}

@inproceedings{Canny84EC,
  AUTHOR = {J. Canny},
  TITLE = {On Detecting Collisions between Polyhedra},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {533-542},
  KEYWORDS = {robot}}

@inproceedings{Bose84EC,
  AUTHOR = {P. K. Bose},
  TITLE = {Learning Stiffness Control for Compliant Motion},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {543-554},
  KEYWORDS = {robot}}

@inproceedings{Partridge:84EC,
  AUTHOR = {D. Partridge and V. Johnston and C. Burleson and G. {La Torra} and P. D. Lopez},
  TITLE = {An Input-Expectation Discrepancy Driven Robot},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {555},
  KEYWORDS = {robot}}

@inproceedings{Tascini84EC,
  AUTHOR = {G. Tascini},
  TITLE = {Free Space Representation for Description of Paths},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {556},
  KEYWORDS = {robot}}

@inproceedings{Malec84EC,
  AUTHOR = {J. Malec},
  TITLE = {The Architecture of the Control System of an Intelligent Robot Acting on Dynamic Scenes},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {557-559},
  KEYWORDS = {robot}}

@inproceedings{Bibel84EC,
  AUTHOR = {W. Bibel},
  TITLE = {Introduction to the Automatic Programming Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {561},
  KEYWORDS = {progr}}

@inproceedings{Remy:84EC,
  AUTHOR = {J. L. Remy and H. Zhang},
  TITLE = {REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {563-572},
  KEYWORDS = {progr}}

@inproceedings{Franova84EC,
  AUTHOR = {M. Franova},
  TITLE = {CM-Strategy-Driven Deductions for Automatic Programming},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {573-576},
  KEYWORDS = {progr}}

@inproceedings{Fronhoefer84EC,
  AUTHOR = {B. Fronhoefer},
  TITLE = {Heuristics for Recursion Improvement},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {577-580},
  KEYWORDS = {progr}}

@inproceedings{Valade84EC,
  AUTHOR = {J. M. Valade},
  TITLE = {Automatic Generation of Trajectories for Assembly Tasks},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {581-584},
  KEYWORDS = {progr}}

@inproceedings{Guida:84ECa,
  AUTHOR = {G. Guida and M. Guida and S. Gusmeroli and M. Somalvico},
  TITLE = {ESAP: An Expert System for Automatic Programming},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {585-588},
  KEYWORDS = {progr}}

@inproceedings{Koch84ECa,
  AUTHOR = {G. Koch},
  TITLE = {Natural Language Programming: Verification and Synthesis of Logic Programs},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {589-590},
  KEYWORDS = {n-l-p}}

@inproceedings{Walther84EC,
  AUTHOR = {C. Walther},
  TITLE = {Unification in Many-Sorted Theories},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {593-602},
  KEYWORDS = {th-prov}}

@inproceedings{Vivet84EC,
  AUTHOR = {M. Vivet},
  TITLE = {CAMELIA: A Knowledge Based Mathematical System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {603-612},
  KEYWORDS = {th-prov}}

@inproceedings{Costa:84EC,
  AUTHOR = {E. Costa and Y. Kodratoff},
  TITLE = {Using Equations without Tears},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {613-616},
  KEYWORDS = {th-prov}}

@inproceedings{Dilger:84EC,
  AUTHOR = {W. Dilger and J. Muller},
  TITLE = {Punify: An AI-Machine for Unification},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {617},
  KEYWORDS = {th-prov}}

@inproceedings{Zhang:84ECa,
  AUTHOR = {H. Zhang and P. Lescanne},
  TITLE = {Extended Path of Symbols Ordering},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {618},
  KEYWORDS = {th-prov}}

@inproceedings{Neumann84EC,
  AUTHOR = {B. Neumann},
  TITLE = {Introduction to the Vision Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {619},
  KEYWORDS = {vision}}

@inproceedings{Yuille84EC,
  AUTHOR = {A. L. Yuille},
  TITLE = {The Smoothest Velocity Field Token Matching Schemes},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {621-630},
  KEYWORDS = {vision}}

@inproceedings{Buxton:84EC,
  AUTHOR = {B. F. Buxton and H. Buxton and D. W. Murray and N. S. Williams},
  TITLE = {3D Solutions to the Aperture Problem},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {631-640},
  KEYWORDS = {vision}}

@inproceedings{Maybank84EC,
  AUTHOR = {S. J. Maybank},
  TITLE = {The Angular Velocity Associated with the Optical Flow Field Due to a Single Moving Rigid Plane},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {641-644},
  KEYWORDS = {vision}}

@inproceedings{Schlieder:84EC,
  AUTHOR = {C. Schlieder and B. Radig},
  TITLE = {Understanding Symmetry of Objects by Matching their Relational Structures},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {645-648},
  KEYWORDS = {vision}}

@inproceedings{Horaud:84EC,
  AUTHOR = {P. Horaud and R. C. Bolles},
  TITLE = {Finding Modeled Objects in Range Data},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {649-652},
  KEYWORDS = {vision}}

@inproceedings{Granger84EC,
  AUTHOR = {C. Granger},
  TITLE = {Matching a Scene to a Model Using Symbolic and Geometric Reasoning},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {653-656},
  KEYWORDS = {vision}}

@inproceedings{Kuhnert84EC,
  AUTHOR = {K. D. Kuhnert},
  TITLE = {Towards the Objective Evaluation of Low Level Vision Operators},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {657},
  KEYWORDS = {vision}}

@inproceedings{Scott84EC,
  AUTHOR = {G. L. Scott},
  TITLE = {Obtaining the Structure(s) of a Non-Rigid Body from Multiple Views by Maximising Perceived Rigidity},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {658},
  KEYWORDS = {vision}}

@inproceedings{Camonen84EC,
  AUTHOR = {M. Camonen},
  TITLE = {The Neptune System: Validation of Universe Model},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {659},
  KEYWORDS = {vision}}

@inproceedings{Sagerer:84EC,
  AUTHOR = {G. Sagerer and H. Niemann and I. Hofmann and H. Bunke},
  TITLE = {A System for the Evaluation of Medical Image Sequences Using Expert Knowledge},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {660},
  KEYWORDS = {vision}}

@inproceedings{Boden84EC,
  AUTHOR = {M. Boden},
  TITLE = {Introduction to the Philosophical Implications Subfield},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {661},
  KEYWORDS = {phil}}

@inproceedings{Rissland84EC,
  AUTHOR = {E. L. Rissland},
  TITLE = {The Ubiquitous Dialectic},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {663-668},
  KEYWORDS = {phil}}

@inproceedings{Partridge84EC,
  AUTHOR = {D. Partridge},
  TITLE = {What's in an AI Program?: A Concept-Learning Cognitive Language Understander by Any Other Name Will Behave the Same},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {669-673},
  KEYWORDS = {phil}}

@inproceedings{Dimitrov:84EC,
  AUTHOR = {I. Dimitrov and B. Petkoff},
  TITLE = {A General Knowledge Based Approach to Problem Solving},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {674-675},
  KEYWORDS = {phil}}

@inproceedings{Schefe84EC,
  AUTHOR = {P. Schefe},
  TITLE = {Abstraction, Representation and Knowledge: Some Reflections on AI and Philosophy},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {676},
  KEYWORDS = {phil}}

@inproceedings{Mohyeldin-Said84EC,
  AUTHOR = {K. {Mohyeldin Said}},
  TITLE = {Problems of the Turing-Machine Functional Description of Mental States},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {677},
  KEYWORDS = {phil}}

@inproceedings{Brady:84EC,
  AUTHOR = {M. Brady and P. E. Agre},
  TITLE = {The Mechanic's Mate},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {681-696},
  KEYWORDS = {plans}}

@inproceedings{Thompson84EC,
  AUTHOR = {H. Thompson},
  TITLE = {Speech Transcription: An Incremental, Interactive Approach},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {697-704},
  KEYWORDS = {}}

@inproceedings{Aiello:84EC,
  AUTHOR = {L. Aiello and G. Levi},
  TITLE = {The Uses of Metaknowledge in AI Systems},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {705-717},
  KEYWORDS = {}}

@inproceedings{Enomoto:84ECa,
  AUTHOR = {H. Enomoto and N. Yonezaki and M. Saeki and K. Chiba and T. Takizuka and T. Yokoi},
  TITLE = {Natural Language Based Software Development System Tell},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {721-731},
  KEYWORDS = {}}

@inproceedings{Enomoto:84ECb,
  AUTHOR = {H. Enomoto and N. Yonezaki and M. Saeki and H. Aramata},
  TITLE = {Formal Specification and Verification for Concurrent Systems by Tell},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {732-745},
  KEYWORDS = {}}

@inproceedings{Korczak84EC,
  AUTHOR = {J. J. Korczak},
  TITLE = {Decision Support System for Credit Allocation},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {746-747},
  KEYWORDS = {}}

@inproceedings{Rieger84EC,
  AUTHOR = {B. B. Rieger},
  TITLE = {The Baseline Understanding Model: A Fuzzy Word Meaning Analysis and Representation System for Machine Comprehension of Natural Language},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {748-749},
  KEYWORDS = {}}

@inproceedings{Kazimierczak84EC,
  AUTHOR = {J. Kazimierczak},
  TITLE = {Introduction to Synthesis of the Self-Organizing Operating System Nucleus},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {750-751},
  KEYWORDS = {}}

@inproceedings{Mazlack84EC,
  AUTHOR = {L. J. Mazlack},
  TITLE = {A Knowledge Based Natural Language Interface to Existing Database Access Languages},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {752-753},
  KEYWORDS = {}}

@inproceedings{Lozovsky84EC,
  AUTHOR = {V. S. Lozovsky},
  TITLE = {On Animation of Expert Systems},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {754-755},
  KEYWORDS = {exp-sys}}

@inproceedings{Rooney84EC,
  AUTHOR = {B. J. Rooney},
  TITLE = {The Dynamics of the Expert Systems Community},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {756-757},
  KEYWORDS = {exp-sys}}

@inproceedings{Thompson:84EC,
  AUTHOR = {B. H. Thompson and F. B. Thompson},
  TITLE = {Integrating Text, Graphics and Images into a Natural Language Data Base System},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {758},
  KEYWORDS = {n-l-p}}

@inproceedings{Uschold:84EC,
  AUTHOR = {M. Uschold and N. Harding and R. Muetzelfeldt and A. Bundy},
  TITLE = {An Intelligent Front End for Ecological Modelling},
  YEAR = 1984,
  BOOKTITLE = {Proc. of the 6th ECAI},
  ADDRESS = "Pisa, Italy",
  PAGES = {761-770},
  KEYWORDS = {}}