LIDOS BibTeX Database File
aaai83.bib

@inproceedings{Allen83AA,
  AUTHOR = {E. Allen},
  TITLE = {YAPS: A Production Rule System Meets Objects},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {5-7},
  KEYWORDS = {}}

@inproceedings{Bachenko:83AA,
  AUTHOR = {J. Bachenko and D. Hindle and E. Fitzpatrick},
  TITLE = {Constraining a Deterministic Parser},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {8-11},
  KEYWORDS = {parsing}}

@inproceedings{Balzer:83AA,
  AUTHOR = {R. Balzer and D. Dyer and M. Morgenstern and R. Neches},
  TITLE = {Specification-Based Computing Environments},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {12-16},
  KEYWORDS = {}}

@inproceedings{Barrow83AA,
  AUTHOR = {H. G. Barrow},
  TITLE = {Proving the Correctness of Digital Hardware Designs},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {17-21},
  KEYWORDS = {}}

@inproceedings{Benjamin:83AA,
  AUTHOR = {D. P. Benjamin and M. C. Harrison},
  TITLE = {A Production System for Learning Plans From an Expert},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {22-26},
  KEYWORDS = {exp-sys}}

@inproceedings{Besnard:83AA,
  AUTHOR = {P. Besnard and R. Quiniou and P. Quinton},
  TITLE = {A Theorem-Prover for a Decidable Subset of Default Logic},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {27-30},
  KEYWORDS = {th-prov}}

@inproceedings{Brachman:83AA,
  AUTHOR = {R. J. Brachman and R. E. Fikes and H. J. Levesque},
  TITLE = {KRYPTON: Integrating Terminology and Assertion},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {31-35},
  KEYWORDS = {know-repr}}

@inproceedings{Brooks83AAa,
  AUTHOR = {M. J. Brooks},
  TITLE = {Two Results Concerning Ambiguity in Shape From Shading},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {36-39},
  KEYWORDS = {vision}}

@inproceedings{Brooks83AAb,
  AUTHOR = {R. A. Brooks},
  TITLE = {Find-Path for a PUMA-Class Robot},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {40-44},
  KEYWORDS = {robot}}

@inproceedings{Burstein83AA,
  AUTHOR = {M. H. Burstein},
  TITLE = {A Model of Learning by Incremental Analogical Reasoning and Debugging},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {45-48},
  KEYWORDS = {know-acq}}

@inproceedings{Campbell:83AA,
  AUTHOR = {M. Campbell and H. Berliner},
  TITLE = {A Chess Program That Chunks},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {49-53},
  KEYWORDS = {}}

@inproceedings{Canny83AA,
  AUTHOR = {J. Canny},
  TITLE = {A Variational Approach to Edge Detection},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {54-58},
  KEYWORDS = {vision}}

@inproceedings{Carberry83AA,
  AUTHOR = {S. Carberry},
  TITLE = {Tracking User Goals in an Information-Seeking Environment},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {59-63},
  KEYWORDS = {user-mod}}

@inproceedings{Carbonell83AA,
  AUTHOR = {J. G. Carbonell},
  TITLE = {Derivational Analogy and its Role in Problem Solving},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {64-69},
  KEYWORDS = {}}

@inproceedings{Charniak83AA,
  AUTHOR = {E. Charniak},
  TITLE = {The Bayesian Basis of Common Sense Medical Diagnosis},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {70-73},
  KEYWORDS = {user-mod}}

@inproceedings{Clancey83AA,
  AUTHOR = {W. J. Clancey},
  TITLE = {The Advantages of Abstract Control Knowledge in Expert System Design},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {74-78},
  KEYWORDS = {exp-sys}}

@inproceedings{Clifford83AA,
  AUTHOR = {J. Clifford},
  TITLE = {QE-III: A Formal Approach to Natural Language Querying},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {79-83},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Cohn83AA,
  AUTHOR = {A. G. Cohn},
  TITLE = {Improving the Expressiveness of Many Sorted Logic},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {84-87},
  KEYWORDS = {know-repr}}

