LIDOS BibTeX Database File
aaai88.bib

@inproceedings{Steier:88AA,
  AUTHOR = {D. Steier and A. Newell},
  TITLE = {Integrating Multiple Sources of Knowledge into Designer-Soar, an Automatic Algorithm Designer},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {8-13},
  KEYWORDS = {progr}}

@inproceedings{Lowry88AA,
  AUTHOR = {M. R. Lowry},
  TITLE = {Invariant Logic: A Calculus for Problem Reformulation},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {14-18},
  KEYWORDS = {progr}}

@inproceedings{Fickas:88AA,
  AUTHOR = {S. Fickas and P. Nagarajan},
  TITLE = {Being Suspicious: Critiquing Problem Specifications},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {19-24},
  KEYWORDS = {progr}}

@inproceedings{Orelup:88AA,
  AUTHOR = {M. F. Orelup and J. R. Dixon and P. R. Cohen and M. K. Simmons},
  TITLE = {Dominic II: Meta-Level Control in Iterative Redesign},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {25-30},
  KEYWORDS = {progr}}

@inproceedings{Gelman:88AA,
  AUTHOR = {A. Gelman and S. Altman and M. Pallakoff and K. Doshi and C. Manago and T. C. Rindfleisch and B. G. Buchanan},
  TITLE = {FRM: An Intelligent Assistant for Financial Resource Management},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {31-36},
  KEYWORDS = {progr, know-repr}}

@inproceedings{Dechter:88AAa,
  AUTHOR = {R. Dechter and A. Dechter},
  TITLE = {Belief Maintenance in Dynamic Constraint Networks},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {37-42},
  KEYWORDS = {progr, know-repr}}

@inproceedings{Hogge88AA,
  AUTHOR = {J. C. Hogge},
  TITLE = {Prevention Techniques for a Temporal Planner},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {43-48},
  KEYWORDS = {plans}}

