LIDOS BibTeX Database File
aaai86.bib

@inproceedings{Brewka86AA,
  AUTHOR = {G. Brewka},
  TITLE = {Tweety-Still Flying: Some Remarks on Abnormal Birds},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {8-12},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Morris:86AA,
  AUTHOR = {P. H. Morris and R. A. Nado},
  TITLE = {Representing Actions with an Assumption-Based Truth Maintenance System},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {13-20},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Cohen86AA,
  AUTHOR = {D. Cohen},
  TITLE = {Automatic Compilation of Logical Specifications into Efficient Programs},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {21-25},
  KEYWORDS = {progr}}

@inproceedings{Skowron:86AA,
  AUTHOR = {A. Skowron and A. Pettorossi},
  TITLE = {Factual Knowledge for Developing Concurrent Programs},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {26-31},
  KEYWORDS = {progr}}

@inproceedings{Kautz:86AA,
  AUTHOR = {H. A. Kautz and J. F. Allen},
  TITLE = {Generalized Plan Recognition},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {32-37},
  KEYWORDS = {plans, user-mod}}

@inproceedings{Belzer86AA,
  AUTHOR = {M. Belzer},
  TITLE = {A Logic of Deliberation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {38-43},
  KEYWORDS = {plans}}

@inproceedings{Schmolze86AA,
  AUTHOR = {J. G. Schmolze},
  TITLE = {Physics for Robots},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {44-50},
  KEYWORDS = {plans}}

@inproceedings{Genesereth:86AA,
  AUTHOR = {M. R. Genesereth and M. L. Ginsberg and J. S. Rosenschein},
  TITLE = {Cooperation without Communication},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {51-57},
  KEYWORDS = {plans}}

@inproceedings{Durfee:86AA,
  AUTHOR = {E. H. Durfee and V. R. Lesser},
  TITLE = {Incremental Planning to Control a Blackboard-Based Problem Solver},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {58-64},
  KEYWORDS = {plans}}

@inproceedings{Altermann86AA,
  AUTHOR = {R. Altermann},
  TITLE = {An Adaptive Planner},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {65-69},
  KEYWORDS = {plans}}

@inproceedings{Georgeff86AA,
  AUTHOR = {M. P. Georgeff},
  TITLE = {The Representation of Events in Multiagent Domains},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {70-75},
  KEYWORDS = {plans}}

@inproceedings{Tenenberg86AA,
  AUTHOR = {J. Tenenberg},
  TITLE = {Planning with Abstraction},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {76-80},
  KEYWORDS = {plans}}

@inproceedings{Doyle:86AA,
  AUTHOR = {R. J. Doyle and D. J. Atkinson and R. S. Doshi},
  TITLE = {Generating Perception Requests and Expectations to Verify the Execution of Plans},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {81-88},
  KEYWORDS = {plans}}

@inproceedings{Sandewall:86AA,
  AUTHOR = {E. Sandewall and R. R\"onnquist},
  TITLE = {A Representation of Action Structures},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {89-97},
  KEYWORDS = {plans, temp-rel, vision, know-repr}}

@inproceedings{Raiman86AA,
  AUTHOR = {O. Raiman},
  TITLE = {Order of Magnitude Reasoning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {100-104},
  KEYWORDS = {infer}}

@inproceedings{Williams86AA,
  AUTHOR = {B. C. Williams},
  TITLE = {Doing Time: Putting Qualitative Reasoning on Firmer Ground},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {105-112},
  KEYWORDS = {infer}}

@inproceedings{Forbus86AA,
  AUTHOR = {K. D. Forbus},
  TITLE = {Interpreting Measurements of Physical Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {113-117},
  KEYWORDS = {infer}}

@inproceedings{Simmons86AA,
  AUTHOR = {R. Simmons},
  TITLE = {``Commonsense'' Arithmetic Reasoning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {118-124},
  KEYWORDS = {infer}}

@inproceedings{Yen86AA,
  AUTHOR = {J. Yen},
  TITLE = {A Reasoning Model Based on an Extended Dempster-Shafer Theory},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {125-131},
  KEYWORDS = {infer}}

@inproceedings{Kleer:86AA,
  AUTHOR = {J. de Kleer and B. Williams},
  TITLE = {Reasoning about Multiple Faults},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {132-139},
  KEYWORDS = {infer}}

@inproceedings{Peng:86AA,
  AUTHOR = {Y. Peng and J. A. Reggia},
  TITLE = {Plausability of Diagnostic Hypotheses},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {140-145},
  KEYWORDS = {infer}}

@inproceedings{Christensen:86AA,
  AUTHOR = {J. Christensen and R. E. Korf},
  TITLE = {A Unified Theory of Heuristic Evaluation Functions and its Application to Learning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {148-152},
  KEYWORDS = {}}

@inproceedings{Treitel:86AA,
  AUTHOR = {R. Treitel and M. R. Genesereth},
  TITLE = {Choosing Directions for Rules},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {153-157},
  KEYWORDS = {}}

@inproceedings{Luckhart:86AA,
  AUTHOR = {C. A. Luckhart and K. B. Irani},
  TITLE = {An Algorithmic Solution of N-Person Games},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {158-162},
  KEYWORDS = {}}

@inproceedings{Bhattacharya:86AA,
  AUTHOR = {S. Bhattacharya and A. Bagchi},
  TITLE = {Making Best Use of Available Memory When Searching Game Trees},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {163-167},
  KEYWORDS = {}}

@inproceedings{Ratner:86AAa,
  AUTHOR = {D. Ratner and M. Warmuth},
  TITLE = {Finding a Shortest Solution for the N x N Extension of the 15-PUZZLE is Intractable},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {168-172},
  KEYWORDS = {}}

@inproceedings{Ratner:86AAb,
  AUTHOR = {D. Ratner and I. Pohl},
  TITLE = {Joint and LPA*: Combination of Approximation and Search},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {173-177},
  KEYWORDS = {}}

@inproceedings{Dechter86AA,
  AUTHOR = {R. Dechter},
  TITLE = {Learning While Searching in Constraint-Satisfaction-Problems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {178-185},
  KEYWORDS = {}}

@inproceedings{Przymusinski86AA,
  AUTHOR = {T. C. Przymusinski},
  TITLE = {Query Answering in Circumscriptive and Closed-World Theories},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {186-190},
  KEYWORDS = {th-prov}}

@inproceedings{Henschen:86AA,
  AUTHOR = {L. J. Henschen and H.-S. Park},
  TITLE = {Indefinite and GCWA Inference in Indefinite Deductive Databases},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {191-197},
  KEYWORDS = {th-prov}}

@inproceedings{Miller:86AA,
  AUTHOR = {D. Miller and A. Felty},
  TITLE = {An Integration of Resolution and Natural Deducation Theorem Proving},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {198-202},
  KEYWORDS = {th-prov}}

@inproceedings{Ballard86AA,
  AUTHOR = {D. H. Ballard},
  TITLE = {Parallel Logical Inference and Energy Minimization},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {203-208},
  KEYWORDS = {th-prov}}

@inproceedings{Horvitz:86AA,
  AUTHOR = {E. J. Horvitz and D. E. Heckermann and C. P. Langlotz},
  TITLE = {A Framework for Comparing Alternative Formalism for Plausible Reasoning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {210-214},
  KEYWORDS = {exp-sys}}

@inproceedings{Langlotz:86AA,
  AUTHOR = {C. P. Langlotz and E. H. Shortliffe and L. M. Fagan},
  TITLE = {Using Decision Theory to Justify Heuristics},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {215-219},
  KEYWORDS = {exp-sys}}

@inproceedings{Liu86AA,
  AUTHOR = {G. S.-H. Liu},
  TITLE = {Causal and Plausible Reasoning in Expert Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {220-225},
  KEYWORDS = {exp-sys}}

@inproceedings{Schor:86AA,
  AUTHOR = {M. I. Schor and T. P. Daly and H. S. Lee},
  TITLE = {Advances in Rete Pattern Matching},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {226-232},
  KEYWORDS = {exp-sys}}

@inproceedings{Snow86AA,
  AUTHOR = {P. Snow},
  TITLE = {Bayesian Inference without Point Estimates},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {233-237},
  KEYWORDS = {exp-sys}}

@inproceedings{Haddawy86AA,
  AUTHOR = {P. Haddawy},
  TITLE = {Implementation of and Experiments with a Variable Precision Logic Inference System},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {238-242},
  KEYWORDS = {exp-sys}}

@inproceedings{Ginsberg86AAb,
  AUTHOR = {M. L. Ginsberg},
  TITLE = {Multi-Valued Logics},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {243-247},
  KEYWORDS = {exp-sys, user-mod}}

@inproceedings{Alvarado:86AA,
  AUTHOR = {S. J. Alvarado and M. G. Dyer and M. Flowers},
  TITLE = {Editorial Comprehension in OpEd Through Argument Units},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {250-256},
  KEYWORDS = {psych, user-mod}}

@inproceedings{Martin:86AA,
  AUTHOR = {C. E. Martin and C. K. Riesbeck},
  TITLE = {Uniform Parsing and Inferencing for Learning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {257-261},
  KEYWORDS = {psych}}

@inproceedings{Sharkey:86AA,
  AUTHOR = {N. E. Sharkey and R. F. Sutcliffe and W. R. Wobcke},
  TITLE = {Mixing Binary and Continuous Connection Scheme: for Knowledge Acces},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {262-266},
  KEYWORDS = {psych}}

@inproceedings{Hammond86AAb,
  AUTHOR = {K. J. Hammond},
  TITLE = {CHEF: A Model of Case-Based Planning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {267-271},
  KEYWORDS = {psych}}

@inproceedings{Falkenhainer:86AA,
  AUTHOR = {B. Falkenhainer and K. D. Forbus and D. Gentner},
  TITLE = {The Structure-Mapping Engine},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {272-277},
  KEYWORDS = {psych}}

@inproceedings{Shapiro:86AA,
  AUTHOR = {S. C. Shapiro and W. J. Rapaport},
  TITLE = {SNePS Considered as a Full Intensional Propositional Semantic Network},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {278-283},
  KEYWORDS = {psych}}

@inproceedings{Russell86AAb,
  AUTHOR = {S. J. Russell},
  TITLE = {A Quantitative Analysis of Analogy by Similarity},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {284-288},
  KEYWORDS = {psych}}

@inproceedings{Rissland:86AA,
  AUTHOR = {E. L. Rissland and K. D. Ashley},
  TITLE = {Hypotheticals as Heuristic Device},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {289-297},
  KEYWORDS = {psych}}

@inproceedings{Edelson86AA,
  AUTHOR = {T. Edelson},
  TITLE = {Can a System Be Intelligent, If It Never Gives a Damn?},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {298-302},
  KEYWORDS = {psych}}

@inproceedings{Coombs:86AA,
  AUTHOR = {M. J. Coombs and R. T. Hartley and J. G. Stell},
  TITLE = {Debugging User Conceptions of Interpretaton Process},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {303-307},
  KEYWORDS = {psych}}

@inproceedings{Orlikowski:86AA,
  AUTHOR = {W. Orlikowski and V. Dhar},
  TITLE = {Imposing Structure on Linear Programming Problems: An Empirical Analysis of Expert and Novice Models},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {308-312},
  KEYWORDS = {psych}}

@inproceedings{White:86AA,
  AUTHOR = {B. Y. White and J. R. Frederiksen},
  TITLE = {Intelligent Tutoring Systems Based Upon Qualitative Model Evolutions},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {313-319},
  KEYWORDS = {psych}}

@inproceedings{Littman:86AA,
  AUTHOR = {D. C. Littman and J. Pinto and E. Soloway},
  TITLE = {An Analysis of Tutorial Reasoning about Programming Bugs},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {320-326},
  KEYWORDS = {psych}}

@inproceedings{Hanks:86AA,
  AUTHOR = {S. Hanks and D. McDermott},
  TITLE = {Default Reasoning Nonmonotonic Logic, and the Frame Problem},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {328-333},
  KEYWORDS = {know-repr}}

@inproceedings{Haan:86AA,
  AUTHOR = {J. de Haan and L. K. Schubert},
  TITLE = {Inference in a Topically Organized Semantic Net},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {334-338},
  KEYWORDS = {know-repr}}

@inproceedings{Pearl86AA,
  AUTHOR = {J. Pearl},
  TITLE = {On the Logic of Probabilistic Dependencies},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {339-343},
  KEYWORDS = {know-repr}}

@inproceedings{Patel-Schneider86AA,
  AUTHOR = {P. F. Patel-Schneider},
  TITLE = {A Four-Valued Semantics for Frame-Based Description Languages},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {344-348},
  KEYWORDS = {know-repr}}

@inproceedings{Kasif86AA,
  AUTHOR = {S. Kasif},
  TITLE = {On the Parallel Complexity of Some Costraint Satisfaction Problems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {349-353},
  KEYWORDS = {know-repr}}

@inproceedings{Ladkin86AAa,
  AUTHOR = {P. Ladkin},
  TITLE = {Primitives and Units for Time Specification},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {354-359},
  KEYWORDS = {know-repr}}

@inproceedings{Ladkin86AAb,
  AUTHOR = {P. Ladkin},
  TITLE = {Time Representation: A Taxonomy of Interval Relations},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {360-366},
  KEYWORDS = {know-repr}}

@inproceedings{Leban:86AA,
  AUTHOR = {B. Leban and D. D. McDonald and D. R. Forster},
  TITLE = {A Representation for Collections of Temporal Intervals},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {367-371},
  KEYWORDS = {know-repr}}

@inproceedings{Chun86AA,
  AUTHOR = {H. W. Chun},
  TITLE = {A Representation for Temporal Sequence and Duration in Massively Parallel Networks: Exploiting Link Interactions},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {372-376},
  KEYWORDS = {know-repr}}

@inproceedings{Vilain:86AA,
  AUTHOR = {M. Vilain and H. Kautz},
  TITLE = {Constraint Propagation Algorithms for Temporal Reasoning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {377-382},
  KEYWORDS = {know-repr}}

@inproceedings{Rit86AA,
  AUTHOR = {J.-F. Rit},
  TITLE = {Propagating Temporal Constraints for Scheduling},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {383-388},
  KEYWORDS = {know-repr}}

@inproceedings{Shoham86AA,
  AUTHOR = {Y. Shoham},
  TITLE = {Chronological Ignorance: Time, Nonmonotoicity, Necessity and Causal Theories},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {389-393},
  KEYWORDS = {know-repr}}

@inproceedings{Brown86AA,
  AUTHOR = {F. M. Brown},
  TITLE = {A Comparision of the Commonsense and Fixed Point Theories of Nonmonotonicity},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {394-400},
  KEYWORDS = {know-repr}}

@inproceedings{Kautz86AA,
  AUTHOR = {H. A. Kautz},
  TITLE = {The Logic of Persistence},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {401-405},
  KEYWORDS = {know-repr}}

@inproceedings{Lifschitz86AA,
  AUTHOR = {V. Lifschitz},
  TITLE = {Pointwise Circumscription: Preliminary Report},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {406-410},
  KEYWORDS = {know-repr}}

@inproceedings{Barnden86AA,
  AUTHOR = {J. A. Barnden},
  TITLE = {A Viewpoint Distinction in the Representation of Propositional Attitudes},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {411-415},
  KEYWORDS = {know-repr}}

@inproceedings{Perlis86AA,
  AUTHOR = {D. Perlis},
  TITLE = {Self-Reference, Knowledge, Belief, and Modality},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {416-420},
  KEYWORDS = {know-repr}}

@inproceedings{Winslett86AA,
  AUTHOR = {M. Winslett},
  TITLE = {Is Belief Revision Harder than you Thought?},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {421-427},
  KEYWORDS = {know-repr}}

@inproceedings{Fagin:86AA,
  AUTHOR = {R. Fagin and J. Y. Halpern and M. Y. Vardi},
  TITLE = {What can Machine Know? On the Epistemic Properties of Machines},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {428-434},
  KEYWORDS = {know-repr}}

@inproceedings{Ginsberg86AAa,
  AUTHOR = {A. Ginsberg},
  TITLE = {A Metalinguistic Approach to the Constructon of Knowledge Base Refinement Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {436-441},
  KEYWORDS = {know-acq}}

@inproceedings{Lee:86AAb,
  AUTHOR = {W. D. Lee and S. R. Ray},
  TITLE = {Rule Refinement Using the Probabilistic Rule Generation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {442-447},
  KEYWORDS = {know-acq}}

@inproceedings{Wilkins:86AA,
  AUTHOR = {D. C. Wilkins and B. G. Buchanan},
  TITLE = {On Debugging Rule Sets When Reasoning Under Uncertainty},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {448-454},
  KEYWORDS = {know-acq}}

@inproceedings{Kokar86AA,
  AUTHOR = {M. M. Kokar},
  TITLE = {Discovering Functional Formulas Through Changing Representation Base},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {455-459},
  KEYWORDS = {know-acq}}

@inproceedings{Flann:86AA,
  AUTHOR = {N. S. Flann and T. G. Dietterich},
  TITLE = {Selecting Appropriate Representations for Learning from Example},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {460-466},
  KEYWORDS = {know-acq}}

@inproceedings{Mutchler86AA,
  AUTHOR = {D. Mutchler},
  TITLE = {Optimal Allocation of very Limited Search Resources},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {467-471},
  KEYWORDS = {know-acq}}

@inproceedings{Laird86AA,
  AUTHOR = {P. D. Laird},
  TITLE = {Inductive Inference by Refinement},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {472-476},
  KEYWORDS = {know-acq}}

@inproceedings{Russell86AAa,
  AUTHOR = {S. J. Russell},
  TITLE = {Preliminary Steps Toward the Automation of Induction},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {477-484},
  KEYWORDS = {know-acq}}

@inproceedings{Haussler86AA,
  AUTHOR = {D. Haussler},
  TITLE = {Quantifying the Inductive Bias in Concept Learning (Extended Abstract)},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {485-489},
  KEYWORDS = {know-acq}}

@inproceedings{Cheng:86AA,
  AUTHOR = {P. W. Cheng and J. G. Carbonell},
  TITLE = {The FERMI System: Inducing Iterative Macro-Operators from Experience},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {490-495},
  KEYWORDS = {know-acq}}

@inproceedings{Schlimmer:86AAa,
  AUTHOR = {J. C. Schlimmer and D. Fisher},
  TITLE = {A Case Study of Incremental Concept Induction},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {496-501},
  KEYWORDS = {know-acq}}

@inproceedings{Schlimmer:86AAb,
  AUTHOR = {J. C. Schlimmer and R. H. Granger},
  TITLE = {Beyond Incremental Processing: Tracking Concept Drift},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {502-507},
  KEYWORDS = {know-acq}}

@inproceedings{Nordhausen86AA,
  AUTHOR = {B. Nordhausen},
  TITLE = {Conceptual Clustering Using Relational Information},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {508-512},
  KEYWORDS = {know-acq}}

@inproceedings{Jones86AA,
  AUTHOR = {R. Jones},
  TITLE = {Generating Predictions to Aid the Scientific Discovery Process},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {513-517},
  KEYWORDS = {know-acq}}

@inproceedings{Subramanian:86AA,
  AUTHOR = {D. Subramanian and J. Feigenbaum},
  TITLE = {Factorization in Experiment Generation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {518-522},
  KEYWORDS = {know-acq}}

@inproceedings{Bain86AA,
  AUTHOR = {W. M. Bain},
  TITLE = {A Case-Based Reasoning System for Subjective Assessment},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {523-527},
  KEYWORDS = {know-acq}}

@inproceedings{Rose:86AA,
  AUTHOR = {D. Rose and P. Langley},
  TITLE = {STAHLp: Belief Revision in Scientific Discovery},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {528-532},
  KEYWORDS = {know-acq}}

@inproceedings{Lebkowitz86AA,
  AUTHOR = {M. Lebkowitz},
  TITLE = {Not the Path to Perdition: The Utility of Similarity-Based Learning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {533-537},
  KEYWORDS = {know-acq}}

@inproceedings{Doyle86AA,
  AUTHOR = {R. J. Doyle},
  TITLE = {Constructing and Refining Causal Explanations from an Inconsistent Domain Theory},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {538-544},
  KEYWORDS = {know-acq}}

@inproceedings{Pazzani:86AA,
  AUTHOR = {M. Pazzani and M. Dyer and M. Flowers},
  TITLE = {The Role of Prior Causal Theories in Generalization},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {545-550},
  KEYWORDS = {know-acq}}

@inproceedings{Mooney:86AA,
  AUTHOR = {R. J. Mooney and S. W. Bennett},
  TITLE = {A Domain Independent Explanation-Based Generalizer},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {551-555},
  KEYWORDS = {know-acq}}

@inproceedings{Hammond86AAa,
  AUTHOR = {K. J. Hammond},
  TITLE = {Learning to Anticipate and Avoid Planning Problems through the Explanation of Failures},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {556-560},
  KEYWORDS = {know-acq}}

@inproceedings{Rosenbloom:86AA,
  AUTHOR = {P. S. Rosenbloom and J. E. Laird},
  TITLE = {Mapping Explanation-Based Generalization onto Soar},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {561-567},
  KEYWORDS = {know-acq}}

@inproceedings{Hall86AA,
  AUTHOR = {R. J. Hall},
  TITLE = {Learning by Failing to Explain},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {568-572},
  KEYWORDS = {know-acq}}

@inproceedings{Lytinen86AA,
  AUTHOR = {S. L. Lytinen},
  TITLE = {Dynamically Combining Syntax and Semantics in Natural Language Processing},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {574-578},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Binot:86AA,
  AUTHOR = {J. L. Binot and D. Ribbens},
  TITLE = {Dual Frames: A New Tool for Semantic Parsing},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {579-583},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Charniak86AA,
  AUTHOR = {E. Charniak},
  TITLE = {A Neat Theory of Marker Parsing},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {584-588},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Dahlgren:86AA,
  AUTHOR = {K. Dahlgren and J. McDowell},
  TITLE = {Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {589-593},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Johnson:86AA,
  AUTHOR = {P. Johnson and W and Lehnert},
  TITLE = {Beyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language Processing},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {594-600},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Schubert86AA,
  AUTHOR = {L. K. Schubert},
  TITLE = {Are There Preference Trade-offs in Attachment Decisions},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {601-605},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Zukermann:86AA,
  AUTHOR = {I. Zukermann and J. Pearl},
  TITLE = {Comprehension-Driven Generation of Meta-Technical Utterances in Math Tutoring},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {606-611},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Sondheimer:86AA,
  AUTHOR = {N. K. Sondheimer and B. Nebel},
  TITLE = {A Logical-Form and Knowledge-Base Design for Natural Language Generation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {612-618},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Litman86AA,
  AUTHOR = {D. J. Litman},
  TITLE = {Understanding Plan Ellipsis},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {619-624},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Lozano-Perez86AA,
  AUTHOR = {T. Lozano-Perez},
  TITLE = {A Simple Motion Planning Algorithm for General Robot Manipulators},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {625-631},
  KEYWORDS = {vision}}

@inproceedings{Ellis:86AA,
  AUTHOR = {R. E. Ellis and E. M. Riseman and A. R. Hanson},
  TITLE = {Tactile Recognition by Probing: Identifying a Polygon on a Plane},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {632-637},
  KEYWORDS = {vision}}

@inproceedings{Saund86AA,
  AUTHOR = {E. Saund},
  TITLE = {Abstraction and Representation of Continuous Variables in Connectionist Networks},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {638-644},
  KEYWORDS = {vision}}

@inproceedings{Ibrahim:86AA,
  AUTHOR = {H. A. Ibrahim and J. R. Kender and D. E. Shaw},
  TITLE = {SIMD Tree Algorithms for Image Correlation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {645-651},
  KEYWORDS = {vision}}

@inproceedings{Trivedi86AA,
  AUTHOR = {H. P. Trivedi},
  TITLE = {On the Reconstruction of a Scene from Two Unregistered Images},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {652-656},
  KEYWORDS = {vision}}

@inproceedings{Heeger86AA,
  AUTHOR = {D. J. Heeger},
  TITLE = {Depth and Flow from Motion Energy},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {657-663},
  KEYWORDS = {vision}}

@inproceedings{Kender:86AA,
  AUTHOR = {J. R. Kender and E. M. Smith},
  TITLE = {Shape From Darkness: Deriving Surface Information from Dynamic Shadows},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {664-669},
  KEYWORDS = {vision}}

@inproceedings{Wohn:86AA,
  AUTHOR = {K. Wohn and J. Wu},
  TITLE = {3-D Motion Recovery from Time-Varying Optical Flows},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {670-675},
  KEYWORDS = {vision}}

@inproceedings{Barnard86AA,
  AUTHOR = {S. T. Barnard},
  TITLE = {A Stochastic Approach to Stereo Vision},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {676-680},
  KEYWORDS = {vision}}

@inproceedings{Aloimonos:86AA,
  AUTHOR = {J. Aloimonos and I. Rigoutsos},
  TITLE = {Determining the 3-D Motion of a Rigid Surface Patch without Correspondence, under Perspective Projection: I. Planar Surfaces. II. Curved Surfaces},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {681-688},
  KEYWORDS = {vision}}

@inproceedings{Smith86AA,
  AUTHOR = {G. B. Smith},
  TITLE = {Stereo Integral Equation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {689-694},
  KEYWORDS = {vision}}

@inproceedings{Pentland86AA,
  AUTHOR = {A. P. Pentland},
  TITLE = {Parts: Structured Descriptions of Shape},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {695-701},
  KEYWORDS = {vision}}

@inproceedings{Leyton86AA,
  AUTHOR = {M. Leyton},
  TITLE = {Constraint-Theorems on the Prototypification of Shape},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {702-706},
  KEYWORDS = {vision}}

@inproceedings{Kass86AA,
  AUTHOR = {M. Kass},
  TITLE = {Linear Image Features in Stereopsis},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {707-713},
  KEYWORDS = {vision}}

@inproceedings{Witkin:86AA,
  AUTHOR = {A. Witkin and D. Terzopoulos and M. Kass},
  TITLE = {Signal Matching Through Scale Space},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {714-719},
  KEYWORDS = {vision}}

@inproceedings{Woolf:86AA,
  AUTHOR = {B. Woolf and D. Blegen and J. H. Jansen},
  TITLE = {Teaching a Complex Industrial Process},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {722-728},
  KEYWORDS = {}}

@inproceedings{Steinberg:86AA,
  AUTHOR = {S. A. Steinberg and D. Allen and L. Bagnall},
  TITLE = {The Butterfly Lisp System},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {730-734},
  KEYWORDS = {progr}}

@inproceedings{Blelloch86AA,
  AUTHOR = {G. E. Blelloch},
  TITLE = {CIS: A Massively Concurrent Rule-Based System},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {735-741},
  KEYWORDS = {progr}}

@inproceedings{Bisiani86AA,
  AUTHOR = {R. Bisiani},
  TITLE = {A Software and Hardware Environment for Developing AI Applications on Parallel Processors},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {742-747},
  KEYWORDS = {progr}}

@inproceedings{Drumheller86AA,
  AUTHOR = {M. Drumheller},
  TITLE = {Connection Machine Stereomatching},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {748-753},
  KEYWORDS = {progr}}

@inproceedings{Gallaire86AA,
  AUTHOR = {H. Gallaire},
  TITLE = {Merging: Objects and Logic Programming: Relational Semantics},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {754-758},
  KEYWORDS = {progr}}

@inproceedings{Hentenryck:86AA,
  AUTHOR = {P. van Hentenryck and M. Dincbas},
  TITLE = {Domains in Logic Programming},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {759-765},
  KEYWORDS = {progr}}

@inproceedings{Elcock:86AA,
  AUTHOR = {E. W. Elcock and P. Hoddinott},
  TITLE = {Comments on Kornfeld's ``Equality for Prolog'': E-Unification as a Mechanism for Augmenting the Prolog Search Strategy},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {766-775},
  KEYWORDS = {progr}}

@inproceedings{Singh86AA,
  AUTHOR = {N. Singh},
  TITLE = {Saturn: An Automatic Test Generation System for Digital Ciruits},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {778-783},
  KEYWORDS = {}}

@inproceedings{Ebcioglu86AA,
  AUTHOR = {K. Ebcioglu},
  TITLE = {An Expert System for Chorale Harmonization},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {784-788},
  KEYWORDS = {}}

@inproceedings{Niyogi:86AA,
  AUTHOR = {D. Niyogi and S. N. Srihari},
  TITLE = {A Rule-Based System for Document Understanding},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {789-793},
  KEYWORDS = {}}

@inproceedings{Mohammed:86AA,
  AUTHOR = {J. Mohammed and R. Simmons},
  TITLE = {Qualitative SImulation of Semiconductor Fabrication},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {794-799},
  KEYWORDS = {}}

@inproceedings{Harrod:86AA,
  AUTHOR = {R. A. Harrod and J. Rickel},
  TITLE = {Knowledge-Based Simulation of a Glass Annealing Process: An AI Application in the Glaa Industry},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {800-804},
  KEYWORDS = {}}

@inproceedings{Azarewicz:86AA,
  AUTHOR = {J. Azarewicz and G. Fala and R. Fink and C. Heithecker},
  TITLE = {Plan Recognition for Airborne Tactical Decision Making},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {805-811},
  KEYWORDS = {}}

@inproceedings{Brand:86AA,
  AUTHOR = {H. R. Brand and C. M. Wong},
  TITLE = {Application of Knowledge Based Systems Technology to Triple Quadrupole Mass Spectrometry (TQMS)},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {812-819},
  KEYWORDS = {}}

@inproceedings{Kilhoffer:86AA,
  AUTHOR = {A. R. Kilhoffer and K. G. Kempf},
  TITLE = {Designing for Manufacturability in Riveted Joints},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {820-824},
  KEYWORDS = {}}

@inproceedings{Kaemmerer:86AA,
  AUTHOR = {W. F. Kaemmerer and J. A. Larson},
  TITLE = {A Graph-Oriented Knowledge Representation and Unification Technique for Automatically Selecting and Invoking Software Functions},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {825-830},
  KEYWORDS = {}}

@inproceedings{Barra:86AA,
  AUTHOR = {S. Barra and O. Ghsio and F. Manucci},
  TITLE = {SCAT, an Automatic-Programming Tool for Telecommunications Software},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {831-835},
  KEYWORDS = {}}

@inproceedings{Pan:86AA,
  AUTHOR = {J. Y.-C. Pan and J. M. Tenenbaum},
  TITLE = {P.I.E.S.: An Engineer's ``Do-It Yourself'' Knowledge System for Interpretation of Parametric Test Data},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {836-843},
  KEYWORDS = {}}

@inproceedings{Siemens:86AA,
  AUTHOR = {R. W. Siemens and M. Golden and J. C. Ferguson},
  TITLE = {StarPlan II: Evolution of an Expert System},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {844-850},
  KEYWORDS = {}}

@inproceedings{Powell:86AA,
  AUTHOR = {C. A. Powell and C. K. Pickering and K. T. Wescourt},
  TITLE = {System Integration of Knowledge-Based Maintenance Aids},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {851-855},
  KEYWORDS = {}}

@inproceedings{Mittal:86AA,
  AUTHOR = {S. Mittal and A. Araya},
  TITLE = {A Knowledge-Based Framework for Design},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {856-865},
  KEYWORDS = {}}

@inproceedings{Wolf:86AA,
  AUTHOR = {W. H. Wolf and T. J. Kowalski and M. C. McFarland},
  TITLE = {Knowledge Engineering Issues in VLSI Synthesis},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {866-871},
  KEYWORDS = {}}

@inproceedings{Dixon86AA,
  AUTHOR = {J. R. Dixon},
  TITLE = {Artificial Intelligence and Design: A Mechanical Engineering View},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {872-877},
  KEYWORDS = {}}

@inproceedings{Richener:86AA,
  AUTHOR = {M. D. Richener and M. L. Farinacci and I. Hulthage},
  TITLE = {Integration of Multiple Knowledge Sources in Aladin, an Alloy Design System},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {878-882},
  KEYWORDS = {}}

@inproceedings{Harper-Shirley86AA,
  AUTHOR = {M. {Harper Shirley}},
  TITLE = {Generating Tests by Exploiting Designed Behaviour},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {884-890},
  KEYWORDS = {infer}}

@inproceedings{Fall86AA,
  AUTHOR = {T. C. Fall},
  TITLE = {Evidential Reasoning with Temporal Aspects},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {891-895},
  KEYWORDS = {infer}}

@inproceedings{Lawrence:86AA,
  AUTHOR = {J. D. Lawrence and T. D. Garvey and T. M. Strat},
  TITLE = {A Framework for Evidential-Reasoning Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {896-903},
  KEYWORDS = {infer}}

@inproceedings{Hayes-Roth:86AA,
  AUTHOR = {B. Hayes-Roth and B. Buchanan and O. Lichtarge},
  TITLE = {Protean: Deriving Protein Strucutre from Constraints},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {904-909},
  KEYWORDS = {infer}}

@inproceedings{Kleer86AA,
  AUTHOR = {J. de Kleer},
  TITLE = {Back to Backtracking: Controlling the ATMs},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {910-917},
  KEYWORDS = {infer}}

@inproceedings{Schaefer:86AA,
  AUTHOR = {P. R. Schaefer and I. H. Bozma and R. D. Beer},
  TITLE = {Knowledge-Based Validity Maintenance for Production Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {918-922},
  KEYWORDS = {infer}}

@inproceedings{Minker:86AA,
  AUTHOR = {J. Minker and D. Perlis and K. Subramanian},
  TITLE = {A Parallel Self-Modifying Default Reasoning System},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {923-927},
  KEYWORDS = {infer}}

@inproceedings{Mostow:86AA,
  AUTHOR = {J. Mostow and B. Swartout},
  TITLE = {Towards Explicit Integration of Knowledge in Expert Systems: An Analysis of MYCIN's Therapy Selection Algorithm},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {928-935},
  KEYWORDS = {infer}}

@inproceedings{Swartout:86AA,
  AUTHOR = {W. Swartout and R. Neches},
  TITLE = {The Shifting Terminological Space: An Impediment to Evolvability},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {936-941},
  KEYWORDS = {infer}}

@inproceedings{Apte:86AA,
  AUTHOR = {C. Apte and S. J. Hong},
  TITLE = {Using Qualitative Reasoning to Understanding Financial Arithmetic},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {942-948},
  KEYWORDS = {infer}}

@inproceedings{Eshelman:86AA,
  AUTHOR = {L. Eshelman and J. McDermott},
  TITLE = {Mole: A Knowledge Acquisition Tool that Uses its Head},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {950-955},
  KEYWORDS = {know-acq}}

@inproceedings{Kline:86AA,
  AUTHOR = {P. J. Kline and S. B. Dolins},
  TITLE = {Problem Features that Influence the Design of Expert Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {956-962},
  KEYWORDS = {know-acq}}

@inproceedings{Alexander:86AA,
  AUTHOR = {J. H. Alexander and M. J. Freiling and S. J. Shulman},
  TITLE = {Knowledge Level Engineering: Ontological Analysis},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {963-968},
  KEYWORDS = {know-acq}}

@inproceedings{Friedman:86AA,
  AUTHOR = {J. Y. Friedman and A. Jain},
  TITLE = {Framework for Prototyping Expert Systems for Financial Applications},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {969-975},
  KEYWORDS = {know-acq}}

@inproceedings{Kaczmarek:86AA,
  AUTHOR = {T. S. Kaczmarek and R. Bates and G. Robins},
  TITLE = {Recent Developments in NIKL},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {978-985},
  KEYWORDS = {know-repr}}

@inproceedings{Harris86AA,
  AUTHOR = {D. R. Harris},
  TITLE = {A Hybrid Structured Object and Constraint Representation Language},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {986-990},
  KEYWORDS = {know-repr}}

@inproceedings{Pierick86AA,
  AUTHOR = {J. Pierick},
  TITLE = {A Knowledge Representation Technique for Systems Dealing with Hardware Configuration},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {991-995},
  KEYWORDS = {know-repr}}

@inproceedings{Slagle:86AA,
  AUTHOR = {J. R. Slagle and M. R. Wick and M. O. Poliac},
  TITLE = {AGNESS: A Generalized Network-Based Expert System Shell},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {996-1002},
  KEYWORDS = {know-repr}}

@inproceedings{Reboh:86AA,
  AUTHOR = {R. Reboh and T. Risch},
  TITLE = {Syntel TM: Knowledge Programming Using Functional Representations},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1003-1007},
  KEYWORDS = {know-repr}}

@inproceedings{Corkill:86AA,
  AUTHOR = {D. D. Corkill and K. Q. Gallagher and K. E. Murray},
  TITLE = {GBB: A Generic Blackboard Development System},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1008-1014},
  KEYWORDS = {know-repr}}

@inproceedings{Wu:86AA,
  AUTHOR = {H. Wu and H. W. Chun and A. Mimo},
  TITLE = {ISCS- A Tool Kit for Constructing Knowledge-Based System Configurators},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1015-1021},
  KEYWORDS = {know-repr}}

@inproceedings{Lathrop:86AA,
  AUTHOR = {R. H. Lathrop and R. S. Kirk},
  TITLE = {A System Which Uses Examples to Learn VLSI Structure Manipulations},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1024-1028},
  KEYWORDS = {know-acq}}

@inproceedings{Pazzani86AA,
  AUTHOR = {M. J. Pazzani},
  TITLE = {Refining the Knowledge Base of a Diagnostic Expert System: An Application of Failure-Driven Learning},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1029-1035},
  KEYWORDS = {know-acq}}

@inproceedings{Shimura:86AA,
  AUTHOR = {M. Shimura and S. Sakurai},
  TITLE = {Learning Arithmetic Problem Solver},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1036-1040},
  KEYWORDS = {know-acq}}

@inproceedings{Michalski:86AA,
  AUTHOR = {R. S. Michalski and I. Mozetic and J. Hong},
  TITLE = {The Multi-Purpose Incremental Learning System AQ15 and it Testing Application to Three Medical Domains},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1041-1045},
  KEYWORDS = {know-acq}}

@inproceedings{Stabler86AA,
  AUTHOR = {E. P. Stabler},
  TITLE = {Restricting Logic Grammars},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1048-1052},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Wittenburg86AA,
  AUTHOR = {K. Wittenburg},
  TITLE = {A Parser for Portable NL Interfaces using Graph-Unification-Based Grammars},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1053-1058},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Lin:86AA,
  AUTHOR = {L.-J. Lin and J. Huang and K. J. Chen},
  TITLE = {A Chinese Natural Language Processing System Based Upon the Theory of Empty Categories},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1059-1062},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Rubinoff86AA,
  AUTHOR = {R. Rubinoff},
  TITLE = {Adapting Mumble: Experience with Natural Language Generation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1063-1068},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Li:86AA,
  AUTHOR = {P.-Y. Li and M. Evans and D. Hier},
  TITLE = {Generating Medical Case Reports with the Linguistic String Parser},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1069-1073},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Bayer86AA,
  AUTHOR = {S. Bayer},
  TITLE = {A Relational Representation of Modification},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1074-1078},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Duffy86AA,
  AUTHOR = {G. Duffy},
  TITLE = {Categorial Disambiguation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1079-1082},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Dahl86AA,
  AUTHOR = {D. A. Dahl},
  TITLE = {Focusing and Reference Resolution in Pundit},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1083-1088},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Lytinen:86AA,
  AUTHOR = {S. L. Lytinen and A. Gershman},
  TITLE = {ATRANS: Automatic Processing of Money Transfer Message},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1089-1093},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Brooks:86AA,
  AUTHOR = {R. A. Brooks and J. Connell and A. Flynn},
  TITLE = {A Mobile Robot with Onboard Parallel Processor and Large Workspace Arm},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1096-1100},
  KEYWORDS = {robot}}

@inproceedings{Oommen:86AA,
  AUTHOR = {B. J. Oommen and S. S. Iyengar and N. S. V. Rao},
  TITLE = {Robot Navigation in Unknown Terrains of Convex Polygonal Obstacles Using Learned Visibility Graphs},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1101-1106},
  KEYWORDS = {robot}}

@inproceedings{Peshkin:86AA,
  AUTHOR = {M. A. Peshkin and A. C. Sanderson},
  TITLE = {Planning Sensorless Robot Manipulation of Sliding Objects},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1107-1112},
  KEYWORDS = {robot}}

@inproceedings{Hommem:86AA,
  AUTHOR = {L. S. {Hommem de Mello} and A. C. Sanderson},
  TITLE = {And/Or Graph Representation of Assembly Plans},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1113-1119},
  KEYWORDS = {robot}}

@inproceedings{Bergmann:86AA,
  AUTHOR = {A. Bergmann and C. K. Cowan},
  TITLE = {Noise-Tolerant Range Analysis for Autonomous Navigation},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1120-1126},
  KEYWORDS = {robot}}

@inproceedings{Kuan:86AA,
  AUTHOR = {D. Kuan and G. Phipps and A.-C. Hsueh},
  TITLE = {A Real-Time Road Following and Road Junction Detection Vision System for Autonomous Vehicles},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1127-1132},
  KEYWORDS = {vison}}

@inproceedings{Wang:86AA,
  AUTHOR = {C.-H. Wang and S. N. Srihari},
  TITLE = {Object Recognition in Structured and Random Environments: Locating Address Blocks on Mail Pieces},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1133-1137},
  KEYWORDS = {vison}}

@inproceedings{Lee:86AAa,
  AUTHOR = {B. G. Lee and V. T. Tom and M. J. Carlotto},
  TITLE = {A Signal-Symbol Approach to Change Detection},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1138-1143},
  KEYWORDS = {vison}}

@inproceedings{Darden86AA,
  AUTHOR = {L. Darden},
  TITLE = {Viewing History of Science as Compiled Hindsight},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1146-1147},
  KEYWORDS = {}}

@inproceedings{Hendrix86AA,
  AUTHOR = {G. G. Hendrix},
  TITLE = {What's Practical when in Natural Language Applications},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1148},
  KEYWORDS = {n-l-p}}

@inproceedings{Hinton86AA,
  AUTHOR = {G. E. Hinton},
  TITLE = {Learning in Massively Parallel Nets},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1149},
  KEYWORDS = {}}

@inproceedings{Hart86AA,
  AUTHOR = {P. E. Hart},
  TITLE = {Financial Expert Systems},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1150},
  KEYWORDS = {exp-sys}}

@inproceedings{Neches:86AA,
  AUTHOR = {R. Neches and T. S. Kaczmarek},
  TITLE = {Where Should the Intelligence in Intelligent Interfaces Be Placed?},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1151-1152},
  KEYWORDS = {}}

@inproceedings{Neches86AA,
  AUTHOR = {R. Neches},
  TITLE = {Knowledge Representation Meets Knowledge Acquisition: What are the Needs, and Where is the Leverage?},
  YEAR = 1986,
  BOOKTITLE = {Proc. of AAAI-86},
  ADDRESS = "Philadelphia, PA",
  PAGES = {1153},
  KEYWORDS = {know-acq}}