LIDOS BibTeX Database File
aaai92.bib

@inproceedings{McKeown:92AA,
  AUTHOR = {K. R. McKeown and S. K. Feiner and J. Robin and D. D. Seligmann and M. Tanenblatt},
  TITLE = {Generating Cross-References for Multimedia Explanation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {9-16},
  KEYWORDS = {}}

@inproceedings{Murray:92AA,
  AUTHOR = {T. Murray and B. {Park Woolf}},
  TITLE = {Results of Encoding Knowledge with Tutor Construction Tools},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {17-23},
  KEYWORDS = {}}

@inproceedings{Suthers:92AA,
  AUTHOR = {D. Suthers and B. Woolf and M. Cornell},
  TITLE = {Steps from Explanation Planning to Model Construction},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {24-31},
  KEYWORDS = {}}

@inproceedings{Berg92AA,
  AUTHOR = {G. Berg},
  TITLE = {A Connectionist Parser with Recursive Sentence Structure and Lexical Disambiguation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {32-37},
  KEYWORDS = {}}

@inproceedings{Cardie92AA,
  AUTHOR = {C. Cardie},
  TITLE = {Learning to Disambiguate Relative Pronouns},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {38-43},
  KEYWORDS = {}}

@inproceedings{Kijsirikul:92AA,
  AUTHOR = {B. Kijsirikul and M. Numao and M. Shimura},
  TITLE = {Discrimination-Based Constructive Induction of Logic Programs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {44-49},
  KEYWORDS = {}}

@inproceedings{Richards:92AAb,
  AUTHOR = {B. L. Richards and R. J. Mooney},
  TITLE = {Learning Relations by Pathfinding},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {50-55},
  KEYWORDS = {}}

@inproceedings{Lowry92AA,
  AUTHOR = {M. Lowry},
  TITLE = {Symmetry as Bias: Rediscovering Special Relativity},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {56-62},
  KEYWORDS = {}}

@inproceedings{Valdes-Perez92AA,
  AUTHOR = {R. E. Valdes-Perez},
  TITLE = {Theory-Driven Discovery of Reaction Pathways in the MECHEM System},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {63-69},
  KEYWORDS = {}}

@inproceedings{Zembowicz:92AA,
  AUTHOR = {R. Zembowicz and J. M. Zytkow},
  TITLE = {Discovery of Equations: Experimental Evaluation of Convergence},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {70-75},
  KEYWORDS = {}}

@inproceedings{Zytkow:92AA,
  AUTHOR = {J. M. Zytkow and J. Zhu and R. Zembowicz},
  TITLE = {Operational Definition Refinement: A Discovery Process},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {76-81},
  KEYWORDS = {}}

@inproceedings{Bisson92AA,
  AUTHOR = {G. Bisson},
  TITLE = {Learning in FOL with a Similarity Measure},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {82-87},
  KEYWORDS = {}}

@inproceedings{Dabija:92AA,
  AUTHOR = {V. G. Dabija and K. Tsujino and S. Nishida},
  TITLE = {Learning to Learn Decision Trees},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {88-95},
  KEYWORDS = {}}

@inproceedings{Dent:92AA,
  AUTHOR = {L. Dent and J. Boticario and T. Mitchell and D. Zabowski and J. McDermott},
  TITLE = {A Personal Learning Apprentice},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {96-103},
  KEYWORDS = {}}

@inproceedings{Fayyad:92AA,
  AUTHOR = {U. M. Fayyad and K. B. Irani},
  TITLE = {The Attribute Selection Problem in Decision Tree Generation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {104-110},
  KEYWORDS = {}}

@inproceedings{Greene:92AA,
  AUTHOR = {D. P. Greene and S. F. Smith},
  TITLE = {COGIN: Symbolic Induction with Genetic Algorithms},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {111-116},
  KEYWORDS = {}}

@inproceedings{Hirsh92AA,
  AUTHOR = {H. Hirsh},
  TITLE = {Polynomial-Time Learning with Version Spaces},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {117-122},
  KEYWORDS = {}}

@inproceedings{Kerber92AA,
  AUTHOR = {R. Kerber},
  TITLE = {ChiMerge: Discretization of Numeric Attributes},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {123-128},
  KEYWORDS = {}}

@inproceedings{Kira:92AA,
  AUTHOR = {K. Kira and L. A. Rendell},
  TITLE = {The Feature Selection Problem: Traditional Methods and a New Algorithm},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {129-134},
  KEYWORDS = {}}

@inproceedings{Laird92AA,
  AUTHOR = {P. Laird},
  TITLE = {Discrete Sequence Prediction and Its Applications},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {135-140},
  KEYWORDS = {}}

@inproceedings{Norton:92AA,
  AUTHOR = {S. W. Norton and H. Hirsh},
  TITLE = {Classifier Learning from Noisy Data as Probabilistic Evidence Combination},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {141-146},
  KEYWORDS = {}}

@inproceedings{Schaffer92AA,
  AUTHOR = {C. Schaffer},
  TITLE = {Sparsa Data and the Effect of Overfitting Avoidance in Decision Tree Induction},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {147-152},
  KEYWORDS = {}}

@inproceedings{Shen92AA,
  AUTHOR = {W. M. Shen},
  TITLE = {Complementary Discrimination Learning with Decision Lists},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {153-158},
  KEYWORDS = {}}

@inproceedings{Lim:92AA,
  AUTHOR = {J. H. Lim and H. C. Lui and P. Z. Wang and},
  TITLE = {A Framework for Integrating Fault Diagnosis and Incremental Knowledge Acquisition in Connectionist Expert Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {159-164},
  KEYWORDS = {}}

@inproceedings{Maclin:92AA,
  AUTHOR = {R. Maclin and J. W. Shavlik},
  TITLE = {Using Knowledge-Based Neural Networks to Improve Algorithms: Refining the Chou-Fasman Algorithm for Protein Folding},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {165-170},
  KEYWORDS = {}}

@inproceedings{Sutton92AA,
  AUTHOR = {R. S. Sutton},
  TITLE = {Adapting Bias by Gradient Descent: An Incremental Version of Delta-Bar-Delta},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {171-176},
  KEYWORDS = {}}

@inproceedings{Towell:92AA,
  AUTHOR = {G. G. Towell and J. W. Shavlik},
  TITLE = {Using Symbolic Learning to Improve Knowledge-Based Neural Networks},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {177-182},
  KEYWORDS = {}}

@inproceedings{Chrisman92AA,
  AUTHOR = {L. Chrisman},
  TITLE = {Reinforcement Learning with Perceptual Aliasing: The Perceptual Distinctions Approach},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {183-188},
  KEYWORDS = {}}

@inproceedings{Gelfand:92AA,
  AUTHOR = {J. Gelfand and M. Flax and R. Endres and S. Lane and D. Handelman},
  TITLE = {Acquisition of Automatic Activity through Practice: Changes in Sensory Input},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {189-193},
  KEYWORDS = {}}

@inproceedings{Koza:92AA,
  AUTHOR = {J. R. Koza and J. P. Rice},
  TITLE = {Automatic Programming of Robots Using Genetic Programming},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {194-201},
  KEYWORDS = {}}

@inproceedings{Singh92AA,
  AUTHOR = {S. P. Singh},
  TITLE = {Reinforcement Learning with a Hierarchy of Abstract Models},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {202-207},
  KEYWORDS = {}}

@inproceedings{Dean:92AA,
  AUTHOR = {T. Dean and K. Basye and L. Kaelbling and E. Kokkevis and O. Marson and D. Angluin},
  TITLE = {Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {208-214},
  KEYWORDS = {}}

@inproceedings{Kearns92AA,
  AUTHOR = {M. J. Kearns},
  TITLE = {Oblivious PAC Learning of Concept Hierarchies},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {215-222},
  KEYWORDS = {}}

@inproceedings{Langley:92AA,
  AUTHOR = {P. Langley and W. Iba and K. Thompson},
  TITLE = {An Analysis of Bayesian Classifiers},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {223-228},
  KEYWORDS = {}}

@inproceedings{Tadepalli92AA,
  AUTHOR = {P. Tadepalli},
  TITLE = {A Theory of Unsupervised Speedup Learning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {229-234},
  KEYWORDS = {}}

@inproceedings{Gratch:92AA,
  AUTHOR = {J. Gratch and G. DeJong},
  TITLE = {COMPOSER: A Probabilistic Solution to the Utility Problem in Speed-Up Learning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {235-240},
  KEYWORDS = {}}

@inproceedings{Greiner:92AA,
  AUTHOR = {R. Greiner and I. Jurisica},
  TITLE = {A Statistical Approach to Solving the EBL Utility Problem},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {241-248},
  KEYWORDS = {}}

@inproceedings{Holder92AA,
  AUTHOR = {L. B. Holder},
  TITLE = {Empirical Analysis of the General Utility Problem in Machine Learning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {249-254},
  KEYWORDS = {}}

@inproceedings{Provost:92AA,
  AUTHOR = {F. J. Provost and B. G. Buchanan},
  TITLE = {Inductive Policy},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {255-262},
  KEYWORDS = {}}

@inproceedings{Ephrati:92AA,
  AUTHOR = {E. Ephrati and J. S. Rosenschein},
  TITLE = {Constrained Intelligent Action: Planning under the Influence of a Master Agent},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {263-268},
  KEYWORDS = {}}

@inproceedings{Jennings:92AA,
  AUTHOR = {N. R. Jennings and E. H. Mamdani},
  TITLE = {Using Joint Responsibility to Coordinate Colaborative Problem Solving in Dynamic Environments},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {269-275},
  KEYWORDS = {}}

@inproceedings{Shoham:92AA,
  AUTHOR = {Y. Shoham and M. Tennenholtz},
  TITLE = {On the Synthesis of Useful Social Laws for Artificial Agent Societies (Preliminary Report)},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {276-281},
  KEYWORDS = {}}

@inproceedings{Wellman92AA,
  AUTHOR = {M. P. Wellman},
  TITLE = {A General-Equilibrium Approach to Distributed Transportation Planning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {282-290},
  KEYWORDS = {}}

@inproceedings{Almeida92AA,
  AUTHOR = {M. J. Almeida},
  TITLE = {An Approach to the Representation of Iterative Situations},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {291-295},
  KEYWORDS = {}}

@inproceedings{Balkanski92AA,
  AUTHOR = {C. T. Balkanski},
  TITLE = {Actions, Beliefs and Intentions in Rationale Clauses and Means Clauses},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {296-301},
  KEYWORDS = {}}

@inproceedings{Jurafsky92AA,
  AUTHOR = {D. Jurafsky},
  TITLE = {An One-Line Computational Model of Human Sentence Interpretation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {302-308},
  KEYWORDS = {}}

@inproceedings{Lytinen:92AA,
  AUTHOR = {S. L. Lytinen and R. R. Burridge and J. D. Kirtner},
  TITLE = {Literal Meaning and the Comprehension of Metaphors},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {309-314},
  KEYWORDS = {}}

@inproceedings{Jacobs92AA,
  AUTHOR = {P. S. Jacobs},
  TITLE = {Parsing Run Amok: Relation-Driven Control for Text Analysis},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {315-321},
  KEYWORDS = {}}

@inproceedings{Jones:92AA,
  AUTHOR = {M. A. Jones and J. Eisner},
  TITLE = {A Probabilistic Parser Applied to Software Testing Documents},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {322-328},
  KEYWORDS = {}}

@inproceedings{Riloff:92AA,
  AUTHOR = {E. Riloff and W. Lehnert},
  TITLE = {Classifying Texts Using Relevancy Signatures},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {329-334},
  KEYWORDS = {}}

@inproceedings{Zernik92AA,
  AUTHOR = {U. Zernik},
  TITLE = {Shipping Departments vs. Shipping Pacemakers: Using Thematic Analysis to Improve Tagging Accuracy},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {335-343},
  KEYWORDS = {}}

@inproceedings{Corazza:92AA,
  AUTHOR = {A. Corazza and R. {De Mori} and G. Satta},
  TITLE = {Computation of Upper-Bounds for Stochastic Context-Free Languages},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {344-349},
  KEYWORDS = {}}

@inproceedings{Govindaraju:92AA,
  AUTHOR = {V. Govindaraju and S. N. Srihari and D. Sher},
  TITLE = {A Computational Model for Face Location Based on Cognitive Principles},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {350-355},
  KEYWORDS = {}}

@inproceedings{Yang:92AA,
  AUTHOR = {Y. Yang and A. Yuille},
  TITLE = {Grouping Iso-Velocity Points for Ego-Motion Recovery},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {356-362},
  KEYWORDS = {}}

@inproceedings{Agre:92AA,
  AUTHOR = {P. E. Agre and I. D. Horswill},
  TITLE = {Cultural Support for Improvisation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {363-368},
  KEYWORDS = {}}

@inproceedings{Bacchus:92AAb,
  AUTHOR = {F. Bacchus and Q. Yang},
  TITLE = {The Expected Value of Hierarchical Problem-Solving},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {369-374},
  KEYWORDS = {}}

@inproceedings{Collins:92AA,
  AUTHOR = {G. Collins and L. Pryor},
  TITLE = {Achieving the Functionality of Filter Conditions in a Partial Order Planner},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {375-380},
  KEYWORDS = {}}

@inproceedings{Erol:92AA,
  AUTHOR = {K. Erol and D. S. Nau and V. S. Subrahmanian},
  TITLE = {On the Complexity of Domain-Independent Planning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {381-386},
  KEYWORDS = {}}

@inproceedings{Howe92AA,
  AUTHOR = {A. E. Howe},
  TITLE = {Analyzing Failure Recovery to Improve Planner Design},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {387-392},
  KEYWORDS = {}}

@inproceedings{Petrie92AA,
  AUTHOR = {C. Petrie},
  TITLE = {Constraint Decision Revision},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {393-400},
  KEYWORDS = {}}

@inproceedings{Ryu:92AA,
  AUTHOR = {K. R. Ryu and K. B. Irani},
  TITLE = {Learning from Goal Interactions in Planning: Goal Stack Analysis and Generalization},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {401-408},
  KEYWORDS = {}}

@inproceedings{Dalal92AA,
  AUTHOR = {M. Dalal},
  TITLE = {Efficient Propositional Constraint Propagation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {409-414},
  KEYWORDS = {}}

@inproceedings{Haddock92AA,
  AUTHOR = {J. Haddock},
  TITLE = {Semantic Evaluation as Constraint Network Consistency},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {415-420},
  KEYWORDS = {}}

@inproceedings{Hubbe:92AA,
  AUTHOR = {P. D. Hubbe and E. C. Freuder},
  TITLE = {An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {421-427},
  KEYWORDS = {}}

@inproceedings{Morris92AA,
  AUTHOR = {P. Morris},
  TITLE = {On the Density of Solutions in Equilibrium Points for the Queens Problem},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {428-433},
  KEYWORDS = {}}

@inproceedings{Pinkas:92AA,
  AUTHOR = {G. Pinkas and R. Dechter and},
  TITLE = {An Improved Connectionist Activation Function for Energy Minimization},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {434-439},
  KEYWORDS = {}}

@inproceedings{Selman:92AAa,
  AUTHOR = {B. Selman and H. Levesque and D. Mitchell},
  TITLE = {A New Method for Solving Hard Satisfiability Problems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {440-446},
  KEYWORDS = {}}

@inproceedings{Beek92AA,
  AUTHOR = {P. van Beek},
  TITLE = {On the Minimality and Decomposability of Constraint Networks},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {447-452},
  KEYWORDS = {}}

@inproceedings{Vempaty92AA,
  AUTHOR = {N. R. Vempaty},
  TITLE = {Solving Constraint Satisfaction Problems Using Finite State Automata},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {453-458},
  KEYWORDS = {}}

@inproceedings{Selman:92AAb,
  AUTHOR = {B. Selman and H. Levesque and D. Mitchell},
  TITLE = {Hard and Easy Distributions of SAT Problems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {459-465},
  KEYWORDS = {}}

@inproceedings{Musick:92AA,
  AUTHOR = {R. Musick and S. Russell},
  TITLE = {How Long Will It Take?},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {466-471},
  KEYWORDS = {}}

@inproceedings{Williams:92AA,
  AUTHOR = {C. P. Williams and T. Hogg},
  TITLE = {Using Deep Structure to Locate Hard Problems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {472-477},
  KEYWORDS = {}}

@inproceedings{Barachini:92AA,
  AUTHOR = {F. Barachini and H. Mistelberger and A. Gupta},
  TITLE = {Run-Time Prediction for Production Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {478-485},
  KEYWORDS = {}}

@inproceedings{Hamidzadeh:92AA,
  AUTHOR = {B. Hamidzadeh and S. Shekhar},
  TITLE = {Can Real-Time Search Algorithms Meet Deadlines?},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {486-491},
  KEYWORDS = {}}

@inproceedings{Schmolze:92AA,
  AUTHOR = {J. G. Schmolze and D. Neiman},
  TITLE = {Comparisons of Three Algorithms for Ensuring Serializable Executions in Parallel Production Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {492-499},
  KEYWORDS = {}}

@inproceedings{Schwuttke:92AA,
  AUTHOR = {U. M. Schwuttke and L. Gasser},
  TITLE = {Real-Time Metareasoning with Dynamic Tradeoff Evaluation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {500-506},
  KEYWORDS = {}}

@inproceedings{Baum92AA,
  AUTHOR = {E. B. Baum},
  TITLE = {On Optimal Game Tree Propagation for Imperfect Players},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {507-512},
  KEYWORDS = {}}

@inproceedings{Delcher:92AA,
  AUTHOR = {A. L. Delcher and S. Kasif},
  TITLE = {Improved Decision-Making in Game Trees: Recovering from Pathology},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {513-518},
  KEYWORDS = {}}

@inproceedings{Hamscher92AA,
  AUTHOR = {W. Hamscher},
  TITLE = {Modeling Accounting Systems to Support Multiple Tasks: A Progress Report},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {519-524},
  KEYWORDS = {}}

@inproceedings{Ishida92AA,
  AUTHOR = {T. Ishida},
  TITLE = {Moving Target Search with Intelligence},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {525-532},
  KEYWORDS = {}}

@inproceedings{Korf92AA,
  AUTHOR = {R. E. Korf},
  TITLE = {Linear-Space Best-First Search: Summary of Results},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {533-538},
  KEYWORDS = {}}

@inproceedings{Ghosh:92AA,
  AUTHOR = {M. S. Ghosh and D.-S. Nau and L. N. Kanal and A. K. Pal and A. Mahanti},
  TITLE = {Performance of IDA on Trees and Graphs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {539-544},
  KEYWORDS = {}}

@inproceedings{Zhang:92AA,
  AUTHOR = {W. Zhang and R. E. Korf},
  TITLE = {An Average-Case Analysis of Branch-and-Bound with Applications: Summmary of Results},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {545-551},
  KEYWORDS = {}}

@inproceedings{Charniak:92AA,
  AUTHOR = {E. Charniak and E. Santos},
  TITLE = {Dynamic MAP Calculations for Abduction},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {552-557},
  KEYWORDS = {}}

@inproceedings{Downing92AA,
  AUTHOR = {K. L. Downing},
  TITLE = {Consistency-Based Diagnosis in Physiological Domains},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {558-563},
  KEYWORDS = {}}

@inproceedings{Nakakuki:92AA,
  AUTHOR = {Y. Nakakuki and Y. Koseki and M. Tanaka},
  TITLE = {Adaptive Model-Based Diagnostic Mechanism Using a Hierarchical Model Scheme},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {564-569},
  KEYWORDS = {}}

@inproceedings{Sy92AA,
  AUTHOR = {B. K. Sy},
  TITLE = {Reasoning MPE to Multiply Connected Belief Networks Using Message Passing},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {570-576},
  KEYWORDS = {}}

@inproceedings{Crawford:92AA,
  AUTHOR = {J. M. Crawford and D. W. Etherington},
  TITLE = {Formalizing Reasoning about Change: A Qualitative Reasoning Approach (Preliminary Report)},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {577-583},
  KEYWORDS = {}}

@inproceedings{Val:92AA,
  AUTHOR = {A. del Val and Y. Shoham},
  TITLE = {Deriving Properties of Belief Update from Theories of Action},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {584-589},
  KEYWORDS = {}}

@inproceedings{Lin:92AA,
  AUTHOR = {F. Lin and Y. Shoham},
  TITLE = {Concurrent Actions in the Situation Calculus},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {590-595},
  KEYWORDS = {}}

@inproceedings{Young92AA,
  AUTHOR = {M. A. Young},
  TITLE = {Nonmonotonic Sorts for Feature Structures},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {596-601},
  KEYWORDS = {}}

@inproceedings{Bacchus:92AAa,
  AUTHOR = {F. Bacchus and A. Grove and J. Y. Halpern and D. Koller},
  TITLE = {From Statistics to Beliefs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {602-608},
  KEYWORDS = {}}

@inproceedings{Boutilier92AA,
  AUTHOR = {C. Boutilier},
  TITLE = {A Logic for Revision and Subjunctive Queries},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {609-615},
  KEYWORDS = {}}

@inproceedings{Bowen:92AA,
  AUTHOR = {J. Bowen and R. Lai and D. Bahler},
  TITLE = {Lexical Imprecision in Fuzzy Constraint Networks},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {616-621},
  KEYWORDS = {}}

@inproceedings{Darwiche:92AA,
  AUTHOR = {A. Y. Darwiche and M. L. Ginsberg},
  TITLE = {A Symbolic Generalization of Probability Theory},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {622-627},
  KEYWORDS = {}}

@inproceedings{Gmytrasiewicz:92AA,
  AUTHOR = {P. J. Gmytrasiewicz and E. H. Durfee},
  TITLE = {A Logic of Knowledge and Belief for Recursive Modeling: Preliminary Report},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {628-634},
  KEYWORDS = {}}

@inproceedings{Konolige92AA,
  AUTHOR = {K. Konolige},
  TITLE = {Ideal Introspective Belief},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {635-641},
  KEYWORDS = {}}

@inproceedings{Saffiotti92AA,
  AUTHOR = {A. Saffiotti},
  TITLE = {A Belief-Function Logic},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {642-647},
  KEYWORDS = {}}

@inproceedings{Wainer92AA,
  AUTHOR = {J. Wainer},
  TITLE = {Combining Circumscription and Modal Logic},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {648-653},
  KEYWORDS = {}}

@inproceedings{Ashley:92AA,
  AUTHOR = {K. D. Ashley and V. Aleven},
  TITLE = {Generating Dialectical Examples Automatically},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {654-660},
  KEYWORDS = {}}

@inproceedings{Craddock92AA,
  AUTHOR = {A. J. Craddock},
  TITLE = {Common Sense Retrieval},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {661-666},
  KEYWORDS = {}}

@inproceedings{Edelson92AA,
  AUTHOR = {D. C. Edelson},
  TITLE = {When Should a Cheetah Remind You of a Bat? Reminding in Case-Based Teaching},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {667-672},
  KEYWORDS = {}}

@inproceedings{Jones92AA,
  AUTHOR = {E. K. Jones},
  TITLE = {Model-Based Case Adaptation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {673-684},
  KEYWORDS = {}}

@inproceedings{Forbus:92AA,
  AUTHOR = {K. D. Forbus and B. Falkenheiner},
  TITLE = {Self-Explanatory Simulations: Scaling Up to Large Models},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {685-690},
  KEYWORDS = {}}

@inproceedings{Skorstad92AA,
  AUTHOR = {G. Skorstad},
  TITLE = {Towards a Qualitative Lagrangian Theory of Fluid Flow},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {691-696},
  KEYWORDS = {}}

@inproceedings{Wison:92AA,
  AUTHOR = {R. H Wison and J. C. Latombe},
  TITLE = {On the Qualitative Structure of a Mechanical Assembly},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {697-709},
  KEYWORDS = {}}

@inproceedings{Pandurang-Nayak:92AA,
  AUTHOR = {P. {Pandurang Nayak} and L. Joskowicz and S. Addanki},
  TITLE = {Automated Model Selection Using Context-Dependent Behaviors},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {710-716},
  KEYWORDS = {}}

@inproceedings{Bharat-Rao:92AA,
  AUTHOR = {R. {Bharat Rao} and S. C. Y. Lu},
  TITLE = {Learning Engineering Models with the Minimum Description Length Principle},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {717-722},
  KEYWORDS = {}}

@inproceedings{Richards:92AAa,
  AUTHOR = {B. L. Richards and I. Kraan and B. J. Kuipers},
  TITLE = {Automatic Abduction of Qualitative Models},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {723-728},
  KEYWORDS = {}}

@inproceedings{Bylander92AA,
  AUTHOR = {T. Bylander},
  TITLE = {Complexity Results for Serial Decomposability},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {729-734},
  KEYWORDS = {}}

@inproceedings{Dorn92AA,
  AUTHOR = {J. Dorn},
  TITLE = {Temporal Reasoning in Sequence Graphs},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {735-740},
  KEYWORDS = {}}

@inproceedings{Golumbic:92AA,
  AUTHOR = {M. C. Golumbic and R. Shamir},
  TITLE = {Algorithms and Complexity for Reasoning about Time},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {741-747},
  KEYWORDS = {}}

@inproceedings{Nebel:92AA,
  AUTHOR = {B. Nebel and C. B\"ackstr\"om},
  TITLE = {On the Computational Complexity of Temporal Projektion and Plan Validation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {748-753},
  KEYWORDS = {}}

@inproceedings{Cohen:92AA,
  AUTHOR = {W. W. Cohen and A. Borgida and H. Hirsh},
  TITLE = {Computing Least Common Subsumers in Description Logics},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {754-760},
  KEYWORDS = {}}

@inproceedings{Dionne:92AA,
  AUTHOR = {R. Dionne and E. Mays and F. J. Oles},
  TITLE = {A Non-Well-Founded Approach to Terminological Cycles},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {761-766},
  KEYWORDS = {}}

@inproceedings{Heinsohn:92AA,
  AUTHOR = {J. Heinsohn and D. Kudenko and B. Nebel and H. J. Profitlich},
  TITLE = {An Empirical Analysis of Terminological Representation Systems},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {767-773},
  KEYWORDS = {}}

@inproceedings{MacGregor:92AA,
  AUTHOR = {R. M. MacGregor and D. Brill},
  TITLE = {Recognition Algorithms for the Loom Classifier},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {774-779},
  KEYWORDS = {}}

@inproceedings{Kleer92AA,
  AUTHOR = {J. de Kleer},
  TITLE = {An Improved Incremental Algorithm for Generating Prime Implicates},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {780-785},
  KEYWORDS = {}}

@inproceedings{Kautz:92AA,
  AUTHOR = {H. Kautz and B. Selman},
  TITLE = {Forming Concepts for Fast Inference},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {786-793},
  KEYWORDS = {}}

@inproceedings{Stillman92AA,
  AUTHOR = {J. Stillman},
  TITLE = {The Complexity of Propositional Default Logics},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {794-799},
  KEYWORDS = {}}

@inproceedings{Bonasso:92AA,
  AUTHOR = {R. P. Bonasso and H. J. Antonisse and M. G. Slack},
  TITLE = {A Reactive Robot System for Find and Fetch Tasks in an Outdoor Environment},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {801-808},
  KEYWORDS = {}}

@inproceedings{Gat92AA,
  AUTHOR = {E. Gat},
  TITLE = {Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {809-815},
  KEYWORDS = {}}

@inproceedings{Lazanas:92AA,
  AUTHOR = {A. Lazanas and J. C. Latombe},
  TITLE = {Landmark-Based Robot Navigation},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {816-822},
  KEYWORDS = {}}

@inproceedings{Miller:92AA,
  AUTHOR = {D. P. Miller and R. S. Desai and E. Gat and R. Ivlev and J. Loch},
  TITLE = {Reactive Navigation through Rough Terrain: Experimental Results},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {823-828},
  KEYWORDS = {}}

@inproceedings{Doorenbos:92AA,
  AUTHOR = {B. Doorenbos and M. Tambe and A. Newell},
  TITLE = {Learning 10,000 Chunks: What's It Like Out There?},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {830-836},
  KEYWORDS = {}}

@inproceedings{Harris:92AA,
  AUTHOR = {N. L. Harris and L. Hunter and D. J. States},
  TITLE = {Mega-Classification: Discovering Motifs in Massive Datastreams},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {837-842},
  KEYWORDS = {}}

@inproceedings{Kitano:92AAa,
  AUTHOR = {H. Kitano and A. Shibata and H. Shimazu and J. Kajihara and A. Sato},
  TITLE = {Building Large-Scale Corporate-Wide Case-Based Systems: Integration of Organizational and Machine Executable Algorithms},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {843-849},
  KEYWORDS = {}}

@inproceedings{Kitano:92AAb,
  AUTHOR = {H. Kitano and M. Yasunaga},
  TITLE = {Wafer Scale Integration for Massively Parallel Memory-Based Reasoning},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {850-856},
  KEYWORDS = {}}

@inproceedings{Durfee92AA,
  AUTHOR = {E. H. Durfee},
  TITLE = {What Your Computer Really Needs to Know: You Learned in Kindergarten},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {858-864},
  KEYWORDS = {}}

@inproceedings{Hammond92AA,
  AUTHOR = {K. J. Hammond},
  TITLE = {Reasoning as Remembering: The Theory and Practice of CBR},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {865},
  KEYWORDS = {}}

@inproceedings{Hunter92AA,
  AUTHOR = {L. Hunter},
  TITLE = {Artificial Intelligence and Molecular Biology},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {866-868},
  KEYWORDS = {}}

@inproceedings{Cui:92AA,
  AUTHOR = {Z. Cui and A. G. Cohn and D. A. Randell},
  TITLE = {Qualitative Simulation Based on a Logical Formalism of Space and Time},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {679-684},
  KEYWORDS = {}}

@inproceedings{Pandurang-Nayak92AA,
  AUTHOR = {P. {Pandurang Nayak}},
  TITLE = {Causal Approximations},
  YEAR = 1992,
  BOOKTITLE = {Proc. of AAAI-92},
  ADDRESS = "San Jose, CA",
  PAGES = {703-709},
  KEYWORDS = {}}