@inproceedings{Dean:88AAa,
  AUTHOR = {T. Dean and M. Boddy},
  TITLE = {An Analysis of Time-Dependent Planning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {49-54},
  KEYWORDS = {plans}}

@inproceedings{Pednault88AAb,
  AUTHOR = {E. P. D. Pednault},
  TITLE = {Extending Conventional Planning Techniques to Handle Actions with Context-Dependent Effects},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {55-59},
  KEYWORDS = {plans}}

@inproceedings{Pack-Kaelbling88AA,
  AUTHOR = {L. {Pack Kaelbling}},
  TITLE = {Goals as Parallel Program Specifications},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {60-65},
  KEYWORDS = {vision}}

@inproceedings{Durfee:88AA,
  AUTHOR = {E. H. Durfee and V. R. Lesser},
  TITLE = {Predictability versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {66-71},
  KEYWORDS = {plans}}

@inproceedings{Laffey:88AA,
  AUTHOR = {T. J. Laffey and S. M. Weitzenkamp and J. Y. Read and S. A. Kao and J. L. Schmidt},
  TITLE = {Intelligent Real-Time Monitoring},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {72-76},
  KEYWORDS = {plans}}

@inproceedings{Ow:88AA,
  AUTHOR = {P. S. Ow and S. F. Smith and A. Thiriez},
  TITLE = {Reactive Plan Revision},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {77-82},
  KEYWORDS = {plans}}

@inproceedings{Ambros-Ingerson:88AA,
  AUTHOR = {J. A. Ambros-Ingerson and S. Steel},
  TITLE = {Integrating Planning, Execution and Monitoring},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {83-88},
  KEYWORDS = {plans}}

@inproceedings{Winslett88AA,
  AUTHOR = {M. Winslett},
  TITLE = {Reasong about Action Using a Possible Models Approach},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {89-93},
  KEYWORDS = {plans}}

@inproceedings{Simmons88AA,
  AUTHOR = {R. G. Simmons},
  TITLE = {A Theory of Debugging Plans and Interpretations},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {94-99},
  KEYWORDS = {plans}}

@inproceedings{Anderson:88AA,
  AUTHOR = {J. S. Anderson and A. M. Farley},
  TITLE = {Plan Abstraction Based on Operator Generalization},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {100-104},
  KEYWORDS = {plans}}

@inproceedings{Maeda:88AA,
  AUTHOR = {Y. Maeda and K. Shinohara},
  TITLE = {Geometric Reasoning and Organized Optimization for Automated Process Planning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {105-110},
  KEYWORDS = {plans}}

@inproceedings{Horvitz88AA,
  AUTHOR = {E. J. Horvitz},
  TITLE = {Reasoning Under Varying and Uncertain Resource Constraints},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {111-116},
  KEYWORDS = {infer}}

@inproceedings{Bowen:88AA,
  AUTHOR = {J. Bowen and J. Kang},
  TITLE = {Conflict Resolution in Fuzzy Forward Chaining Production Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {117-121},
  KEYWORDS = {infer}}

@inproceedings{Kumar:88AA,
  AUTHOR = {V. Kumar and K. Ramesh and V. N. Rao},
  TITLE = {Parallel Best-First Search of State-Space Graphs: A Summary of Results},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {122-127},
  KEYWORDS = {}}

@inproceedings{Ferguson:88AA,
  AUTHOR = {C. Ferguson and R. E. Korf},
  TITLE = {Distributed Tree Search and its Application to Alpha-Beta Pruning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {128-132},
  KEYWORDS = {}}

@inproceedings{Bradtke:88AA,
  AUTHOR = {S. Bradtke and W. G. Lehnert},
  TITLE = {Some Experiments with Case-Based Search},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {133-138},
  KEYWORDS = {}}

@inproceedings{Korf88AA,
  AUTHOR = {R. E. Korf},
  TITLE = {Real-Time Heuristic Search: New Results},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {139-144},
  KEYWORDS = {}}

@inproceedings{Viswanathan:88AA,
  AUTHOR = {K. V. Viswanathan and A. Bagchi},
  TITLE = {An Exact Best-First Search Procedure for the Constrained Rectangular Guillotine Knapsack Problem},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {145-149},
  KEYWORDS = {}}

@inproceedings{Dechter:88AAb,
  AUTHOR = {R. Dechter and J. Pearl},
  TITLE = {Tree-Clustering Schemes for Constraint-Processing},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {150-154},
  KEYWORDS = {}}

@inproceedings{Zabih:88AA,
  AUTHOR = {R. Zabih and D. McAllester},
  TITLE = {A Rearrangement Search Strategy for Determining Propositional Satisfiability},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {155-160},
  KEYWORDS = {}}

@inproceedings{Miller:88AA,
  AUTHOR = {S. A. Miller and L. K. Schubert},
  TITLE = {Using Specialists to Accelerate General Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {161-165},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Dershowitz:88AA,
  AUTHOR = {N. Dershowitz and G. Sivakumar},
  TITLE = {Goal-Directed Equation Solving},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {166-170},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Groeneboer:88AA,
  AUTHOR = {C. Groeneboer and J. P. Delgrande},
  TITLE = {Tableau-Based Theorem Proving in Normal Conditional Logics},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {171-176},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Jackson:88AA,
  AUTHOR = {P. Jackson and H. Reichgelt},
  TITLE = {A General Proof Method for Modal Predicate Logic without the Barcan Formula},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {177-181},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Koff:88AA,
  AUTHOR = {C. N. Koff and N. S. Flann and T. G. Dietterich},
  TITLE = {An Efficient ATMS for Equivalence Relations},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {182-187},
  KEYWORDS = {infer}}

@inproceedings{Kleer88AA,
  AUTHOR = {J. de Kleer},
  TITLE = {A General Labeling Algorithm for Assumption-Based Truth Maintenance},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {188-192},
  KEYWORDS = {infer}}

@inproceedings{Forbus:88AA,
  AUTHOR = {K. D. Forbus and J. de Kleer},
  TITLE = {Focusing the ATMS},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {193-198},
  KEYWORDS = {infer}}

@inproceedings{Dixon:88AA,
  AUTHOR = {M. Dixon and J. de Kleer},
  TITLE = {Massively Parallel Assumption-Based Truth Maintenance},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {199-204},
  KEYWORDS = {infer}}

@inproceedings{Zarley:88AA,
  AUTHOR = {D. K. Zarley and Y.-T. Hsia and G. Shafer},
  TITLE = {Evidential Reasoning Using DELIEF},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {205-209},
  KEYWORDS = {infer}}

@inproceedings{Laskey:88AA,
  AUTHOR = {K. B. Laskey and P. E. Lehner},
  TITLE = {Belief Maintenance: An Integrated Approach to Uncertainty Management},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {210-214},
  KEYWORDS = {infer}}

@inproceedings{McLeish88AA,
  AUTHOR = {M. McLeish},
  TITLE = {A Note on Probabilistic Logic},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {215-219},
  KEYWORDS = {infer}}

@inproceedings{Lytinen:88AA,
  AUTHOR = {S. L. Lytinen and C. E. Moon},
  TITLE = {Learning a Second Language},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {222-226},
  KEYWORDS = {psych}}

@inproceedings{Reeves88AA,
  AUTHOR = {J. F. Reeves},
  TITLE = {Ethical Understanding: Recognizing and Using Belief Conflict in Narrative Processing},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {227-232},
  KEYWORDS = {psych}}

@inproceedings{Fisher88AA,
  AUTHOR = {D. H. Fisher},
  TITLE = {A Computational Account of Basic Level and Typicality Effects},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {233-238},
  KEYWORDS = {psych}}

@inproceedings{Ashley:88AA,
  AUTHOR = {K. D. Ashley and E. L. Rissland},
  TITLE = {Waiting on Weighting: A Symbolic Least Commitment Approach},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {239-244},
  KEYWORDS = {psych}}

@inproceedings{Sycara88AA,
  AUTHOR = {K. P. Sycara},
  TITLE = {Resolving Goal Conflicts via Negotiation},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {245-250},
  KEYWORDS = {psych}}

@inproceedings{Leake88AA,
  AUTHOR = {D. B. Leake},
  TITLE = {Evaluating Explanations},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {251-255},
  KEYWORDS = {psych}}

@inproceedings{Koton88AA,
  AUTHOR = {P. Koton},
  TITLE = {Reasoning about Evidence in Causal Explanations},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {256-261},
  KEYWORDS = {psych}}

@inproceedings{Williams88AA,
  AUTHOR = {B. C. Williams},
  TITLE = {MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {264-269},
  KEYWORDS = {infer}}

@inproceedings{Nielsen88AA,
  AUTHOR = {P. Nielsen},
  TITLE = {A Qualitative Approach to Mechanical Constraint},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {270-274},
  KEYWORDS = {infer}}

@inproceedings{Struss88AA,
  AUTHOR = {P. Struss},
  TITLE = {Global Filters for Qualitative Behaviors},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {275-279},
  KEYWORDS = {infer}}

@inproceedings{Yip88AA,
  AUTHOR = {K. M. Yip},
  TITLE = {Generating Global Behaviors Using Deep Knowledge of Local Dynamics},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {280-285},
  KEYWORDS = {infer}}

@inproceedings{Lee:88AA,
  AUTHOR = {W. W. Lee and B. J. Kuipers},
  TITLE = {Non-Intersection of Trajectories in Qualitative Phase Space: A Global Constraint for Qualitative Simulation},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {286-290},
  KEYWORDS = {infer}}

@inproceedings{Weld88AA,
  AUTHOR = {D. S. Weld},
  TITLE = {Exaggeration},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {291-295},
  KEYWORDS = {infer}}

@inproceedings{Murthy88AA,
  AUTHOR = {S. S. Murthy},
  TITLE = {Qualitative Reasoning at Multiple Resolutions},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {296-300},
  KEYWORDS = {infer}}

@inproceedings{Falkenhainer:88AA,
  AUTHOR = {B. Falkenhainer and K. D. Forbus},
  TITLE = {Setting up Large-Scale Qualitative Models},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {301-306},
  KEYWORDS = {infer}}

@inproceedings{Iwasaki:88AA,
  AUTHOR = {Y. Iwasaki and I. Bhandari},
  TITLE = {Formal Basis for Commonsense Abstraction of Dynamic Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {307-312},
  KEYWORDS = {infer}}

@inproceedings{Iwasaki88AA,
  AUTHOR = {Y. Iwasaki},
  TITLE = {Causal Ordering in a Mixed Structure},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {313-318},
  KEYWORDS = {infer}}

@inproceedings{Dormoy88AA,
  AUTHOR = {J.-L. Dormoy},
  TITLE = {Controlling Qualitative Resolution},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {319-323},
  KEYWORDS = {infer}}

@inproceedings{Kuipers:88AAb,
  AUTHOR = {B. Kuipers and D. Berleant},
  TITLE = {Using Incomplete Quantitative Knowledge in Qualitative Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {324-329},
  KEYWORDS = {infer}}

@inproceedings{Dormoy:88AA,
  AUTHOR = {J.-L. Dormoy and O. Raiman},
  TITLE = {Assembling a Device},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {330-335},
  KEYWORDS = {infer}}

@inproceedings{Talukdar:88AA,
  AUTHOR = {S. Talukdar and J. Rehg and R. Woodbury and A. Elfes},
  TITLE = {Upgrading Design Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {336-341},
  KEYWORDS = {infer}}

@inproceedings{Ulrich:88AA,
  AUTHOR = {K. T. Ulrich and W. P. Seering},
  TITLE = {Function Sharing in Mechanical Design},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {342-346},
  KEYWORDS = {infer}}

@inproceedings{Joskowicz:88AA,
  AUTHOR = {L. Joskowicz and S. Addanki},
  TITLE = {From Kinematics to Shape: An Approach to Innovative Design},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {347-352},
  KEYWORDS = {infer}}

@inproceedings{Pearce88AA,
  AUTHOR = {D. A. Pearce},
  TITLE = {The Introduction of Fault Diagnosis Systems from Qualitative Models},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {353-357},
  KEYWORDS = {infer}}

@inproceedings{Wu88AA,
  AUTHOR = {P. Wu},
  TITLE = {Design for Testability},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {358-363},
  KEYWORDS = {infer}}

@inproceedings{Reed:88AA,
  AUTHOR = {N. E. Reed and E. R. Stuck and J. B. Moen},
  TITLE = {Specialized Strategies: An Alternative to First Principles in Diagnostic Problem Solving},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {364-368},
  KEYWORDS = {infer}}

@inproceedings{Abbott88AA,
  AUTHOR = {K. H. Abbott},
  TITLE = {Robust Operative Diagnosis as Problem Solving in a Hypothesis Space},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {369-374},
  KEYWORDS = {infer}}

@inproceedings{Selfridge88AA,
  AUTHOR = {P. G. Selfridge},
  TITLE = {How to Print a File: An Expert System Approach to Software Knowledge Representation},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {380-385},
  KEYWORDS = {know-repr}}

@inproceedings{Searls88AA,
  AUTHOR = {D. B. Searls},
  TITLE = {Representing Genetic Information with Formal Grammars},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {386-391},
  KEYWORDS = {know-repr}}

@inproceedings{Van-Baalen:88AA,
  AUTHOR = {J. {Van Baalen} and R. Davis},
  TITLE = {Overview of an Approach to Representation Design},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {392-397},
  KEYWORDS = {know-repr}}

@inproceedings{Wellman:88AA,
  AUTHOR = {M. P. Wellman and R. G. Simmons},
  TITLE = {Mechanisms for Reasoning about Sets},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {398-402},
  KEYWORDS = {know-repr}}

@inproceedings{Mac-Gregor88AA,
  AUTHOR = {R. M. {Mac Gregor}},
  TITLE = {A Deductive Pattern Matcher},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {403-408},
  KEYWORDS = {know-repr, infer, sb-one}}

@inproceedings{Padgham88AA,
  AUTHOR = {L. Padgham},
  TITLE = {A Model and Representation for Type Information and its Use in Reasoning with Defaults},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {409-414},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Cohen:88AA,
  AUTHOR = {P. R. Cohen and C. L. Loiselle},
  TITLE = {Beyond ISA: Structures for Plausible Inference in Semantic Networks},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {415-420},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Haugh88AA,
  AUTHOR = {B. A. Haugh},
  TITLE = {Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {421-426},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Horty:88AA,
  AUTHOR = {J. F. Horty and R. H. Thomason},
  TITLE = {Mixing Strict and Defeasible Inheritance},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {427-432},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Touretzky:88AA,
  AUTHOR = {D. S. Touretzky and R. H. Thomason},
  TITLE = {Nonmonotonic Inheritance and Generic Reflexives},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {433-438},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Konolige88AA,
  AUTHOR = {K. Konolige},
  TITLE = {Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {439-443},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Przymusinski88AA,
  AUTHOR = {T. C. Przymusinski},
  TITLE = {On the Relationship between Logic Programming and Non-Monotonic Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {444-448},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Geffner88AA,
  AUTHOR = {H. Geffner},
  TITLE = {On the Logic of Defaults},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {449-454},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Gelfond:88AA,
  AUTHOR = {M. Gelfond and V. Lifschitz},
  TITLE = {Compiling Circumscriptive Theories into Logic Programs: Preliminary Report},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {455-459},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Yuan:88AA,
  AUTHOR = {L. Y. Yuan and C. H. Wang},
  TITLE = {On Reducing Parallel Circumscription},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {460-464},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Kolaitis:88AA,
  AUTHOR = {P. G. Kolaitis and C. H. Papadimitriou},
  TITLE = {Some Computational Aspects of Circumscription},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {465-469},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Ginsberg88AAa,
  AUTHOR = {M. L. Ginsberg},
  TITLE = {A Circumscriptive Theorem Prover: Preliminary Report},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {470-474},
  KEYWORDS = {know-repr, infer}}

@inproceedings{Dalal88AA,
  AUTHOR = {M. Dalal},
  TITLE = {Investigations into a Theory of Knowledge Base Revision: Preliminary Report},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {475-479},
  KEYWORDS = {th-prov}}

@inproceedings{Bonner88AA,
  AUTHOR = {A. J. Bonner},
  TITLE = {A Logic for Hypothetical Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {480-484},
  KEYWORDS = {th-prov}}

@inproceedings{Patel-Schneider88AA,
  AUTHOR = {P. F. Patel-Schneider},
  TITLE = {Adding Number Restrictions to a Four-Valued Terminological Logic},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {485-490},
  KEYWORDS = {th-prov}}

@inproceedings{Catach88AA,
  AUTHOR = {L. Catach},
  TITLE = {Normal Multimodal Logics},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {491-495},
  KEYWORDS = {th-prov}}

@inproceedings{Myers:88AA,
  AUTHOR = {K. L. Myers and D. E. Smith},
  TITLE = {The Persistence of Derived Information},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {496-500},
  KEYWORDS = {th-prov}}

@inproceedings{Hanks88AA,
  AUTHOR = {S. Hanks},
  TITLE = {Representing and Computing Temporally Scoped Beliefs},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {501-505},
  KEYWORDS = {th-prov}}

@inproceedings{Morris88AA,
  AUTHOR = {P. Morris},
  TITLE = {Stable Closures Defeasible Logic and Contradiction Tolerant Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {506-511},
  KEYWORDS = {th-prov}}

@inproceedings{Ladkin88AA,
  AUTHOR = {P. B. Ladkin},
  TITLE = {Satisfying First-Order Constraints about Time Intervals},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {512-517},
  KEYWORDS = {th-prov}}

@inproceedings{Morgenstern:88AA,
  AUTHOR = {L. Morgenstern and L. A. Stein},
  TITLE = {Why Things Go Wrong: A Formal Theory of Causal Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {518-523},
  KEYWORDS = {th-prov}}

@inproceedings{Dean:88AAb,
  AUTHOR = {T. Dean and K. Kanazawa},
  TITLE = {Probabilistic Temporal Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {524-528},
  KEYWORDS = {th-prov}}

@inproceedings{Falkenhainer88AA,
  AUTHOR = {B. Falkenhainer},
  TITLE = {The Utility of Difference-Based Reasoning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {530-535},
  KEYWORDS = {know-acq}}

@inproceedings{Hammond:88AA,
  AUTHOR = {K. Hammond and T. Converse and M. Marks},
  TITLE = {Learning from Opportunities: Storing and Re-Using Execution-Time Optimizations},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {536-540},
  KEYWORDS = {know-acq}}

@inproceedings{Barletta:88AA,
  AUTHOR = {R. Barletta and W. Mark},
  TITLE = {Explanation-Based Indexing of Cases},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {541-546},
  KEYWORDS = {know-acq}}

@inproceedings{Roy:88AA,
  AUTHOR = {S. Roy and J. Mostow},
  TITLE = {Parsing to Learn Fine Grained Rules},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {547-551},
  KEYWORDS = {know-acq}}

@inproceedings{Buchanan:88AA,
  AUTHOR = {B. G. Buchanan and J. Sullivan and T.-P. Cheng and S. H. Clearwater},
  TITLE = {Simulation-Assisted Inductive Learning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {552-557},
  KEYWORDS = {know-acq}}

@inproceedings{Ammon88AA,
  AUTHOR = {K. Ammon},
  TITLE = {The Automatic Acquisition of Proof Methods},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {558-563},
  KEYWORDS = {know-acq}}

@inproceedings{Minton88AA,
  AUTHOR = {S. Minton},
  TITLE = {Quantitative Results Concerning the Utility of Explanation-Based Learning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {564-569},
  KEYWORDS = {know-acq}}

@inproceedings{Ellman88AA,
  AUTHOR = {T. Ellman},
  TITLE = {Approximate Theory Formation: An Explanation-Based Approach},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {570-574},
  KEYWORDS = {know-acq}}

@inproceedings{Braverman:88AA,
  AUTHOR = {M. S. Braverman and S. J. Russell},
  TITLE = {IMEX: Overcoming Intractability in Explanation-Based Learning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {575-579},
  KEYWORDS = {know-acq}}

@inproceedings{Amsterdam88AA,
  AUTHOR = {J. Amsterdam},
  TITLE = {Some Philosophical Problems with Formal Learning Theory},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {580-584},
  KEYWORDS = {know-acq}}

@inproceedings{Ginsberg88AAb,
  AUTHOR = {A. Ginsberg},
  TITLE = {Knowledge-Base Reduction: A New Approach to Checking Knowledge Bases for Inconsistency and Redundancy},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {585-589},
  KEYWORDS = {know-acq}}

@inproceedings{Ginsberg88AAc,
  AUTHOR = {A. Ginsberg},
  TITLE = {Theory Revision via Prior Operationalization},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {590-595},
  KEYWORDS = {know-acq}}

@inproceedings{Grefenstette88AA,
  AUTHOR = {J. J. Grefenstette},
  TITLE = {Credit Assignment in Genetic Learning Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {596-600},
  KEYWORDS = {know-acq}}

@inproceedings{Utgoff88AA,
  AUTHOR = {P. E. Utgoff},
  TITLE = {Perceptron Trees: A Case Study in Hybrid Concept Representations},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {601-606},
  KEYWORDS = {know-acq}}

@inproceedings{Cheeseman:88AA,
  AUTHOR = {P. Cheeseman and M. Self and J. Kelly and W. Taylor and D. Freeman and J. Stutz},
  TITLE = {Bayesian Classification},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {607-611},
  KEYWORDS = {know-acq}}

@inproceedings{Berzuini88AA,
  AUTHOR = {C. Berzuini},
  TITLE = {Combining Symbolic Learning Techniques and Statistical Regression Analysis},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {612-617},
  KEYWORDS = {know-acq}}

@inproceedings{Laird88AA,
  AUTHOR = {J. Laird},
  TITLE = {Recovery from Incorrect Knowledge in Soar},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {618-623},
  KEYWORDS = {know-acq}}

@inproceedings{Pednault88AAa,
  AUTHOR = {E. P. D. Pednault},
  TITLE = {Inferring Probabilistic Theories from Data},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {624-628},
  KEYWORDS = {know-acq}}

@inproceedings{Valiant88AA,
  AUTHOR = {L. G. Valiant},
  TITLE = {Functionality in Neural Nets},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {629-634},
  KEYWORDS = {know-acq}}

@inproceedings{Rivest:88AA,
  AUTHOR = {R. L. Rivest and R. Sloan},
  TITLE = {Learning Complicated Concepts Reliably and Usefully (Extended Abstract)},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {635-641},
  KEYWORDS = {know-acq}}

@inproceedings{Russell88AA,
  AUTHOR = {S. J. Russell},
  TITLE = {Tree-Structured Bias},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {641-645},
  KEYWORDS = {know-acq}}

@inproceedings{Wilkins88AA,
  AUTHOR = {D. C. Wilkins},
  TITLE = {Knowledge Base Refinement Using Apprenticeship Learning Techniques},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {646-651},
  KEYWORDS = {know-acq}}

@inproceedings{Shrobe:88AA,
  AUTHOR = {H. E. Shrobe and J. G. Aspinall and N. L. Mayle},
  TITLE = {Towards a Virtual Parallel Inference Engine},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {654-659},
  KEYWORDS = {progr}}

@inproceedings{Van-Hentenryck:88AA,
  AUTHOR = {P. {Van Hentenryck} and J.-P. Carillon},
  TITLE = {Generality versus Specificity: An Experience with AI and OR Techniques},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {660-664},
  KEYWORDS = {progr}}

@inproceedings{Sharma:88AA,
  AUTHOR = {D. D. Sharma and N. S. Sridharan},
  TITLE = {Knowledge-Based Real-Time Control: A Parallel Processing Perspective},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {665-670},
  KEYWORDS = {progr}}

@inproceedings{Corkill:88AA,
  AUTHOR = {D. D. Corkill and K. Q. Gallagher},
  TITLE = {Tuning a Blackboard-Based Application: A Case Study Using GBB},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {671-676},
  KEYWORDS = {progr}}

@inproceedings{Kale88AA,
  AUTHOR = {L. V. Kale},
  TITLE = {A Tree Representation for Parallel Problem Solving},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {677-681},
  KEYWORDS = {progr}}

@inproceedings{Swain:88AA,
  AUTHOR = {M. J. Swain and P. R. Cooper},
  TITLE = {Parallel Hardware for Constraint Satisfaction},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {682-686},
  KEYWORDS = {progr}}

@inproceedings{Gupta:88AA,
  AUTHOR = {A. Gupta and M. Tambe},
  TITLE = {Suitability of Message Passing Computers for Implementing Production Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {687-692},
  KEYWORDS = {infer}}

@inproceedings{Nayak:88AA,
  AUTHOR = {P. Nayak and A. Gupta and P. Rosenbloom},
  TITLE = {Comparison of the Rete and Treat Production Matchers for Soar ( A Summary)},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {693-698},
  KEYWORDS = {infer}}

@inproceedings{Ishida88AA,
  AUTHOR = {T. Ishida},
  TITLE = {Optimizing Rules in Production System Programs},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {699-704},
  KEYWORDS = {infer}}

@inproceedings{Barachini:88AA,
  AUTHOR = {F. Barachini and N. Theuretzbacher},
  TITLE = {The Challenge of Real-Time Process Control for Production Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {705-709},
  KEYWORDS = {infer}}

@inproceedings{Harper88AA,
  AUTHOR = {M. P. Harper},
  TITLE = {Representing Pronouns in Logical Form: Computational Constraints and Linguistic Evidence},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {712-717},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Epstein88AA,
  AUTHOR = {S. S. Epstein},
  TITLE = {Principle-Based Interpretation of Natural Language Quantifiers},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {718-723},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Tombabechi:88AA,
  AUTHOR = {H. Tombabechi and M. Tomita},
  TITLE = {The Integration of Unification-Based Syntax/Semantics and Memory-Based Pragmatics for Real-Time Understanding of Noisy Continuous Speech Input},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {724-728},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Hauptmann:88AA,
  AUTHOR = {A. G. Hauptmann and S. R. Young and W. H. Ward},
  TITLE = {Using Dialog-Level Knowledge Sources to Improve Speech Recognition},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {729-733},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{De-Mori:88AA,
  AUTHOR = {R. {De Mori} and Y. Bengio and R. Cardin},
  TITLE = {Data-Driven Execution of Multi-Layered Networks for Automatic Speech Recognition},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {734-738},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Jacobs:88AA,
  AUTHOR = {P. Jacobs and U. Zernik},
  TITLE = {Acquiring Lexical Knowledge from Text: A Case Study},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {739-744},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Song:88AA,
  AUTHOR = {F. Song and R. Cohen},
  TITLE = {The Interpretation of Temporal Relations in Narrative},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {745-750},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Moerdler:88AA,
  AUTHOR = {G. D. Moerdler and K. R. McKeown},
  TITLE = {Beyond Semantic Ambiguity},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {751-755},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Chin88AA,
  AUTHOR = {D. N. Chin},
  TITLE = {Exploiting User Expertise in Answer Expression},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {756-760},
  KEYWORDS = {n-l-p, ling, user-mod}}

@inproceedings{Buckley88AA,
  AUTHOR = {S. J. Buckley},
  TITLE = {Compliance Viewed as Programming a Damped Spring},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {762-767},
  KEYWORDS = {robot}}

@inproceedings{Stansfield88AA,
  AUTHOR = {S. A. Stansfield},
  TITLE = {Reasoning about Grasping},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {768-773},
  KEYWORDS = {robot}}

@inproceedings{Kuipers:88AAa,
  AUTHOR = {B. J. Kuipers and Y.-T. Byun},
  TITLE = {A Robust, Qualitative Method for Robot Spatial Learning},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {774-779},
  KEYWORDS = {robot}}

@inproceedings{Boneschanscher:88AA,
  AUTHOR = {N. Boneschanscher and H. van der Drift and S. J. Buckley and R. H. Taylor},
  TITLE = {Subassembly Stability},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {780-785},
  KEYWORDS = {robot}}

@inproceedings{Davis88AA,
  AUTHOR = {E. Davis},
  TITLE = {Inferring Ignorance from the Locality of Visual Perception},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {786-790},
  KEYWORDS = {robot}}

@inproceedings{Pabon:88AA,
  AUTHOR = {J. Pabon and D. Gossard},
  TITLE = {Connectionist Networks for Learning Coordinated Motion in Autonomous Systems},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {791-795},
  KEYWORDS = {robot}}

@inproceedings{Horswill:88AA,
  AUTHOR = {I. D. Horswill and R. A. Brooks},
  TITLE = {Situated Vision in a Dynamic World: Chasing Objects},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {796-800},
  KEYWORDS = {robot}}

@inproceedings{Fischer:88AA,
  AUTHOR = {G. Fischer and C. Rathke},
  TITLE = {Knowledge-Based Spreadsheets},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {802-807},
  KEYWORDS = {}}

@inproceedings{Arens:88AA,
  AUTHOR = {Y. Arens and L. Miller and S. C. Shapiro and N. K. Sondheimer},
  TITLE = {Automatic Construction of User-Interface Displays},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {808-813},
  KEYWORDS = {}}

@inproceedings{Yen:88AA,
  AUTHOR = {J. Yen and R. Neches and M. DeBellis},
  TITLE = {Specification by Reformulation: A Paradigm for Building Integrated User Support Environments},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {814-818},
  KEYWORDS = {}}

@inproceedings{Neal:88AA,
  AUTHOR = {J. G. Neal and Z. Dobes and K. E. Bettinger. J. S. Byoun},
  TITLE = {Multi-Modal References in Human-Computer Dialogue},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {819-823},
  KEYWORDS = {}}

@inproceedings{Pentland88AA,
  AUTHOR = {A. Pentland},
  TITLE = {On the Extraction of Shape Information from Shading},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {826-830},
  KEYWORDS = {vision}}

@inproceedings{Califano88AA,
  AUTHOR = {A. Califano},
  TITLE = {Feature Recognition Using Correlated Information Contained in Multiple Neighborhoods},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {831-836},
  KEYWORDS = {vision}}

@inproceedings{Wang:88AA,
  AUTHOR = {C.-H. Wang and P. W. Palumbo and S. N. Srihari},
  TITLE = {Performance of a System to Locate Address Blocks on Mail Pieces},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {837-841},
  KEYWORDS = {vision}}

@inproceedings{Brodie88AA,
  AUTHOR = {M. L. Brodie},
  TITLE = {Future Intelligent Information Systems: AI and Database Technologies Working Together},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {844-845},
  KEYWORDS = {}}

@inproceedings{Cohen88AA,
  AUTHOR = {H. Cohen},
  TITLE = {How to Draw Three People in a Botanical Garden},
  YEAR = 1988,
  BOOKTITLE = {Proc. of AAAI-88},
  ADDRESS = "St. Paul, MN",
  PAGES = {846-855},
  KEYWORDS = {vision}}