LIDOS BibTeX Database File
ecai86.bib

@inproceedings{Velde86EC,
  AUTHOR = {W. van de Velde},
  TITLE = {Explainable Knowledge Production},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {8-22},
  KEYWORDS = {know-acq}}

@inproceedings{Buntine86EC,
  AUTHOR = {W. Buntine},
  TITLE = {Generalised Subsumption and its Applications to Induction and Redundancy},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {23-31},
  KEYWORDS = {know-repr}}

@inproceedings{Lebowitz86EC,
  AUTHOR = {M. Lebowitz},
  TITLE = {UNIMEM, a General Learning System: An Overview},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {32-42},
  KEYWORDS = {know-acq}}

@inproceedings{Boswell86EC,
  AUTHOR = {R. Boswell},
  TITLE = {Analytic Goal Regression: Problems, Solutions and Enhancements},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {43-54},
  KEYWORDS = {}}

@inproceedings{Pearl:86EC,
  AUTHOR = {J. Pearl and A. Paz},
  TITLE = {Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z?},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {55-61},
  KEYWORDS = {}}

@inproceedings{Goossens86EC,
  AUTHOR = {D. Goossens},
  TITLE = {Automatic Node Recognition in a Partitioning Graph: Restricting the Search Space While Preserving Completeness},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {62-68},
  KEYWORDS = {}}

@inproceedings{Biundo86EC,
  AUTHOR = {S. Biundo},
  TITLE = {A Synthesis System Mechanizing Proofs by Induction},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {69-78},
  KEYWORDS = {th-prov}}

@inproceedings{Jacquet:86EC,
  AUTHOR = {P. Jacquet and M. L. Potet},
  TITLE = {Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis)},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {79-90},
  KEYWORDS = {}}

@inproceedings{Huntbach86EC,
  AUTHOR = {M. M. Huntbach},
  TITLE = {Program Synthesis by Inductive Inference},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {91-100},
  KEYWORDS = {progr}}

@inproceedings{Duval:86EC,
  AUTHOR = {B. Duval and Y. Kodratoff},
  TITLE = {Automated Deduction in an Uncertain and Inconsistent Data Basis},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {101-108},
  KEYWORDS = {th-prov}}

@inproceedings{Gallagher86EC,
  AUTHOR = {J. Gallagher},
  TITLE = {Transforming Logic Programs by Specialising Interpreters},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {109-122},
  KEYWORDS = {progr}}

@inproceedings{Froidevaux86EC,
  AUTHOR = {C. Froidevaux},
  TITLE = {Taxonomic Default Theory},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {123-129},
  KEYWORDS = {know-repr}}

@inproceedings{Attardi86EC,
  AUTHOR = {G. Attardi},
  TITLE = {Concurrent Strategy Execution in OMEGA},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {130-139},
  KEYWORDS = {know-repr, progr}}

@inproceedings{Owen86EC,
  AUTHOR = {S. Owen},
  TITLE = {Heuristics for Analogy Matching},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {140-152},
  KEYWORDS = {}}

@inproceedings{Wellsch:86EC,
  AUTHOR = {K. Wellsch and M. Jones},
  TITLE = {Computational Analogy},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {153-162},
  KEYWORDS = {}}

@inproceedings{Granger86EC,
  AUTHOR = {C. Granger},
  TITLE = {Fuzzy Reasoning in a Knowledge-Based System for Object Classification},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {163-170},
  KEYWORDS = {}}

@inproceedings{Rau86EC,
  AUTHOR = {L. F. Rau},
  TITLE = {Generalization-Based Retrieval},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {171-180},
  KEYWORDS = {}}

