LIDOS BibTeX Database File
CANAD-AI-86-a2271-316.bib

@inproceedings{Holte:86CA,
  AUTHOR = {R. C. Holte and R. M. Wharton},
  TITLE = {Generative Structure in Enumerative Learning Systems},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {11-16},
  KEYWORDS = {know-acq}}

@inproceedings{Wellsch:86CA,
  AUTHOR = {K. Wellsch and M. Jones},
  TITLE = {Detecting Analogous Learning},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {17-23},
  KEYWORDS = {know-acq}}

@inproceedings{Finin:86CA,
  AUTHOR = {T. Finin and D. Drager},
  TITLE = {GUMS: A General User Modelling System},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {24-30},
  KEYWORDS = {know-acq, user-mod}}

@inproceedings{Oppacher:86CA,
  AUTHOR = {F. Oppacher and E. Suen},
  TITLE = {An Efficient Tableau-Based Theorem Prover},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {31-35},
  KEYWORDS = {infer, th-prov}}

@inproceedings{Etherington:86CA,
  AUTHOR = {D. W. Etherington and R. E. Mercer},
  TITLE = {Domain Circumscription Revisited},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {36-38},
  KEYWORDS = {infer, th-prov}}

@inproceedings{Hurum:86CA,
  AUTHOR = {S. O. Hurum and L. K. Schubert},
  TITLE = {Two Types of Quantifier Scoping},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {39-43},
  KEYWORDS = {infer, th-prov}}

@inproceedings{Delgrande86CA,
  AUTHOR = {J. P. Delgrande},
  TITLE = {A Propositional Logic for Natural Kinds},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {44-48},
  KEYWORDS = {infer, th-prov}}

@inproceedings{Hadley86CA,
  AUTHOR = {R. F. Hadley},
  TITLE = {Fagin and Halpern on Logical Omnisciences: A Critique with an Alternative},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {49-56},
  KEYWORDS = {infer, th-prov}}