@inproceedings{Davis83AA,
  AUTHOR = {R. Davis},
  TITLE = {Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {88-94},
  KEYWORDS = {exp-sys}}

@inproceedings{Dechter:83AA,
  AUTHOR = {R. Dechter and J. Pearl},
  TITLE = {The Optimality of A* Revisited},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {95-99},
  KEYWORDS = {}}

@inproceedings{Douglas:83AA,
  AUTHOR = {S. A. Douglas and T. P. Moran},
  TITLE = {Learning Operator Semantics by Analogy},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {100-103},
  KEYWORDS = {know-acq}}

@inproceedings{Etherington:83AA,
  AUTHOR = {D. W. Etherington and R. Reiter},
  TITLE = {On Inheritance Hierarchies with Exceptions},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {104-108},
  KEYWORDS = {know-repr, sb-one}}

@inproceedings{Fahlman:83AA,
  AUTHOR = {S. E. Fahlman and G. E. Hinton and T. J. Sejnowski},
  TITLE = {Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {109-113},
  KEYWORDS = {}}

@inproceedings{Gardner83AA,
  AUTHOR = {A. Gardner},
  TITLE = {The Design of a Legal Analysis Program},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {114-118},
  KEYWORDS = {exp-sys}}

@inproceedings{Genesereth83AA,
  AUTHOR = {M. R. Genesereth},
  TITLE = {An Overview of Meta-Level Architecture},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {119-124},
  KEYWORDS = {}}

@inproceedings{Georgeff83AA,
  AUTHOR = {M. Georgeff},
  TITLE = {Communication and Interaction in Multi-Agent Planning Systems},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {125-129},
  KEYWORDS = {plans, user-mod}}

@inproceedings{Goldman83AA,
  AUTHOR = {N. M. Goldman},
  TITLE = {Three Dimensions of Design Development},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {130-133},
  KEYWORDS = {}}

@inproceedings{Goodman83AA,
  AUTHOR = {B. A. Goodman},
  TITLE = {Repairing Miscommunication: Relaxation in Reference},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {134-138},
  KEYWORDS = {user-mod}}

@inproceedings{Granger:83AA,
  AUTHOR = {R. H. Granger and K. P. Eiselt and J. K. Holbrook},
  TITLE = {STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {139-147},
  KEYWORDS = {infer}}

@inproceedings{Hammond83AA,
  AUTHOR = {K. J. Hammond},
  TITLE = {Planning and Goal Interaction: The Use of Past Solutions in Present Situations},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {148-151},
  KEYWORDS = {plans}}

@inproceedings{Hamscher83AA,
  AUTHOR = {W. Hamscher},
  TITLE = {Using Structural and Functional Information in Diagnostic Design},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {152-156},
  KEYWORDS = {exp-sys}}

@inproceedings{Hasling83AA,
  AUTHOR = {D. W. Hasling},
  TITLE = {Abstract Explanations of Strategy in a Diagnostic Consultation System},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {157-161},
  KEYWORDS = {exp-sys}}

@inproceedings{Hewitt:83AA,
  AUTHOR = {C. Hewitt and P. de Jong},
  TITLE = {Analyzing the Roles of Descriptions and Actions in Open Systems},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {162-167},
  KEYWORDS = {}}

@inproceedings{Hummel83AA,
  AUTHOR = {R. A. Hummel},
  TITLE = {A Design Method for Relaxation Labeling Applications},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {168-171},
  KEYWORDS = {vision}}

@inproceedings{Huttenlocher:83AA,
  AUTHOR = {D. P. Huttenlocher and V. W. Zue},
  TITLE = {Phonotactic and Lexical Constraints in Speech Recognition},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {172-176},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Kant:83AA,
  AUTHOR = {E. Kant and A. Newell},
  TITLE = {An Automatic Algorithm Designer: An Initial Implementation},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {177-181},
  KEYWORDS = {}}

@inproceedings{Keller83AA,
  AUTHOR = {R. M. Keller},
  TITLE = {Learning by Re-Expressing Concepts for Efficient Recognition},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {182-186},
  KEYWORDS = {know-acq}}

@inproceedings{Kender83AA,
  AUTHOR = {J. R. Kender},
  TITLE = {Surface Constraints From Linear Extents},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {187-190},
  KEYWORDS = {vision}}

@inproceedings{Kibler:83AA,
  AUTHOR = {D. Kibler and B. Porter},
  TITLE = {Episodic Learning},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {191-196},
  KEYWORDS = {know-acq}}

@inproceedings{Kim:83AA,
  AUTHOR = {J. Kim and J. McDermott},
  TITLE = {TALIB: An IC Layout Design Assistant},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {197-201},
  KEYWORDS = {exp-sys}}

@inproceedings{Kohli:83AA,
  AUTHOR = {M. Kohli and J. Minker},
  TITLE = {Intelligent Control Using Integrity Constraints},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {202-205},
  KEYWORDS = {}}

@inproceedings{Korf83AA,
  AUTHOR = {R. E. Korf},
  TITLE = {Operator Decomposability: A New Type of Problem Structure},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {206-209},
  KEYWORDS = {know-acq}}

@inproceedings{Kuan:83AA,
  AUTHOR = {D. T. Kuan and R. J. Drazovich},
  TITLE = {Model-Based Interpretation of Range Imagery},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {210-215},
  KEYWORDS = {vision}}

@inproceedings{Kuipers83AA,
  AUTHOR = {B. Kuipers},
  TITLE = {Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {216-219},
  KEYWORDS = {vision, know-repr}}

@inproceedings{Kumar:83AA,
  AUTHOR = {V. Kumar and L. Kanal},
  TITLE = {The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch \& Bound Procedures},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {220-224},
  KEYWORDS = {}}

@inproceedings{Kunz83AA,
  AUTHOR = {J. C. Kunz},
  TITLE = {Analysis of Physiological Behavior Using a Causal Model Based on First Principles},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {225-228},
  KEYWORDS = {exp-sys}}

@inproceedings{Lassez:83AA,
  AUTHOR = {J. L. Lassez and M. Maher},
  TITLE = {The Denotational Semantics of Horn Clauses as a Production System},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {229-231},
  KEYWORDS = {infer, know-repr}}

@inproceedings{Lebowitz83AA,
  AUTHOR = {M. Lebowitz},
  TITLE = {Researcher: An Overview},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {232-235},
  KEYWORDS = {n-l-p, ling, user-mod}}

@inproceedings{Lenat:83AA,
  AUTHOR = {D. B. Lenat and J. S. Brown},
  TITLE = {Why AM and EURISKO Appear to Work},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {236-240},
  KEYWORDS = {exp-sys}}

@inproceedings{Lieberman83AA,
  AUTHOR = {H. Lieberman},
  TITLE = {An Object-Oriented Simulator for the Apiary},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {241-246},
  KEYWORDS = {}}

@inproceedings{Little83AA,
  AUTHOR = {J. J. Little},
  TITLE = {An Iterative Method for Reconstructing Convex Polyhedra From Extended Gaussian Images},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {247-250},
  KEYWORDS = {vision}}

@inproceedings{Long83AA,
  AUTHOR = {W. J. Long},
  TITLE = {Reasoning about State From Causation and Time in a Medical Domain},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {251-254},
  KEYWORDS = {time, know-repr}}

@inproceedings{Lowe:83AA,
  AUTHOR = {D. G. Lowe and T. O. Binford},
  TITLE = {Perceptual Organization as a Basis for Visual Recognition},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {255-260},
  KEYWORDS = {vision}}

@inproceedings{Mann83AA,
  AUTHOR = {W. C. Mann},
  TITLE = {An Overview of the Penman Text Generation System},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {261-265},
  KEYWORDS = {generation}}

@inproceedings{McDermott83AA,
  AUTHOR = {D. McDermott},
  TITLE = {Data Dependencies on Inequalities},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {266-269},
  KEYWORDS = {}}

@inproceedings{McKeown83AA,
  AUTHOR = {K. R. McKeown},
  TITLE = {Recursion in Text and its Use in Language Generation},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {270-273},
  KEYWORDS = {generation}}

@inproceedings{Mitchell:83AA,
  AUTHOR = {T. M. Mitchell and L. I. Steinberg and S. {Kedar Cabelli} and V. E. Kelly and J. Shulman and T. Weinrich},
  TITLE = {An Intelligent Aid for Circuit Redesign},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {274-278},
  KEYWORDS = {exp-sys}}

@inproceedings{Mostow83AA,
  AUTHOR = {J. Mostow},
  TITLE = {A Problem-Solver for Making Advice Operational},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {279-283},
  KEYWORDS = {know-acq}}

@inproceedings{Norvig83AA,
  AUTHOR = {P. Norvig},
  TITLE = {Six Problems for Story Understanders},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {284-287},
  KEYWORDS = {dialog}}

@inproceedings{Novak83AA,
  AUTHOR = {G. S. Novak},
  TITLE = {Knowledge-Based Programming Using Abstract Data Types},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {288-291},
  KEYWORDS = {}}

@inproceedings{Nudel83AA,
  AUTHOR = {B. Nudel},
  TITLE = {Solving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and their Expected Complexities},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {292-296},
  KEYWORDS = {}}

@inproceedings{Nutter83AA,
  AUTHOR = {J. T. Nutter},
  TITLE = {Default Reasoning Using Monotonic Logic: A Modest Proposal},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {297-300},
  KEYWORDS = {infer}}

@inproceedings{Okada:83AA,
  AUTHOR = {T. Okada and T. Kanade},
  TITLE = {Appropriate Lengths between Phalanges of Multijointed Fingers for Stable Grasping},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {301-305},
  KEYWORDS = {robot}}

@inproceedings{O-Rorke83AA,
  AUTHOR = {P. O'Rorke},
  TITLE = {Reasons for Belief in Understanding: Applications of Non-Monotonic Dependencies to Story Processing},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {306-309},
  KEYWORDS = {user-mod}}

@inproceedings{Palmer83AA,
  AUTHOR = {M. S. Palmer},
  TITLE = {Inference-Driven Semantic Analysis},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {310-313},
  KEYWORDS = {infer}}

@inproceedings{Pavlin83AA,
  AUTHOR = {J. Pavlin},
  TITLE = {Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {314-319},
  KEYWORDS = {know-repr}}

@inproceedings{Pazzani83AA,
  AUTHOR = {M. J. Pazzani},
  TITLE = {Interactive Script Instantiation},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {320-326},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Pettit:83AA,
  AUTHOR = {E. Pettit and K. M. Swigger},
  TITLE = {An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {327-332},
  KEYWORDS = {know-acq}}

@inproceedings{Reggia:83AA,
  AUTHOR = {J. A. Reggia and D. S. Nau and P. Y. Wang},
  TITLE = {A New Inference Method for Frame-Based Expert Systems},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {333-337},
  KEYWORDS = {exp-sys}}

@inproceedings{Reibman:83AA,
  AUTHOR = {A. L. Reibman and B. W. Ballard},
  TITLE = {Non-Minimax Search Strategies for Use Against Fallible Opponents},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {338-342},
  KEYWORDS = {}}

@inproceedings{Rendell83AA,
  AUTHOR = {L. A. Rendell},
  TITLE = {A Doubly Layered, Genetic Penetrance Learning System},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {343-347},
  KEYWORDS = {know-acq}}

@inproceedings{Rich83AA,
  AUTHOR = {E. Rich},
  TITLE = {Default Reasoning as Likelihood Reasoning},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {348-351},
  KEYWORDS = {infer}}

@inproceedings{Salzberg83AA,
  AUTHOR = {S. Salzberg},
  TITLE = {Generating Hypotheses to Explain Prediction Failures},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {352-355},
  KEYWORDS = {know-acq}}

@inproceedings{Schoen:83AA,
  AUTHOR = {E. Schoen and R. G. Smith},
  TITLE = {IMPULSE: A Display Oriented Editor for STROBE},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {356-358},
  KEYWORDS = {}}

@inproceedings{Scott83AA,
  AUTHOR = {P. D. Scott},
  TITLE = {Learning: The Construction of A Posteriori Knowledge Structures},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {359-363},
  KEYWORDS = {know-acq}}

@inproceedings{Simmons83AA,
  AUTHOR = {R. G. Simmons},
  TITLE = {The Use of Qualitative and Quantitative Simulations},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {364-368},
  KEYWORDS = {}}

@inproceedings{Slagle:83AA,
  AUTHOR = {J. Slagle and M. Gaynor},
  TITLE = {Expert System Consultation Control Strategy},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {369-372},
  KEYWORDS = {exp-sys}}

@inproceedings{Smith83AA,
  AUTHOR = {D. E. Smith},
  TITLE = {Finding All of the Solutions to a Problem},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {373-377},
  KEYWORDS = {}}

@inproceedings{Smolensky83AA,
  AUTHOR = {P. Smolensky},
  TITLE = {Schema Selection and Stochastic Inference in Modular Environments},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {378-382},
  KEYWORDS = {know-acq}}

@inproceedings{Stabler83AA,
  AUTHOR = {E. P. Stabler},
  TITLE = {Deterministic and Bottom-Up Parsing in Prolog},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {383-386},
  KEYWORDS = {parsing}}

@inproceedings{Stanfill83AA,
  AUTHOR = {C. Stanfill},
  TITLE = {The Decomposition of a Large Domain: Reasoning about Machines},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {387-390},
  KEYWORDS = {}}

@inproceedings{Stickel83AA,
  AUTHOR = {M. E. Stickel},
  TITLE = {Theory Resolution: Building in Nonequational Theories},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {391-397},
  KEYWORDS = {th-prov}}

@inproceedings{Subrahmanian83AA,
  AUTHOR = {E. Subrahmanian},
  TITLE = {An Analysis of a Welfare Eligibility Determination Interview: A Planning Approach},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {398-401},
  KEYWORDS = {}}

@inproceedings{Swartout83AA,
  AUTHOR = {B. Swartout},
  TITLE = {The GIST Behavior Explainer},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {402-407},
  KEYWORDS = {exp-sys}}

@inproceedings{Thompson83AA,
  AUTHOR = {H. Thompson},
  TITLE = {MCHART: A Flexible, Modular Chart Parsing System},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {408-410},
  KEYWORDS = {parsing}}

@inproceedings{Tong:83AA,
  AUTHOR = {R. M. Tong and D. G. Shapiro and B. P. McCune and J. S. Dean},
  TITLE = {A Rule-Based Approach to Information Retrieval: Some Results and Comments},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {411-415},
  KEYWORDS = {exp-sys}}

@inproceedings{Tzeng:83AA,
  AUTHOR = {C. Tzeng and P. W. Purdom},
  TITLE = {A Theory of Game Trees},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {416-419},
  KEYWORDS = {}}

@inproceedings{VanLehn83AA,
  AUTHOR = {K. VanLehn},
  TITLE = {Human Procedural Skill Acquisition: Theory, Model and Psychological Validation},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {420-423},
  KEYWORDS = {psych}}

@inproceedings{Weischedel83AA,
  AUTHOR = {R. M. Weischedel},
  TITLE = {Mapping between Semantic Representations Using Horn Clauses},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {424-428},
  KEYWORDS = {know-repr}}

@inproceedings{Weymouth:83AA,
  AUTHOR = {T. E. Weymouth and J. S. Griffith and A. R. Hanson and E. M. Riseman},
  TITLE = {Rule Based Strategies for Image Interpretation},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {429-432},
  KEYWORDS = {vision}}

@inproceedings{Winston:83AA,
  AUTHOR = {P. H. Winston and T. O. Binford and B. Katz and M. Lowry},
  TITLE = {Learning Physical Descriptions From Functional Definitions, Examples, and Precedents},
  YEAR = 1983,
  BOOKTITLE = {Proc. of AAAI-83},
  ADDRESS = "Washington, DC",
  PAGES = {433-439},
  KEYWORDS = {know-acq}}