@inproceedings{King86EC,
  AUTHOR = {M. King},
  TITLE = {The Prospect of Machine Translation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {181-192},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Jacobs86EC,
  AUTHOR = {P. S. Jacobs},
  TITLE = {The KING Natural Language Generator},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {193-202},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Hahn86EC,
  AUTHOR = {U. Hahn},
  TITLE = {A Generalized Word Expert Model of Lexically Distributed Text Parsing},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {203-211},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Stock86EC,
  AUTHOR = {O. Stock},
  TITLE = {Dynamic Unification in Lexically Based Parsing},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {212-221},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Adriaens86EC,
  AUTHOR = {G. Adriaens},
  TITLE = {WEP (Word Expert Parsing) Revised and Applied to Dutch},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {222-235},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Attardi:86EC,
  AUTHOR = {G. Attardi and A. Corradini and S. Diomedi and M. Simi},
  TITLE = {Taxonomic Reasoning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {236-245},
  KEYWORDS = {know-repr}}

@inproceedings{Benoit:86EC,
  AUTHOR = {C. Benoit and Y. Caseau and C. Pherivong},
  TITLE = {Knowledge Representation and Communication Mechanisms in LORE},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {246-255},
  KEYWORDS = {know-repr}}

@inproceedings{Maes86EC,
  AUTHOR = {P. Maes},
  TITLE = {Introspection in Knowledge Representation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {256-269},
  KEYWORDS = {know-repr}}

@inproceedings{Briot:86EC,
  AUTHOR = {J. P. Briot and P. Cointe},
  TITLE = {The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {270-277},
  KEYWORDS = {know-repr}}

@inproceedings{Marcke86EC,
  AUTHOR = {K. van Marcke},
  TITLE = {A Parallel Algorithm for Consistency Maintenance in Knowledge Representation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {278-290},
  KEYWORDS = {know-repr}}

@inproceedings{Kauffmann:86EC,
  AUTHOR = {H. Kauffmann and A. Grumbach},
  TITLE = {MULTILOG: Multiple Words in Logic Programming},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {291-305},
  KEYWORDS = {know-repr}}

@inproceedings{Wielinga:86EC,
  AUTHOR = {B. J. Wielinga and J. A. Breuker},
  TITLE = {Models of Expertise},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {306-318},
  KEYWORDS = {exp-sys}}

@inproceedings{Worden:86EC,
  AUTHOR = {R. P. Worden and M. H. Foote and J. A. Knight and S. K. Andersen},
  TITLE = {Co-Operative Expert Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {319-334},
  KEYWORDS = {exp-sys}}

@inproceedings{Gallanti:86EC,
  AUTHOR = {M. Gallanti and L. Gilardoni and G. Guida and A. Stefanini},
  TITLE = {Exploiting Physical and Design Knowledge in the Diagnosis of Complex Industrial Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {335-349},
  KEYWORDS = {exp-sys}}

@inproceedings{Clocksin:86EC,
  AUTHOR = {W. F. Clocksin and A. J. Morgan},
  TITLE = {Qualitative Control},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {350-356},
  KEYWORDS = {}}

@inproceedings{Andersen:86EC,
  AUTHOR = {S. K. Andersen and S. Andreassen and M. Woldbye},
  TITLE = {Knowledge Representations for Diagnosis and Test Planning in the Domain of Electromyography},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {357-368},
  KEYWORDS = {know-repr}}

@inproceedings{Sloman86EC,
  AUTHOR = {A. Sloman},
  TITLE = {Reference without Causal Links},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {369-381},
  KEYWORDS = {phil, sb-one}}

@inproceedings{Lukaszewicz86EC,
  AUTHOR = {W. Lukaszewicz},
  TITLE = {Minimization of Abnormality: A Simple System for Default Reasoning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {382-389},
  KEYWORDS = {infer}}

@inproceedings{Shoham86EC,
  AUTHOR = {Y. Shoham},
  TITLE = {Reified Temporal Logics: Semantical and Ontological Considerations},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {390-397},
  KEYWORDS = {time, temp-rel}}

@inproceedings{Barnden86EC,
  AUTHOR = {J. Barnden},
  TITLE = {Interpreting Propositional Attitude Reports: Towards Greater Freedom and Control},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {398-412},
  KEYWORDS = {user-mod}}

@inproceedings{Cohen86EC,
  AUTHOR = {P. R. Cohen},
  TITLE = {Numeric and Symbolic Reasoning in Expert Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {413-427},
  KEYWORDS = {exp-sys}}

@inproceedings{Jones:86EC,
  AUTHOR = {J. Jones and M. Millington and P. Ross},
  TITLE = {A Blackboard Shell in Prolog},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {428-436},
  KEYWORDS = {progr}}

@inproceedings{Nardi:86EC,
  AUTHOR = {B. A. Nardi and E. A. Paulson},
  TITLE = {Multiple Worlds with Truth Maintenance in AI Applications},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {437-444},
  KEYWORDS = {infer}}

@inproceedings{Sansonnet86EC,
  AUTHOR = {J. P. Sansonnet},
  TITLE = {The Machine for Artificial Intelligence Applications: MAIA},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {445-455},
  KEYWORDS = {}}

@inproceedings{Hayes86EC,
  AUTHOR = {P. J. Hayes},
  TITLE = {Steps towards Integrating Natural Language and Graphical Interaction for Knowledge-Based Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {456-465},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Wilkins86EC,
  AUTHOR = {D. E. Wilkins},
  TITLE = {Hierarchical Planning: Definition and Implementation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {466-478},
  KEYWORDS = {plans}}

@inproceedings{Tsang86EC,
  AUTHOR = {E. P. K. Tsang},
  TITLE = {Plan Generation in a Temporal Frame},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {479-493},
  KEYWORDS = {plans, time, probl-solv}}

@inproceedings{Laugier:86EC,
  AUTHOR = {C. Laugier and P. Theveneau},
  TITLE = {Planning Sensor-Based Motions for Part-Mating Using Geometric Reasoning Techniques},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {494-506},
  KEYWORDS = {plans, robot}}

@inproceedings{Massone:86EC,
  AUTHOR = {L. Massone and P. Morasso},
  TITLE = {Analogical and Propositional Knowledge in Intelligent Path Planning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {507-517},
  KEYWORDS = {plans, know-repr}}

@inproceedings{Blake:86EC,
  AUTHOR = {A. Blake and A. Zisserman and A. V. Papoulias},
  TITLE = {Weak Continuity Constraints Generate Uniform Scale-Space Descriptions of Plane Curves},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {518-528},
  KEYWORDS = {vision}}

@inproceedings{Horaud86EC,
  AUTHOR = {R. Horaud},
  TITLE = {Combining Image and Spatial Reasoning for Model Retrieval},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {529-538},
  KEYWORDS = {vision}}

@inproceedings{Buxton:86EC,
  AUTHOR = {H. Buxton and N. Williams},
  TITLE = {Applications of a Fast Parallel Algorithm for the Extraction and Interpretation of Optical Flow},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {539-545},
  KEYWORDS = {}}

@inproceedings{Hasse86EC,
  AUTHOR = {K. W. Hasse},
  TITLE = {Discovery Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {546-555},
  KEYWORDS = {know-acq}}

@inproceedings{Jonckers86EC,
  AUTHOR = {V. Jonckers},
  TITLE = {Exploring Algorithms through Mutations},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {556-568},
  KEYWORDS = {}}

@inproceedings{Emde86EC,
  AUTHOR = {W. Emde},
  TITLE = {Big Flood in the Blocks World or Non-Cumulative Learning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {569-575},
  KEYWORDS = {know-acq}}

@inproceedings{Jansweijer:86EC,
  AUTHOR = {W. N. H. Jansweijer and J. J. Elshout and B. J. Wielinga},
  TITLE = {The Expertise of Novice Problem Solvers},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {576-585},
  KEYWORDS = {}}

@inproceedings{Lawler86EC,
  AUTHOR = {R. W. Lawler},
  TITLE = {Co-Adaptation and the Development of Cognitive Structures},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI},
  ADDRESS = "Brighton, UK",
  PAGES = {586-597},
  KEYWORDS = {psych}}

@inproceedings{Siekmann86EC,
  AUTHOR = {J. H. Siekmann},
  TITLE = {Unification Theory},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {vi-xxxv},
  KEYWORDS = {th-prov}}

@inproceedings{Andre:86EC,
  AUTHOR = {E. Andre and G. Bosch and G. Herzog and T. Rist},
  TITLE = {Characterizing Trajectories of Moving Objects Using Natural Language Path Descriptions},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {1-8},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Rayner:86EC,
  AUTHOR = {M. Rayner and A. Banks},
  TITLE = {Temporal Relations and Logic Grammars},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {9-14},
  KEYWORDS = {time, temp-rel}}

@inproceedings{Sebastiani:86EC,
  AUTHOR = {F. Sebastiani and I. Prodanof},
  TITLE = {Semantic Interpretation of Technical Texts},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {15-22},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Cater86EC,
  AUTHOR = {A. W. S. Cater},
  TITLE = {Preference-Directed Use of ATNs},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {23-28},
  KEYWORDS = {parsing}}

@inproceedings{Kilbury86EC,
  AUTHOR = {J. Kilbury},
  TITLE = {Language Variation, Parsing, and the Modelling of Users' Language Varieties},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {29-32},
  KEYWORDS = {user-mod}}

@inproceedings{Quilici:86EC,
  AUTHOR = {A. E. Quilici and M. G. Dyer and M. Flowers},
  TITLE = {AQUA: An Intelligent Unix Advisor},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {33-38},
  KEYWORDS = {user-mod}}

@inproceedings{Kawaguchi:86EC,
  AUTHOR = {A. Kawaguchi and N. Taoka and R. Mizoguchi and T. Yamaguchi and O. Kakusho},
  TITLE = {An Intelligent Interview System for Conceptual Design of Database},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {39-45},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Stoyan:86EC,
  AUTHOR = {H. Stoyan and J. Chailloux and J. Fitch and T. Krumnack and E. Neidl and G. Attardi and T. Christaller and J. Dalton and M. Devin and B. Lang and R. {Lopez de Mantaras} and E. Papon and S. Pope and C. Quiennec and L. Steels},
  TITLE = {Towards a LISP Standard},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {46-52},
  KEYWORDS = {}}

@inproceedings{Devanbu:86EC,
  AUTHOR = {P. Devanbu and M. Freeland and S. Naqvi},
  TITLE = {A Procedural Approach to Search Control in Prolog},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {53-57},
  KEYWORDS = {}}

@inproceedings{Ferber86EC,
  AUTHOR = {J. Ferber},
  TITLE = {Towards a Reflective Actor Oriented Language},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {58-67},
  KEYWORDS = {}}

@inproceedings{Knoedler:86EC,
  AUTHOR = {B. Knoedler and B. Neidecker and W. Rosenstiel},
  TITLE = {A Prolog Machine for Warren's Abstract Instruction Set},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {68-72},
  KEYWORDS = {progr}}

@inproceedings{Brazdil86EC,
  AUTHOR = {P. B. Brazdil},
  TITLE = {Transfer of Knowledge between Systems: A Common Approach to Teaching and Learning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {73-78},
  KEYWORDS = {}}

@inproceedings{Heeffer:86EC,
  AUTHOR = {A. Heeffer and M. Leman},
  TITLE = {Chunking as a Method for Concept Acquisition},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {79-83},
  KEYWORDS = {}}

@inproceedings{Bierman86EC,
  AUTHOR = {D. J. Bierman},
  TITLE = {Intelligent Simulation Environments in Education},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {84-89},
  KEYWORDS = {}}

@inproceedings{Elsom-Cook86EC,
  AUTHOR = {M. {Elsom Cook}},
  TITLE = {A Pascal Program Checker},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {90-95},
  KEYWORDS = {progr}}

@inproceedings{Hewett86EC,
  AUTHOR = {J. Hewett},
  TITLE = {Commercial Expert Systems in North America},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {96-102},
  KEYWORDS = {exp-sys}}

@inproceedings{Jakob:86EC,
  AUTHOR = {F. Jakob and P. Suslenschi and D. Vernet},
  TITLE = {EXTASE: An Expert System for Alarm Processing in Process Control},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {103-108},
  KEYWORDS = {exp-sys}}

@inproceedings{Piette:86EC,
  AUTHOR = {D. Piette and C. Roche and J. C. Ianeselli},
  TITLE = {ALPA: Diagnosis Expert System for Supervision of Nuclear Reactors},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {109-113},
  KEYWORDS = {exp-sys}}

@inproceedings{David:86EC,
  AUTHOR = {J. M. David and J. P. Krivine},
  TITLE = {Reasoning from Structure and Behavior: Four Relevance Criteria},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {114-119},
  KEYWORDS = {exp-sys}}

@inproceedings{Brouwer-Janse:86EC,
  AUTHOR = {M. D. {Brouwer Janse} and R. B. Pitt},
  TITLE = {Knowledge Acquisition Methodological Issues and Problem-Solving Profiles},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {120-127},
  KEYWORDS = {know-acq}}

@inproceedings{Lopez:86EC,
  AUTHOR = {R. {Lopez de Mantaras} and U. Cortes and J. Manero and E. Plaza and X. Salra and J. Agusti},
  TITLE = {Knowledge Elicitation Using Personal Constructs Application to Document Classification},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {128-134},
  KEYWORDS = {know-acq}}

@inproceedings{Keravnou:86EC,
  AUTHOR = {E. T. Keravnou and L. Johnson},
  TITLE = {A New Architecture for Expert Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {135-142},
  KEYWORDS = {exp-sys}}

@inproceedings{Faugeras:86EC,
  AUTHOR = {O. D. Faugeras and F. Lustman},
  TITLE = {Inferring Planes by Hypothesis Prediction and Testing for a Mobile Robot},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {143-147},
  KEYWORDS = {robot}}

@inproceedings{Fisher86EC,
  AUTHOR = {R. B. Fisher},
  TITLE = {Identity Independent Object Segmentation in 2 1/2D Sketch Data},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {148-153},
  KEYWORDS = {vision}}

@inproceedings{Gardin:86EC,
  AUTHOR = {F. Gardin and B. Meltzer and P. Stofella},
  TITLE = {The Analogical Representation of Liquids in Naive Physics},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {154-159},
  KEYWORDS = {know-repr}}

@inproceedings{Drapkin:86EC,
  AUTHOR = {J. Drapkin and D. Perlis},
  TITLE = {Step-Logics: An Alternative Approach to Limited Reasoning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {160-163},
  KEYWORDS = {know-repr}}

@inproceedings{Fidelak86EC,
  AUTHOR = {M. Fidelak},
  TITLE = {PETRI NETS: A Formal Language for Knowledge Representation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {164-168},
  KEYWORDS = {know-repr}}

@inproceedings{Smets86EC,
  AUTHOR = {P. Smets},
  TITLE = {Bayes Theorem Generalized for Belief Functions},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {169-170},
  KEYWORDS = {know-repr}}

@inproceedings{Dubois:86EC,
  AUTHOR = {D. Dubois and H. Prade},
  TITLE = {A Tentative Comparison of Numerical Approximate Reasoning Methodologies},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {171-176},
  KEYWORDS = {know-repr}}

@inproceedings{Rector86EC,
  AUTHOR = {A. L. Rector},
  TITLE = {Inheritance and Ambiguity in Semantic Networks for Medical Knowledge and Representation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {177-181},
  KEYWORDS = {know-repr}}

@inproceedings{Cerri86EC,
  AUTHOR = {S. A. Cerri},
  TITLE = {Ambiguity in Knowledge Representation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of the 7th ECAI, Vol. 2},
  ADDRESS = "Brighton, UK",
  PAGES = {182-187},
  KEYWORDS = {know-repr}}