@inproceedings{Strzalkowski86CA,
  AUTHOR = {T. Strzalkowski},
  TITLE = {Representing Contextual Dependencies in Discourse},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {57-61},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Ali:86CA,
  AUTHOR = {Y. Ali and R. Aubin and B. Hall},
  TITLE = {A Domain-Independant Natural Language Database Interface},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {62-66},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Kittredge:86CA,
  AUTHOR = {R. Kittredge and A. Polguere and E. Goldberg},
  TITLE = {Natural Language Report Synthesis: An Application to Marine Weather Forecasts},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {67-70},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Schubert:86CA,
  AUTHOR = {L. K. Schubert and L. Watanabe},
  TITLE = {What's in an Answer: A Theoretical Perspective on Deductive Question Answering},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {71-77},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Harrison:86CA,
  AUTHOR = {P. Harrison and M. Maxwell},
  TITLE = {A New Implementation for Generalized Phrase Structure Grammar},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {78-83},
  KEYWORDS = {ling, n-l-p}}

@inproceedings{Carberry86CA,
  AUTHOR = {S. Carberry},
  TITLE = {Track: Toward a Robust Natural Language Interface},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {84-88},
  KEYWORDS = {ling, n-l-p, user-mod}}

@inproceedings{Chan86CA,
  AUTHOR = {K. H. Chan},
  TITLE = {Representation of Negative and Incomplete Information in Prolog},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {89-93},
  KEYWORDS = {logic, progr}}

@inproceedings{Pearl:86CA,
  AUTHOR = {J. Pearl and A. Paz},
  TITLE = {On the Logic of Representing Dependencies by Graphs},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {94-98},
  KEYWORDS = {logic, progr}}

@inproceedings{Akama86CA,
  AUTHOR = {S. Akama},
  TITLE = {A Proposal of Modal Logic Programming (Extended Abstract)},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {99-102},
  KEYWORDS = {logic, progr}}

@inproceedings{Elcock:86CA,
  AUTHOR = {E. W. Elcock and P. Hoddinott},
  TITLE = {Classical Equality and Prolog},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {103-108},
  KEYWORDS = {logic, progr}}

@inproceedings{McCalla:86CA,
  AUTHOR = {G. I. McCalla and R. B. Bunt and J. J. Harms},
  TITLE = {Diagnosis of Non-Syntactic Programming Errors in the SCENT Advisor},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {109-116},
  KEYWORDS = {}}

@inproceedings{Dawson:86CA,
  AUTHOR = {M. Dawson and Z. Pylyshyn},
  TITLE = {Using Relative Velocity Information to Constrain the Motion Correspondence Problem: Psychophysical Data and a Computational Model},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {117-123},
  KEYWORDS = {vision, psych}}

@inproceedings{Taie:86CA,
  AUTHOR = {M. R. Taie and S. N. Srihari and J. Geller},
  TITLE = {Device Representation Using Instantiation Rules and Structural Templates},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {124-128},
  KEYWORDS = {know-repr}}

@inproceedings{Jin86CA,
  AUTHOR = {W. Jin},
  TITLE = {Machine Translation between Chinese and English},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {129-133},
  KEYWORDS = {n-l-p}}

@inproceedings{Hull86CA,
  AUTHOR = {J. J. Hull},
  TITLE = {Inter-Word Constraints in Visual Word Recognition},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {134-138},
  KEYWORDS = {n-l-p}}

@inproceedings{Link:86CA,
  AUTHOR = {N. K. Link and S. W. Zucker},
  TITLE = {Sensitivity to Corners in Flow Patterns},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {139-143},
  KEYWORDS = {vision}}

@inproceedings{Sander:86CA,
  AUTHOR = {P. T. Sander and S. W. Zucker},
  TITLE = {Stable Surface Estimation},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {144-147},
  KEYWORDS = {vision}}

@inproceedings{Bandopadhay:86CA,
  AUTHOR = {A. Bandopadhay and R. Dutta},
  TITLE = {Measuring Motion in Dynamic Images: A Clustering Approach},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {148-153},
  KEYWORDS = {vision}}

@inproceedings{Aloimonos:86CA,
  AUTHOR = {J. Y. Aloimonos and I. Rigoutsos},
  TITLE = {Determining the 3-D Motion of a Rigid Surface Patch without Correspondance, under Perspective Projection},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {154-159},
  KEYWORDS = {vision}}

@inproceedings{Bandopadhay:86CA,
  AUTHOR = {A. Bandopadhay and B. Chandra and D. H. Ballard},
  TITLE = {Active Navigation},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {160-165},
  KEYWORDS = {vision}}

@inproceedings{Rodger:86CA,
  AUTHOR = {J. C. Rodger and R. A. Browse},
  TITLE = {Combining Visual and Tactile Perception for Robotics},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {166-171},
  KEYWORDS = {vision}}

@inproceedings{Fox86CA,
  AUTHOR = {M. S. Fox},
  TITLE = {Observations on the Role of Constraints in Problem Solving},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {172-187},
  KEYWORDS = {exp-sys}}

@inproceedings{Raatz:86CA,
  AUTHOR = {S. Raatz and G. Drastal},
  TITLE = {Rule Interaction in Expert System Knowledge Bases},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {188-193},
  KEYWORDS = {exp-sys}}

@inproceedings{Beek:86CA,
  AUTHOR = {P. van Beek and R. Cohen},
  TITLE = {Towards User Specific Explanations from Expert Systems},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {194-198},
  KEYWORDS = {exp-sys, user-mod}}

@inproceedings{Bassano86CA,
  AUTHOR = {J.-C. Bassano},
  TITLE = {DIALECT: An Expert Assistant for Information Retrieval},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {199-203},
  KEYWORDS = {exp-sys}}

@inproceedings{Otis:86CA,
  AUTHOR = {B. W. Otis and E. C. Freuder},
  TITLE = {Subdivisions of Knowledge for Igneous Rock Identification},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {204-209},
  KEYWORDS = {exp-sys}}

@inproceedings{Patel-Schneider86CA,
  AUTHOR = {P. F. Patel-Schneider},
  TITLE = {A Hybrid Decidable, Logic-Based Knowledge Representation System},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {210-214},
  KEYWORDS = {know-repr}}

@inproceedings{Balaban86CA,
  AUTHOR = {M. Balaban},
  TITLE = {The Generalized-Concept Formalism: A Frames and Logic Based Representation Model},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {215-219},
  KEYWORDS = {know-repr}}

@inproceedings{Lo-Giudice:86CA,
  AUTHOR = {D. {Lo Giudice} and P. Scaruffi},
  TITLE = {Knowledge Modules vs Knowledge-bases: a Structure for Representing the Granularity of Real-World Knowledge},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {220-224},
  KEYWORDS = {know-repr}}

@inproceedings{Brown86CA,
  AUTHOR = {F. M. Brown},
  TITLE = {Reasoning in a Hierarchy of Deontic Defaults. Raisonment dans une Hierarchie de Faits de Base Deontiques},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {225-229},
  KEYWORDS = {know-repr}}

@inproceedings{Martins:86CA,
  AUTHOR = {J. P. Martins and S. C. Shapiro},
  TITLE = {Belief Revision in SNePS},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {230-234},
  KEYWORDS = {know-repr}}

@inproceedings{Pelletier:86CA,
  AUTHOR = {B. Pelletier and J. Vaucher},
  TITLE = {Genial: Un Generateur D'Interface en Lanue Naturelle},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {235-239},
  KEYWORDS = {n-l-p}}

@inproceedings{Davis:86CA,
  AUTHOR = {H. W. Davis and R. B. Pollack and D. J. Golden},
  TITLE = {Towards a Domain-Independant Method of Comparing Search Algorithm Run-Times},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {240-244},
  KEYWORDS = {}}

@inproceedings{Dechter:86CA,
  AUTHOR = {R. Dechter and A. Dechter},
  TITLE = {Properties of Greedily Optimized Ordering Problems},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {245-250},
  KEYWORDS = {}}

@inproceedings{Cleveland86CA,
  AUTHOR = {G. A. Cleveland},
  TITLE = {Mechanisms in ISFI: A Technical Overview},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {251-255},
  KEYWORDS = {}}

@inproceedings{Chouraqui86CA,
  AUTHOR = {E. Chouraqui},
  TITLE = {Un Systeme Formel de Caracterisation de l'Evolution des Connaissances},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {256-261},
  KEYWORDS = {}}

@inproceedings{Maury:86CA,
  AUTHOR = {M. Maury and A.-M. Massotte and H. Betaille},
  TITLE = {Une Experience de l'Ingenierie de la Connaissance: CODIAPSY avec HAMEX},
  YEAR = 1986,
  BOOKTITLE = CANADAI86P,
  ADDRESS = CANADAI86L,
  PAGES = {262-265},
  KEYWORDS = {know-repr}}