LIDOS BibTeX Database File
aaai91.bib

@inproceedings{Leake91AA,
  AUTHOR = {D. B. Leake},
  TITLE = {An Indexing Vocabulary for Case-Based Explanation},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {10-15},
  KEYWORDS = {}}

@inproceedings{Domeshek91AA,
  AUTHOR = {E. A. Domeshek},
  TITLE = {Indexing Stories as Social Advice},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {16-21},
  KEYWORDS = {}}

@inproceedings{Golding:91AA,
  AUTHOR = {A. R. Golding and P. S. Rosenbloom},
  TITLE = {Improving Rule-Based Systems Through Case-Based Reasoning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {22-27},
  KEYWORDS = {}}

@inproceedings{Hinrichs:91AA,
  AUTHOR = {T. R. Hinrichs and J. L. Kolodner},
  TITLE = {The Roles of Adaptation in Case-Based Design},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {28-33},
  KEYWORDS = {}}

@inproceedings{Rajamoney:91AAb,
  AUTHOR = {S. A. Rajamoney and H.-Y. Lee},
  TITLE = {Prototype-Based Reasoning: An Integrated Approach to Solving Large Novel Problems},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {34-39},
  KEYWORDS = {}}

@inproceedings{Baril:91AA,
  AUTHOR = {D. Baril and J. E. Greer and G. I. McCalla},
  TITLE = {Student Modelling with Confluences},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {43-48},
  KEYWORDS = {}}

@inproceedings{Nwana91AA,
  AUTHOR = {H. S. Nwana},
  TITLE = {FITS: A Fraction Intelligent Tutoring System},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {49-54},
  KEYWORDS = {}}

@inproceedings{Courtois91AA,
  AUTHOR = {J. Courtois},
  TITLE = {Teaching Diagnostic Skills Using AI: An Arcvhitecture Suitable for Students and Teachers},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {55-60},
  KEYWORDS = {}}

@inproceedings{Maybury91AA,
  AUTHOR = {M. T. Maybury},
  TITLE = {Planning Mulitmedia Explanations Using Communicative Acts},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {61-66},
  KEYWORDS = {}}

@inproceedings{Fischer:91AA,
  AUTHOR = {G. Fischer and K. Nakakoji},
  TITLE = {Making Design Objects Relevant to the Task at Hand},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {67-73},
  KEYWORDS = {}}

@inproceedings{Terveen:91AA,
  AUTHOR = {L. G. Terveen and D. A. Wroblewski},
  TITLE = {A Tool for Achieving Consensus in Knowledge Representation},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {74-79},
  KEYWORDS = {}}

@inproceedings{Srihari91AA,
  AUTHOR = {R. K. Srihari},
  TITLE = {PICTION: A System that Uses Captions to Label Human Faces in Newspaper Photographs},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {80-85},
  KEYWORDS = {}}

@inproceedings{Cawsey91AA,
  AUTHOR = {A. Cawsey},
  TITLE = {Generating Interactive Explanations},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {86-91},
  KEYWORDS = {}}

@inproceedings{Hovy:91AA,
  AUTHOR = {E. H. Hovy and Y. Arens},
  TITLE = {Automatic Generation of Formatted Text},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {92-97},
  KEYWORDS = {}}

@inproceedings{Elhadad91AA,
  AUTHOR = {M. Elhadad},
  TITLE = {Generating Adjectives to Express the Speaker's Argumentative Intent},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {98-104},
  KEYWORDS = {}}

@inproceedings{Kalita:91AA,
  AUTHOR = {J. K. Kalita and N. I. Badler},
  TITLE = {Interpreting Prepositions Physically},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {105-110},
  KEYWORDS = {}}

@inproceedings{Lytinen91AA,
  AUTHOR = {S. L. Lytinen},
  TITLE = {Semantics-First Natural Language Processing},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {111-116},
  KEYWORDS = {}}

@inproceedings{Cardie:91AA,
  AUTHOR = {C. Cardie and W. Lehnert},
  TITLE = {A Cognitively Plausible Approach to Understanding Complex Syntax},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {117-124},
  KEYWORDS = {}}

@inproceedings{Hauptmann91AA,
  AUTHOR = {A. G. Hauptmann},
  TITLE = {From Syntax to Meaning in Natural Language Processing},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {125-130},
  KEYWORDS = {}}

@inproceedings{Song:91AAa,
  AUTHOR = {F. Song and R. Cohen},
  TITLE = {Tense Interpretation in the Context of Narrative},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {131-136},
  KEYWORDS = {}}

@inproceedings{Kirtner:91AA,
  AUTHOR = {J. D. Kirtner and S. L. Lytinen},
  TITLE = {ULINK: A Semantics-Driven Approach to Understanding Ungrammatical Input},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {137-142},
  KEYWORDS = {}}

@inproceedings{Sattta:91AA,
  AUTHOR = {G. Sattta and O. Stock},
  TITLE = {A Tabular Method for Island-Driven Context-Free Grammar Parsing},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {143-148},
  KEYWORDS = {}}

@inproceedings{Kitano:91AA,
  AUTHOR = {H. Kitano and T. Higuchi},
  TITLE = {High Performance Memory-Based Translation on IXM2 Massively Parallel Associate Memory Processor},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {149-154},
  KEYWORDS = {}}

@inproceedings{Boggess:91AA,
  AUTHOR = {L. Boggess and R. Agarwal and R. Davis},
  TITLE = {Disambiguation of Prepositional Phrases in Automatically Labelled Technical Text},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {155-159},
  KEYWORDS = {}}

@inproceedings{Charniak:91AAb,
  AUTHOR = {E. Charniak and R. Goldman},
  TITLE = {A Probabilistic Model of Plan Recognition},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {160-165},
  KEYWORDS = {}}

@inproceedings{Gmytrasiewicz:91AA,
  AUTHOR = {P. J. Gmytrasiewicz and E. H. Durfee and D. K. Wehe},
  TITLE = {The Utility of Communication in Coordinating Intelligent Agents},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {166-172},
  KEYWORDS = {}}

@inproceedings{Ephrati:91AA,
  AUTHOR = {E. Ephrati and J. S. Rosenschein},
  TITLE = {The Clarke Tax as a Consensus Mechanism Among Automated Agents},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {173-178},
  KEYWORDS = {}}

@inproceedings{Kraus:91AA,
  AUTHOR = {S. Kraus and J. Wilkenfeld},
  TITLE = {The Function of Time in Cooperative Negotiations},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {179-184},
  KEYWORDS = {}}

@inproceedings{Gasser:91AA,
  AUTHOR = {L. Gasser and T. Ishida},
  TITLE = {A Dynamic Organizational Architecture for Adaptive Problem Solving},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {185-190},
  KEYWORDS = {}}

@inproceedings{Carver:91AAb,
  AUTHOR = {N. Carver and Z. Cvetanovic and V. Lesser},
  TITLE = {Sophisticated Cooperation in FA/C Distributed Problem Solving Systems},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {191-198},
  KEYWORDS = {}}

@inproceedings{Kambhampati:91AAb,
  AUTHOR = {S. Kambhampati and M. Cutkosky and M. Tenenbaum and S. H. Lee},
  TITLE = {Combining Specialized Reasoners and General Purpose Planners: A Case Study},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {199-205},
  KEYWORDS = {}}

@inproceedings{Pan:91AA,
  AUTHOR = {J. Y.-C. Pan and J. M. Tenenbaum},
  TITLE = {Toward an Intelligent Agent Framework for Enterprise Integration},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {206-212},
  KEYWORDS = {}}

@inproceedings{Bowen:91AA,
  AUTHOR = {J. Bowen and D. Bahler},
  TITLE = {Conditional Existence of Variables in Generalized Constraint Networks},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {215-220},
  KEYWORDS = {}}

@inproceedings{Bessiere91AA,
  AUTHOR = {C. Bessiere},
  TITLE = {Arc-Consistency in Dynamic Constraint Satisfaction Problems},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {221-226},
  KEYWORDS = {}}

@inproceedings{Freuder91AA,
  AUTHOR = {E. C. Freuder},
  TITLE = {Eliminating Interchangeable Values in Constraint Satisfaction Problems},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {227-233},
  KEYWORDS = {}}

@inproceedings{Ligozat91AA,
  AUTHOR = {G. Ligozat},
  TITLE = {On Generalized Interval Calculi},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {234-240},
  KEYWORDS = {}}

@inproceedings{Kautz:91AA,
  AUTHOR = {H. A. Kautz and P. B. Ladkin},
  TITLE = {Integrating Metric and Qualitative Temporal Reasoning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {241-246},
  KEYWORDS = {}}

@inproceedings{Song:91AAb,
  AUTHOR = {F. Song and R. Cohen},
  TITLE = {Temporal Reasoning During Plan Recognition},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {247-252},
  KEYWORDS = {}}

@inproceedings{Poesio:91AA,
  AUTHOR = {M. Poesio and R. J. Brachman},
  TITLE = {Metric Constraints for Maintaining Appointments: Dates and Repeated Activities},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {253-259},
  KEYWORDS = {}}

@inproceedings{Meiri91AA,
  AUTHOR = {I. Meiri},
  TITLE = {Combining Qualitative and Quantitative Constraints in Temporal Reasoning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {260-267},
  KEYWORDS = {}}

@inproceedings{Morgue:91AA,
  AUTHOR = {G. Morgue and T. Chehire},
  TITLE = {Efficiency of Production Systems when Coupled with an Assumption Based Truth Maintenance System},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {268-274},
  KEYWORDS = {}}

@inproceedings{Huang:91AA,
  AUTHOR = {X. Huang and G. I. McCalla and E. Neufeld},
  TITLE = {Using Attention in Belief Revision},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {275-280},
  KEYWORDS = {}}

@inproceedings{Collins:91AA,
  AUTHOR = {J. W. Collins and D. DeCoste},
  TITLE = {CATMS: An ATMS which Avoids Label Explosions},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {281-287},
  KEYWORDS = {}}

@inproceedings{Petrie91AA,
  AUTHOR = {C. J. Petrie},
  TITLE = {Context Maintenance},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {288-295},
  KEYWORDS = {}}

@inproceedings{Higuchi:91AA,
  AUTHOR = {T. Higuchi and H. Kitano and T. Furuya and K. Handa and N. Takahashi and A. Kokubu},
  TITLE = {IXM2: A Parallel Associative Processor for Knowledge Processing},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {296-303},
  KEYWORDS = {}}

@inproceedings{Kuo:91AA,
  AUTHOR = {S. Kuo and D. Moldovan},
  TITLE = {Implementation on Multiple Rule Firing Production Systems on Hypercube},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {304-309},
  KEYWORDS = {}}

@inproceedings{Neiman91AA,
  AUTHOR = {D. E. Neiman},
  TITLE = {Control Issues in Parallel Rule-Firing Production Systems},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {310-316},
  KEYWORDS = {}}

@inproceedings{Green91AA,
  AUTHOR = {I. Green},
  TITLE = {Using Abstraction to Automate Program Improvement by Transformation},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {317-322},
  KEYWORDS = {}}

@inproceedings{Meseguer91AA,
  AUTHOR = {P. Meseguer},
  TITLE = {Verification of Multi-Level Rule-Based Expert Systems},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {323-328},
  KEYWORDS = {}}

@inproceedings{Gamble:91AA,
  AUTHOR = {R. F. Gamble and G.-C. Roman and W. E. Ball},
  TITLE = {Formal Verification of Pure Production System Programs},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {329-334},
  KEYWORDS = {}}

@inproceedings{Schlimmer91AA,
  AUTHOR = {J. C. Schlimmer},
  TITLE = {Learning Meta Knowledge for Database Checking},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {335-340},
  KEYWORDS = {}}

@inproceedings{Singh91AA,
  AUTHOR = {M. P. Singh},
  TITLE = {A Logic of Situated Know-How},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {343-348},
  KEYWORDS = {}}

@inproceedings{Lin:91AA,
  AUTHOR = {F. Lin and Y. Shoham},
  TITLE = {Provably Correct Theories of Action (Preliminary Report)},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {349-354},
  KEYWORDS = {}}

@inproceedings{Galton91AA,
  AUTHOR = {A. Galton},
  TITLE = {A Critique of Yaov Shohman's Theory of Causal Reasoning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {355-359},
  KEYWORDS = {}}

@inproceedings{Kanazawa91AA,
  AUTHOR = {K. Kanazawa},
  TITLE = {A Logic and Time Nets for Probabilistic Inference},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {360-365},
  KEYWORDS = {}}

@inproceedings{Nejdl91AA,
  AUTHOR = {W. Nejdl},
  TITLE = {The P-Systems: A Systematic Classification of Logics of Nomonotonicity},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {366-372},
  KEYWORDS = {}}

@inproceedings{Rychlik91AA,
  AUTHOR = {P. Rychlik},
  TITLE = {Some Variations on Default Logic},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {373-378},
  KEYWORDS = {}}

@inproceedings{Ben-Eliyahu:91AA,
  AUTHOR = {R. Ben-Eliyahu and R. Dechter},
  TITLE = {Default Logic, Propositional Logic and Constraints},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {379-385},
  KEYWORDS = {}}

@inproceedings{Gelfond91AA,
  AUTHOR = {M. Gelfond},
  TITLE = {Strong Introspection},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {386-391},
  KEYWORDS = {}}

@inproceedings{Bacchus91AA,
  AUTHOR = {F. Bacchus},
  TITLE = {Default Reasoning from Statistics},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {392-398},
  KEYWORDS = {}}

@inproceedings{Goldszmidt:91AA,
  AUTHOR = {M. Goldszmidt and J. Pearl},
  TITLE = {System-Z+: A Formalism for Reasoning with Variable-Strength Defaults},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {399-404},
  KEYWORDS = {}}

@inproceedings{Delgrande91AA,
  AUTHOR = {J. P. Delgrande},
  TITLE = {Incorporating Nonmonotonic Reasoning in Horn Clause Theories},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {405-411},
  KEYWORDS = {}}

@inproceedings{Elgot-Drapkin91AA,
  AUTHOR = {J. J. Elgot-Drapkin},
  TITLE = {Step-Logic and the Three-Wise-Men Problem},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {412-417},
  KEYWORDS = {}}

@inproceedings{Caferra:91AA,
  AUTHOR = {R. Caferra and S. Demri and M. Herment},
  TITLE = {Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {421-426},
  KEYWORDS = {}}

@inproceedings{McMichael91AA,
  AUTHOR = {A. F. McMichael},
  TITLE = {Mechanization of Analytic Reasoning about Sets},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {427-433},
  KEYWORDS = {}}

@inproceedings{Vempaty:91AA,
  AUTHOR = {N. R. Vempaty and V. Kumar and R. E. Korf},
  TITLE = {Depth-First vs Best-First Search},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {434-440},
  KEYWORDS = {}}

@inproceedings{Geiger:91AA,
  AUTHOR = {D. Geiger and J. A. Barnett},
  TITLE = {Optimal Satisficing Tree Searches},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {441-445},
  KEYWORDS = {}}

@inproceedings{Charniak:91AAa,
  AUTHOR = {E. Charniak and S. Husain},
  TITLE = {A New Admissible Heuristic for Minimal-Cost Proofs},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {446-451},
  KEYWORDS = {}}

@inproceedings{Ginsberg:91AA,
  AUTHOR = {M. L. Ginsberg and D. F. Geddis},
  TITLE = {Is There Any Need for Domain-Dependent Control Information?},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {452-457},
  KEYWORDS = {}}

@inproceedings{Gaines91AA,
  AUTHOR = {B. R. Gaines},
  TITLE = {Integrating Rules in Term Subsumption Knowlewdge Representation Servers},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {458-463},
  KEYWORDS = {}}

@inproceedings{Vilain91AA,
  AUTHOR = {M. Vilain},
  TITLE = {Deduction as Parsing: Tractable Classification in the KL-ONE Framework},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {464-470},
  KEYWORDS = {}}

@inproceedings{Lenzerini:91AA,
  AUTHOR = {M. Lenzerini and A. Schaerf},
  TITLE = {Concept Languages as Query Languages},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {471-476},
  KEYWORDS = {}}

@inproceedings{Barnett91AA,
  AUTHOR = {J. A. Barnett},
  TITLE = {Combining Opinions About the Order of Rule Execution},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {477-481},
  KEYWORDS = {}}

@inproceedings{Shimony91AA,
  AUTHOR = {S. E. Shimony},
  TITLE = {Explanation, Irrelevance and Statistical Independence},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {482-487},
  KEYWORDS = {}}

@inproceedings{Lemmer:91AA,
  AUTHOR = {J. F. Lemmer and H. E. Kyburg},
  TITLE = {Conditions for the Existence of Belief Functions Corresponding to Intervals of Belief},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {488-493},
  KEYWORDS = {}}

@inproceedings{Ng:91AA,
  AUTHOR = {H. T. Ng and R. J. Mooney},
  TITLE = {An Efficient First-Order Horn-Clause Abduction System Based on the ATMS},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {494-499},
  KEYWORDS = {}}

@inproceedings{Gunter:91AA,
  AUTHOR = {C. A. Gunter and T.-H. Ngair and P. Panangaden and D. Subramanian},
  TITLE = {The Common Order-Theoretic Structure of Version Spaces and ATMS's (Extended Abstract)},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {500-505},
  KEYWORDS = {}}

@inproceedings{Hamscher91AA,
  AUTHOR = {W. Hamscher},
  TITLE = {ACP: Reasn Maintenance and Inference Control for Constraint Propagation Over Intervals},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {506-511},
  KEYWORDS = {}}

@inproceedings{Goldstone91AA,
  AUTHOR = {D. J. Goldstone},
  TITLE = {Controlling Inequality Reasoning in a TMS-Based Analog Diagnosis System},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {512-517},
  KEYWORDS = {}}

@inproceedings{Bhansali:91AA,
  AUTHOR = {S. Bhansali and M. T. Harandi},
  TITLE = {Synthesizing UNIX Shell Sripts Using Derivational Analogy: An Empirical Assessment},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {521-526},
  KEYWORDS = {}}

@inproceedings{Ruby:91AA,
  AUTHOR = {D. Ruby and D. Kibler},
  TITLE = {SteppingStone: An Empirical and Analytical Evaluation},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {527-532},
  KEYWORDS = {}}

@inproceedings{Etzioni91AA,
  AUTHOR = {O. Etzioni},
  TITLE = {STATIC: A Problem-Space Compiler for PRODIGY},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {533-540},
  KEYWORDS = {}}

@inproceedings{Knoblock:91AAb,
  AUTHOR = {C. A. Knoblock and S. Minton and O. Etzioni},
  TITLE = {Integrating Abstraction and Explanation-Based Learning in PRODIGY},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {541-546},
  KEYWORDS = {}}

@inproceedings{Almuallim:91AA,
  AUTHOR = {H. Almuallim and T. G. Dietterich},
  TITLE = {Learning with Many Irrelevant Features},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {547-552},
  KEYWORDS = {}}

@inproceedings{Albert:91AA,
  AUTHOR = {M. K. Albert and D. W. Aha},
  TITLE = {Analyses of Instance-Based Learning Algorithms},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {553-558},
  KEYWORDS = {}}

@inproceedings{Botta91AA,
  AUTHOR = {A. Botta},
  TITLE = {Regularity and Structure},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {559-564},
  KEYWORDS = {}}

@inproceedings{Derthick91AA,
  AUTHOR = {M. Derthick},
  TITLE = {A Minimal Encoding Approach to Feature Discovery},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {565-571},
  KEYWORDS = {}}

@inproceedings{Dietterich:91AA,
  AUTHOR = {T. G. Dietterich and G. Bakiri},
  TITLE = {Error-Correcting Output Codes: A General Method for Improving Multiclass Inductive Learning Programs},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {572-577},
  KEYWORDS = {}}

@inproceedings{Chan91AA,
  AUTHOR = {L.-W. Chan},
  TITLE = {Analysis of the Internal Representations in Neural Networks for Machine Intelligence},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {578-583},
  KEYWORDS = {}}

@inproceedings{Pratt:91AA,
  AUTHOR = {L. Y. Pratt and J. Mostow and C. A. Kamm},
  TITLE = {Direct Transfer of Learned Information Among Neural Networks},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {584-589},
  KEYWORDS = {}}

@inproceedings{Fu91AA,
  AUTHOR = {L. Fu},
  TITLE = {Rule Learning by Searching on Adapted Nets},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {590-595},
  KEYWORDS = {}}

@inproceedings{Utgoff:91AA,
  AUTHOR = {P. E. Utgoff and J. A. Clouse},
  TITLE = {Two Kinds of Training Information for Evaluation Function Learning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {596-600},
  KEYWORDS = {}}

@inproceedings{Levinson:91AA,
  AUTHOR = {R. Levinson and R. Snyder},
  TITLE = {Adaptive Pattern-Oriented Chess},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {601-606},
  KEYWORDS = {}}

@inproceedings{Whitehead91AA,
  AUTHOR = {S. D. Whitehead},
  TITLE = {A Complexity Analysis of Cooperative Mechanisms in Reinforcement Learning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {607-613},
  KEYWORDS = {}}

@inproceedings{Callan:91AA,
  AUTHOR = {J. P. Callan and P. E. Utgoff},
  TITLE = {Constructive Induction on Domain Information},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {614-619},
  KEYWORDS = {}}

@inproceedings{Chenoweth91AA,
  AUTHOR = {S. V. Chenoweth},
  TITLE = {On the NP-Hardness of Blocks World},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {623-628},
  KEYWORDS = {}}

@inproceedings{Gupta:91AA,
  AUTHOR = {N. Gupta and D. S. Nau},
  TITLE = {Complexity Results for Blocks-World Planning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {629-633},
  KEYWORDS = {}}

@inproceedings{McAllester:91AA,
  AUTHOR = {D. McAllester and D. Rosenblitt},
  TITLE = {Systematic Nonlinear Planning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {634-639},
  KEYWORDS = {}}

@inproceedings{Godefroid:91AA,
  AUTHOR = {P. Godefroid and F. Kabanza},
  TITLE = {An Efficient Reactive Planner for Synthesizing Reactive Plans},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {640-645},
  KEYWORDS = {}}

@inproceedings{Gottschlich:91AA,
  AUTHOR = {S. N. Gottschlich and A. C. Kak},
  TITLE = {Dealing with Uncertainties in CAD-Based Assembly Motion Planning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {646-652},
  KEYWORDS = {}}

@inproceedings{Dakin:91AA,
  AUTHOR = {G. A. Dakin and R. J. Popplestone},
  TITLE = {Augmenting a Nominal Assembly Motion Plan with a Compliant Behavior},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {653-658},
  KEYWORDS = {}}

@inproceedings{Latombe91AA,
  AUTHOR = {J.-C. Latombe},
  TITLE = {A Fast Path Planner for a Car-Like Indoor Mobile Robot},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {659-665},
  KEYWORDS = {}}

@inproceedings{Hayashi:91AA,
  AUTHOR = {A. Hayashi and B. J. Kuipers},
  TITLE = {Path Planning for Highly-Redundant Manipulators Using a Continuous Model},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {666-672},
  KEYWORDS = {}}

@inproceedings{Foulser:91AA,
  AUTHOR = {D. E. Foulser and M. Li and Q. Yang},
  TITLE = {A Quantitative Theory for Plan Merging},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {673-678},
  KEYWORDS = {}}

@inproceedings{Kambhampati:91AAa,
  AUTHOR = {S. Kambhampati and S. Kedar},
  TITLE = {Explanation-Based Generalization of Partially Ordered Plans},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {679-685},
  KEYWORDS = {}}

@inproceedings{Knoblock91AA,
  AUTHOR = {C. A. Knoblock},
  TITLE = {Search Reduction in Hierarchical Problem Solving},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {686-691},
  KEYWORDS = {}}

@inproceedings{Knoblock:91AAa,
  AUTHOR = {C. A. Knoblock and J. D. Tenenberg and Q. Yang},
  TITLE = {Characterizing Abstraction Hierarchies for Planning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {692-697},
  KEYWORDS = {}}

@inproceedings{Wellman:91AA,
  AUTHOR = {M. P. Wellman and J. Doyle},
  TITLE = {Preferential Semantics for Goals},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {698-703},
  KEYWORDS = {}}

@inproceedings{Shoham91AA,
  AUTHOR = {Y. Shoham},
  TITLE = {AGENT0: A Simple Agent Language an Its Interpreter},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {704-709},
  KEYWORDS = {}}

@inproceedings{Cromwell:91AA,
  AUTHOR = {R. L. Cromwell and A. C. Kak},
  TITLE = {Automatic Generation of Object Class Descriptions Using Symbolic Learning Techniques},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {710-717},
  KEYWORDS = {}}

@inproceedings{Woodfill:91AA,
  AUTHOR = {J. Woodfill and R. Zabih},
  TITLE = {An Algorithm for Real-Time Tracking of Non-Rigid Objects},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {718-723},
  KEYWORDS = {}}

@inproceedings{Carver:91AAa,
  AUTHOR = {N. Carver and V. Lesser},
  TITLE = {A New Framework for Sensor Interpretation: Planning to Resolve Sources of Uncertainty},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {724-731},
  KEYWORDS = {}}

@inproceedings{Herve:91AA,
  AUTHOR = {J.-Y. Herve and R. Sharma and P. Cucka},
  TITLE = {The Geometry of Visual Coordination},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {732-737},
  KEYWORDS = {}}

@inproceedings{Boddy91AA,
  AUTHOR = {M. Boddy},
  TITLE = {Anytime Problem Solving Using Dynamic Programming},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {738-743},
  KEYWORDS = {}}

@inproceedings{Abramson91AA,
  AUTHOR = {B. Abramson},
  TITLE = {An Analysis of Error Recovery and Sensory Integration for Dynamic Planners},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {744-749},
  KEYWORDS = {}}

@inproceedings{Miller:91AA,
  AUTHOR = {D. P. Miller and M. G. Slack},
  TITLE = {Global Symbolic Maps from Local Navigation},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {750-755},
  KEYWORDS = {}}

@inproceedings{Chrisman:91AA,
  AUTHOR = {L. Chrisman and R. Simmons},
  TITLE = {Sensible Planning: Focusing Perceptual Attention},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {756-761},
  KEYWORDS = {}}

@inproceedings{Jang91AA,
  AUTHOR = {J.-S. R. Jang},
  TITLE = {Fuzzy Modeling Using Generalized Neural Networks and Kalman Filter Algorithm},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {762-767},
  KEYWORDS = {}}

@inproceedings{Mahadevan:91AA,
  AUTHOR = {S. Mahadevan and J. Connell},
  TITLE = {Automatic Programming of Behavior-Based Robots Using Reinforcement Learning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {768-773},
  KEYWORDS = {}}

@inproceedings{Tang91AA,
  AUTHOR = {M. Tang},
  TITLE = {Cost-Sensitive Reinforcement Learning for Adaptive Classification and Control},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {774-780},
  KEYWORDS = {}}

@inproceedings{Lin91AA,
  AUTHOR = {L.-J. Lin},
  TITLE = {Programming Robots Using Reinforcement Learning and Teaching},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {781-786},
  KEYWORDS = {}}

@inproceedings{Hammond:91AA,
  AUTHOR = {K. J. Hammond and T. M. Converse},
  TITLE = {Stabilizing Environments to Facilitate Planning and Activity: An Engineering Argument},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {787-793},
  KEYWORDS = {}}

@inproceedings{Bonasso91AA,
  AUTHOR = {R. P. Bonasso},
  TITLE = {Underwater Experiments Using a Reactive System for Autonomous Vehicles},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {794-800},
  KEYWORDS = {}}

@inproceedings{Howe:91AA,
  AUTHOR = {A. E. Howe and P. R. Cohen},
  TITLE = {Failure Recovery: A Model and Experiments},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {801-808},
  KEYWORDS = {}}

@inproceedings{Nishida:91AA,
  AUTHOR = {T. Nishida and K. Mizutani and A. Kubota and S. Doshita},
  TITLE = {Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {811-816},
  KEYWORDS = {}}

@inproceedings{Rose:91AA,
  AUTHOR = {P. Rose and M. A. Kramer},
  TITLE = {Qualitative Analysis of Causal Feedback},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {817-823},
  KEYWORDS = {}}

@inproceedings{Bylander91AA,
  AUTHOR = {T. Bylander},
  TITLE = {The Qualitative Difference Resolution Rule},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {824-829},
  KEYWORDS = {}}

@inproceedings{Schaefer91AA,
  AUTHOR = {P. Schaefer},
  TITLE = {Analytic Solution of Qualitative Differential Equations},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {830-835},
  KEYWORDS = {}}

@inproceedings{Crow:91AA,
  AUTHOR = {J. Crow and J. Rushby},
  TITLE = {Model-Based Reconfiguration: Toward an Integration with Diagnosis},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {836-841},
  KEYWORDS = {}}

@inproceedings{Kleer91AA,
  AUTHOR = {J. de Kleer},
  TITLE = {Focusing on Probable Diagnoses},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {842-848},
  KEYWORDS = {}}

@inproceedings{Raiman:91AA,
  AUTHOR = {O. Raiman and J. de Kleer and V. Saraswat and M. Shirley},
  TITLE = {Characterizing Non-Intermittent Faults},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {849-854},
  KEYWORDS = {}}

@inproceedings{Wu91AA,
  AUTHOR = {T. D. Wu},
  TITLE = {Domain Structure and the Complexity of Diagnostic Problem Solving},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {855-861},
  KEYWORDS = {}}

@inproceedings{Rajamoney:91AAa,
  AUTHOR = {S. A. Rajamoney and S. H. Koo},
  TITLE = {Behavioral Aggregation within Complex Situations: A Case Study Involving Dynamic Equilibria},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {862-867},
  KEYWORDS = {}}

@inproceedings{Liu:91AA,
  AUTHOR = {Z.-Y. Liu and A. M. Farley},
  TITLE = {Structural Aggregation in Common-Sense Reasoning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {868-873},
  KEYWORDS = {}}

@inproceedings{Turkiyyah:91AA,
  AUTHOR = {G. Turkiyyah and O. Ghattas},
  TITLE = {Geometric Reasoning for Shape Design},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {874-879},
  KEYWORDS = {}}

@inproceedings{Gelsey91AA,
  AUTHOR = {A. Gelsey},
  TITLE = {The Use of Intelligently Controlled Simulation to Predict a Machine's Long-Term Behavior},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {880-887},
  KEYWORDS = {}}

@inproceedings{Joskowicz:91AA,
  AUTHOR = {L. Joskowicz and E. Sacks},
  TITLE = {Incremental Configuration Space Construction for Mechanism Analysis},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {888-893},
  KEYWORDS = {}}

@inproceedings{Crawford:91AA,
  AUTHOR = {J. M. Crawford and B. J. Kuipers},
  TITLE = {Negation and Proof by Contradiction in Access-Limited Logic},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {897-903},
  KEYWORDS = {}}

@inproceedings{Selman:91AA,
  AUTHOR = {B. Selman and H. Kautz},
  TITLE = {Knowledge Compilation Using Horn Approximations},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {904-909},
  KEYWORDS = {}}

@inproceedings{McAllester91AA,
  AUTHOR = {D. McAllester},
  TITLE = {Observations on Cognitive Judgments},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {910-914},
  KEYWORDS = {}}

@inproceedings{Givan:91AA,
  AUTHOR = {R. Givan and D. McAllester and S. Shalaby},
  TITLE = {Natural Language Based Inference Procedures Applied to Schubert's Steamroller},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {915-920},
  KEYWORDS = {}}

@inproceedings{Bonissone91AA,
  AUTHOR = {P. P. Bonissone},
  TITLE = {Approximate Reasoning Systems: A Personal Perspective},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {923-929},
  KEYWORDS = {}}

@inproceedings{McDermott91AA,
  AUTHOR = {D. McDermott},
  TITLE = {Robot Planning},
  YEAR = 1991,
  BOOKTITLE = {Proc. of AAAI-91},
  ADDRESS = "Anaheim, CA",
  PAGES = {930-931},
  KEYWORDS = {}}