LIDOS BibTeX Database File
aaai87.bib

@inproceedings{Billstrom:87AA,
  AUTHOR = {D. Billstrom and J. Brandenburg and J. Teeter},
  TITLE = {CCLISP on the iPSC Concurrent Computer},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {7-12},
  KEYWORDS = {progr}}

@inproceedings{Cheng:87AA,
  AUTHOR = {P. D. Cheng and J. Y. Juang},
  TITLE = {Parallel Resolution Procedure Based on Connection Graph},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {13-17},
  KEYWORDS = {progr}}

@inproceedings{Corkill:87AA,
  AUTHOR = {D. D. Corkill and K. Q. Gallagher and P. M. Johnson},
  TITLE = {Archieving Flexibility, Efficiency, and Generality in Blackboard Architectures},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {18-23},
  KEYWORDS = {progr}}

@inproceedings{Flann:87AA,
  AUTHOR = {N. S. Flann and T. G. Dietterich and D. R. Corpron},
  TITLE = {Forward Chaining Logic Programming with the ATMS},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {24-29},
  KEYWORDS = {progr}}

@inproceedings{Johnson:87AA,
  AUTHOR = {M. V. Johnson and B. Hayes-Roth},
  TITLE = {Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {30-35},
  KEYWORDS = {progr}}

@inproceedings{Kelly:87AAa,
  AUTHOR = {M. A. Kelly and R. E. Seviora},
  TITLE = {A Multiprocessor Architecture for Production System Matching},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {36-41},
  KEYWORDS = {progr}}

@inproceedings{Miranker87AA,
  AUTHOR = {D. P. Miranker},
  TITLE = {Treat: A Better Match Algorithm for AI Production Systems},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {42-47},
  KEYWORDS = {progr}}

@inproceedings{Rowley:87AA,
  AUTHOR = {S. Rowley and H. Shrobe and R. Cassels and W. Hamscher},
  TITLE = {Joshua: Uniform Access to Heterogeneous Knowledge Structures or Why Joshing is Better than Conniving or Planning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {48-52},
  KEYWORDS = {progr}}

@inproceedings{Saraswat87AA,
  AUTHOR = {V. A. Saraswat},
  TITLE = {CP as a General-Purpose Constraint-Language},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {53-58},
  KEYWORDS = {progr}}

@inproceedings{Zabih:87AA,
  AUTHOR = {R. Zabih and D. McAllester and D. Chapman},
  TITLE = {Non-Deterministic Lisp with Dependency-Directed Backtracking},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {59-64},
  KEYWORDS = {progr}}

@inproceedings{Servan-Schreiber87AA,
  AUTHOR = {D. Servan-Schreiber},
  TITLE = {From Intelligent Tutoring to Computerized Psychotherapy},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {66-71},
  KEYWORDS = {}}

@inproceedings{Swigger:87AA,
  AUTHOR = {K. Swigger and H. Burns and H. Loveland and T. Jackson},
  TITLE = {An Intelligent Tutoring System for Interpreting Ground Tracks},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {72-76},
  KEYWORDS = {}}

@inproceedings{Visetti:87AA,
  AUTHOR = {Y. M. Visetti and P. Dague},
  TITLE = {Plan Inference and Student Modeling in ICAI},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {77-81},
  KEYWORDS = {}}

@inproceedings{Woolf:87AA,
  AUTHOR = {B. Woolf and P. Cunningham},
  TITLE = {Building a Community Memory for Intelligent Tutoring Systems},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {82-87},
  KEYWORDS = {}}

@inproceedings{Abramson:87AA,
  AUTHOR = {B. Abramson and R. E. Korf},
  TITLE = {A Model of Two-Player Evaluation Functions},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {90-94},
  KEYWORDS = {}}

@inproceedings{BoyDeLaTour:87AA,
  AUTHOR = {T. {Boy de la Tour} and R. Caferra},
  TITLE = {Proof Analogy in Interactive Theorem Proving: A Method to Express and Use it Via Second Order Pattern Matching},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {95-99},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Chi:87AA,
  AUTHOR = {P.-C. Chi and D. S. Nau},
  TITLE = {Comparing Minimax and Product in a Variety of Games},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {100-104},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Dechter:87AA,
  AUTHOR = {A. Dechter and R. Dechter},
  TITLE = {Removing Redundancies in Constraint Networks},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {105-109},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Garvey:87AA,
  AUTHOR = {A. Garvey and C. Cornelius and B. Hayes-Roth},
  TITLE = {Computational Costs versus Benefits of Control Reasoning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {110-115},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Gumb87AA,
  AUTHOR = {R. D. Gumb},
  TITLE = {Filming a Terrain under Uncertainty Using Temporal and Probabilistic Reasoning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {116-120},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Heckerman:87AA,
  AUTHOR = {D. E. Heckerman and E. J. Horvitz},
  TITLE = {On the Expressiveness of Rule-Based Systems for Reasoning with Uncertainty},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {121-126},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Kelly:87AAb,
  AUTHOR = {V. E. Kelly and U. Nonnenmann},
  TITLE = {Inferring Formal Software Specifications from Episodic Descriptions},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {127-132},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Korf87AA,
  AUTHOR = {R. E. Korf},
  TITLE = {Real-Time Heuristic Search: First Results},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {133-138},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Lin87AA,
  AUTHOR = {F. Lin},
  TITLE = {Reasoning in the Presence of Inconsistency},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {139-143},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Liu:87AA,
  AUTHOR = {P. Liu and R.-J. Chang},
  TITLE = {A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {144-148},
  KEYWORDS = {th-prov, infer}}

@inproceedings{McCartney87AA,
  AUTHOR = {R. D. McCartney},
  TITLE = {Synthesizing Algorithms with Performance Constraints},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {149-154},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Manna:87AA,
  AUTHOR = {Z. Manna and R. Waldinger},
  TITLE = {The Deductive Synthesis of Imperative LISP Programs},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {155-160},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Murray:87AA,
  AUTHOR = {N. V. Murray and E. Rosenthal},
  TITLE = {Path Dissolution: A Strongly Complete Rule of Inference},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {161-166},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Petrie87AA,
  AUTHOR = {C. J. Petrie},
  TITLE = {Revised Dependency-Directed Backtracking for Default Reasoning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {167-172},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Provan87AA,
  AUTHOR = {G. M. Provan},
  TITLE = {Efficiency Analysis of Multiple-Context TMSs in Scene Representation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {173-177},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Rao:87AA,
  AUTHOR = {V. N. Rao and V. Kumar and K. Ramesh},
  TITLE = {A Parallel Implementation of Iterative-Deepening-A},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {178-182},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Reiter87AA,
  AUTHOR = {R. Reiter},
  TITLE = {Found Ations of Assumption-Based Truth Maintenance Systems: Preliminary Report},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {183-188},
  KEYWORDS = {th-prov, infer}}

@inproceedings{Broverman:87AA,
  AUTHOR = {C. A. Broverman and W. B. Croft},
  TITLE = {Reasoning about Exceptions During Plan Execution Monitoring},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {190-195},
  KEYWORDS = {plans}}

@inproceedings{Dean:87AA,
  AUTHOR = {T. Dean and M. Boddy},
  TITLE = {Incremental Causal Reasoning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {196-201},
  KEYWORDS = {plans}}

@inproceedings{Firby87AA,
  AUTHOR = {R. J. Firby},
  TITLE = {An Investigation into Reactive Planning in Complex Domains},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {202-206},
  KEYWORDS = {plans}}

@inproceedings{Gelfond87AA,
  AUTHOR = {M. Gelfond},
  TITLE = {On Stratified Autoepistemic Theories},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {207-211},
  KEYWORDS = {plans}}

@inproceedings{Ginsberg:87AA,
  AUTHOR = {M. L. Ginsberg and D. E. Smith},
  TITLE = {Possible Worlds and the Qualification Problem},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {212-217},
  KEYWORDS = {plans}}

@inproceedings{Haugh87AA,
  AUTHOR = {B. A. Haugh},
  TITLE = {Simple Causal Minimizations for Temporal Persistence and Projection},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {218-223},
  KEYWORDS = {plans}}

@inproceedings{Hayes87AA,
  AUTHOR = {C. Hayes},
  TITLE = {Using Goal Interactions to Guide Planning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {224-228},
  KEYWORDS = {plans, user-mod}}

@inproceedings{Hogge87AA,
  AUTHOR = {J. C. Hogge},
  TITLE = {Compiling Plan Operators from Domains Expressed in Qualitative Process Theory},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {229-233},
  KEYWORDS = {plans}}

@inproceedings{Ladkin87AA,
  AUTHOR = {P. Ladkin},
  TITLE = {Models of Axioms for Time Intervals},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {234-239},
  KEYWORDS = {plans}}

@inproceedings{Lansky:87AA,
  AUTHOR = {A. L. Lansky and D. S. Fogelsong},
  TITLE = {Localized Representation and Planning Methods for Parallel Domains},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {240-245},
  KEYWORDS = {plans}}

@inproceedings{Pelavin:87AA,
  AUTHOR = {R. N. Pelavin and J. F. Allen},
  TITLE = {A Model for Concurrent Actions Having Temporal Extent},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {246-250},
  KEYWORDS = {plans}}

@inproceedings{Tsang87AA,
  AUTHOR = {E. P. K. Tsang},
  TITLE = {The Consistent Labeling Problem in Temporal Reasoning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {251-255},
  KEYWORDS = {plans}}

@inproceedings{Valde87AA,
  AUTHOR = {R. E. Valde's-Pe'rez},
  TITLE = {The Satisfiability of Temporal Constraint Network},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {256-260},
  KEYWORDS = {plans}}

@inproceedings{Winslett87AA,
  AUTHOR = {M. Winslett},
  TITLE = {Validating Generalized Plans in the Presence of Incomplete Information},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {261-266},
  KEYWORDS = {plans}}

@inproceedings{Agre:87AA,
  AUTHOR = {P. E. Agre and D. Chapman},
  TITLE = {Pengi: An Implementation of a Theory of Activity},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {268-272},
  KEYWORDS = {psych}}

@inproceedings{Ashley:87AA,
  AUTHOR = {K. D. Ashley and E. L. Rissland},
  TITLE = {Compare and Contrast, A Test of Expertise},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {273-278},
  KEYWORDS = {psych}}

@inproceedings{Ballard87AA,
  AUTHOR = {D. H. Ballard},
  TITLE = {Modular Learning in Neural Networks},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {279-284},
  KEYWORDS = {psych}}

@inproceedings{Chen:87AA,
  AUTHOR = {H. Chen and V. Dhar},
  TITLE = {Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {285-289},
  KEYWORDS = {psych}}

@inproceedings{Drescher87AA,
  AUTHOR = {G. L. Drescher},
  TITLE = {A Mechanism for Early Piagetian Learning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {290-294},
  KEYWORDS = {psych}}

@inproceedings{Kass:87AA,
  AUTHOR = {R. Kass and T. Finin},
  TITLE = {Rules for the Implicit Acquisition of Knowledge about the User},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {295-300},
  KEYWORDS = {psych, user-mod}}

@inproceedings{Lehnert87AA,
  AUTHOR = {W. G. Lehnert},
  TITLE = {Case-Based Problem Solving with a Large Knowledge Base of Learned Cases},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {301-306},
  KEYWORDS = {psych}}

@inproceedings{Parunak:87AA,
  AUTHOR = {H. V. D. Parunak and J. Kindrick and B. Irish},
  TITLE = {Material Handling: A Conservative Domain for Neural Connectivity and Propagation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {307-311},
  KEYWORDS = {psych}}

@inproceedings{Ram87AA,
  AUTHOR = {A. Ram},
  TITLE = {AQUA: Asking Questions and Understanding Answers},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {312-316},
  KEYWORDS = {psych}}

@inproceedings{Rau87AA,
  AUTHOR = {L. F. Rau},
  TITLE = {Information Retrieval from Never-Ending Stories},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {317-321},
  KEYWORDS = {psych}}

@inproceedings{Skorstad:87AA,
  AUTHOR = {J. Skorstad and B. Falkenhainer and D. Gentner},
  TITLE = {Analogical Processing: A Simulation and Empirical Corroboration},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {322-326},
  KEYWORDS = {psych}}

@inproceedings{Zukerman87AA,
  AUTHOR = {I. Zukerman},
  TITLE = {Goal-Based Generation of Motivational Expressions in a Learning Environment},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {327-331},
  KEYWORDS = {psych}}

@inproceedings{Borchardt87AA,
  AUTHOR = {G. C. Borchardt},
  TITLE = {Incremental Inference: Getting Multiple Agents to Agree on What to Do Next},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {334-339},
  KEYWORDS = {infer}}

@inproceedings{Delgrande87AA,
  AUTHOR = {J. P. Delgrande},
  TITLE = {An Approach to Default Reasoning Based on a First-Order Conditional Logic},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {340-345},
  KEYWORDS = {infer}}

@inproceedings{Derthick87AA,
  AUTHOR = {M. Derthick},
  TITLE = {Counterfactual Reasoning with Direct Models},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {346-351},
  KEYWORDS = {infer}}

@inproceedings{Etherington87AA,
  AUTHOR = {D. W. Etherington},
  TITLE = {More On Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {352-357},
  KEYWORDS = {infer}}

@inproceedings{Horty:87AA,
  AUTHOR = {J. F. Horty and R. H. Thomason and D. S. Touretzky},
  TITLE = {A Skeptical Theory of Inheritance in Nonmonotonic Semantic Network},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {358-363},
  KEYWORDS = {infer}}

@inproceedings{Lifschitz87AA,
  AUTHOR = {V. Lifschitz},
  TITLE = {Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation (Preliminary Report)},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {364-368},
  KEYWORDS = {infer}}

@inproceedings{Pearl87AA,
  AUTHOR = {J. Pearl},
  TITLE = {Embracing Causality in Formal Reasoning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {369-373},
  KEYWORDS = {infer}}

@inproceedings{Pearl:87AA,
  AUTHOR = {J. Pearl and T. Verma},
  TITLE = {The Logic of Representing Dependencies by Directed Graphs},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {374-379},
  KEYWORDS = {infer}}

@inproceedings{Seet87AA,
  AUTHOR = {C. H. Seet},
  TITLE = {Default Reasoning Through Belief Revision Strategy},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {380-384},
  KEYWORDS = {infer}}

@inproceedings{Zadrozny87AA,
  AUTHOR = {W. W. Zadrozny},
  TITLE = {A Theory of Default Reasoning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {385-390},
  KEYWORDS = {infer}}

@inproceedings{Allard:87AA,
  AUTHOR = {J. R. Allard and W. F. Kaemmerer},
  TITLE = {The Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {394-398},
  KEYWORDS = {know-repr}}

@inproceedings{Altman:87AA,
  AUTHOR = {R. B. Altman and B. G. Buchanan},
  TITLE = {Partial Compilation of Strategic Knowledge},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {399-404},
  KEYWORDS = {know-repr}}

@inproceedings{Chow87AA,
  AUTHOR = {E.-C. Chow},
  TITLE = {Representing Databases in Frames},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {405-409},
  KEYWORDS = {know-repr}}

@inproceedings{Cohen:87AAb,
  AUTHOR = {P. R. Cohen and H. J. Levesque},
  TITLE = {Intention = Choice + Commitment},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {410-415},
  KEYWORDS = {know-repr}}

@inproceedings{Galloway87AA,
  AUTHOR = {T. Y. Galloway},
  TITLE = {TAXI: A Taxonomic Assistant},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {416-420},
  KEYWORDS = {know-repr}}

@inproceedings{Goel:87AA,
  AUTHOR = {A. Goel and N. Soundararajan and B. Chandrasekaran},
  TITLE = {Complexity in Classificatory Reasoning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {421-425},
  KEYWORDS = {know-repr}}

@inproceedings{Levesque87AA,
  AUTHOR = {H. J. Levesque},
  TITLE = {All I Know: An Abridged Report},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {426-431},
  KEYWORDS = {know-repr}}

@inproceedings{Lowry87AA,
  AUTHOR = {M. R. Lowry},
  TITLE = {Algorith Synthesis through Problem Reformulation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {432-436},
  KEYWORDS = {know-repr}}

@inproceedings{Morris87AA,
  AUTHOR = {P. Morris},
  TITLE = {Curing Anomalous Extensions},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {437-442},
  KEYWORDS = {know-repr}}

@inproceedings{Nado:87AA,
  AUTHOR = {R. Nado and R. Fikes},
  TITLE = {Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {443-448},
  KEYWORDS = {know-repr, sb-one}}

@inproceedings{Nutter87AA,
  AUTHOR = {J. T. Nutter},
  TITLE = {Assimilation: A Stategy for Implementing Self-Reorganizing Knowledge Bases},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {449-453},
  KEYWORDS = {know-repr}}

@inproceedings{Connell:87AA,
  AUTHOR = {M. E. Connell and P. E. Utgoff},
  TITLE = {Learning to Control a Dymamic Physical System},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {456-460},
  KEYWORDS = {know-acq}}

@inproceedings{Fisher87AA,
  AUTHOR = {D. Fisher},
  TITLE = {Improving Inference Through Conceptual Clustering},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {461-465},
  KEYWORDS = {know-acq}}

@inproceedings{Haussler87AA,
  AUTHOR = {D. Haussler},
  TITLE = {Learning Conjunctive Concepts in Structural Domains},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {466-470},
  KEYWORDS = {know-acq}}

@inproceedings{Henrion:87AA,
  AUTHOR = {M. Henrion and D. R. Cooley},
  TITLE = {An Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision Analysis},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {471-476},
  KEYWORDS = {know-acq}}

@inproceedings{Kedar-Cabelli87AA,
  AUTHOR = {S. T. Kedar-Cabelli},
  TITLE = {Formulating Concepts According to Purpose},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {477-481},
  KEYWORDS = {know-acq}}

@inproceedings{Keller87AA,
  AUTHOR = {R. M. Keller},
  TITLE = {Defining Operationality for Explanation-Based Learning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {482-487},
  KEYWORDS = {know-acq}}

@inproceedings{Klinker:87AA,
  AUTHOR = {G. Klinker and C. Boyd and S. Genetet and J. McDermott},
  TITLE = {A KNACK for Knowledge Acquisition},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {488-493},
  KEYWORDS = {know-acq}}

@inproceedings{Prieditis:87AA,
  AUTHOR = {A. E. Prieditis and J. Mostow},
  TITLE = {PROLEARN: Towards a Prolog Interpreter that Learns},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {494-498},
  KEYWORDS = {know-acq}}

@inproceedings{Rosenbloom:87AA,
  AUTHOR = {P. S. Rosenbloom and J. E. Laird and A. Newell},
  TITLE = {Knowledge Level Learning in Soar},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {499-503},
  KEYWORDS = {know-acq}}

@inproceedings{Russell:87AA,
  AUTHOR = {S. J. Russell and B. N. Grosof},
  TITLE = {A Declarative Approach to Bias in Concept Learning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {505-510},
  KEYWORDS = {know-acq}}

@inproceedings{Schlimmer87AA,
  AUTHOR = {J. C. Schlimmer},
  TITLE = {Learning and Representation Change},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {511-515},
  KEYWORDS = {know-acq}}

@inproceedings{Shavlik:87AA,
  AUTHOR = {J. W. Shavlik and G. F. DeJong},
  TITLE = {BAGGER: An EBL System that Extends and Generalizes Explanations},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {516-520},
  KEYWORDS = {know-acq}}

@inproceedings{Weiss:87AA,
  AUTHOR = {S. M. Weiss and R. S. Galen and P. V. Tadepalli},
  TITLE = {Optimizing the Predictive Value of Diagnostic Decision Rules},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {521-526},
  KEYWORDS = {know-acq}}

@inproceedings{Cohen87AA,
  AUTHOR = {R. Cohen},
  TITLE = {Interpreting Clues in Conjunction with Processing Restrictions in Arguments and Discourse},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {528-533},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Dorr87AA,
  AUTHOR = {B. Dorr},
  TITLE = {UNITRAN: An Interlingual Approach to Machine Translation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {534-539},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Eiselt87AA,
  AUTHOR = {K. P. Eiselt},
  TITLE = {Recovering from Erroneous Inferences},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {540-544},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Hovy87AA,
  AUTHOR = {E. H. Hovy},
  TITLE = {Interpretation in Generation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {545-549},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Joshi87AA,
  AUTHOR = {A. K. Joshi},
  TITLE = {Word-Over Variation in Natural Language Generation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {550-555},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Kalish87AA,
  AUTHOR = {C. E. Kalish},
  TITLE = {Porting an Extensible Natural Language Interface: A Case},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {556-560},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Norvig87AA,
  AUTHOR = {P. Norvig},
  TITLE = {Inference in Text Understanding},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {561-565},
  KEYWORDS = {n-l-p, ling, infer, sb-one}}

@inproceedings{Pustejovsky:87AA,
  AUTHOR = {J. Pustejovsky and S. Bergler},
  TITLE = {The Acquisition of Conceptual Structure for the Lexcion},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {566-570},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Rich:87AA,
  AUTHOR = {E. Rich and J. Barnett and K. Wittenburg and D. Wroblewski},
  TITLE = {Ambiguity Procrastination},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {571-576},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Stanfill87AA,
  AUTHOR = {C. W. Stanfill},
  TITLE = {Memory-Based Reasoning Applied to English Pronunciation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {577-581},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Wroblewski87AA,
  AUTHOR = {D. A. Wroblewski},
  TITLE = {Nondestructive Graph Unification},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {582-587},
  KEYWORDS = {n-l-p, ling}}

@inproceedings{Collins:87AA,
  AUTHOR = {J. W. Collins and K. D. Forbus},
  TITLE = {Reasoning about Fluids Via Molecular Collections},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {590-594},
  KEYWORDS = {exp-sys}}

@inproceedings{D-Ambrosio87AA,
  AUTHOR = {B. D'Ambrosio},
  TITLE = {Extending the Mathematics in Qualitative Process Theory},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {595-599},
  KEYWORDS = {exp-sys}}

@inproceedings{Dague:87AA,
  AUTHOR = {P. Dague and O. Raiman and P. Deves},
  TITLE = {Troubleshooting: When Modeling is the Trouble},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {600-605},
  KEYWORDS = {exp-sys}}

@inproceedings{Gupta87AA,
  AUTHOR = {A. Gupta},
  TITLE = {Explanation-Based Failure Recovery},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {606-610},
  KEYWORDS = {exp-sys}}

@inproceedings{Joskowicz87AA,
  AUTHOR = {L. Joskowicz},
  TITLE = {Shape and Function in Mechanical Devices},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {611-615},
  KEYWORDS = {exp-sys}}

@inproceedings{Kokar87AA,
  AUTHOR = {M. M. Kokar},
  TITLE = {Critical Hypersurfaces and the Quantity Space},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {616-620},
  KEYWORDS = {exp-sys}}

@inproceedings{Kuipers87AA,
  AUTHOR = {B. Kuipers},
  TITLE = {Abstraction by Time-Scale in Qualitative Simulation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {621-625},
  KEYWORDS = {exp-sys}}

@inproceedings{Mavrovouniotis:87AA,
  AUTHOR = {M. L. Mavrovouniotis and G. Stephanopoulos},
  TITLE = {Reasoning with Orders of Magnitude and Approximate Relations},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {626-630},
  KEYWORDS = {exp-sys}}

@inproceedings{Mittal:87AA,
  AUTHOR = {S. Mittal and F. Frayman},
  TITLE = {Making Partial Choices in Constraint Reasoning Problems},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {631-636},
  KEYWORDS = {exp-sys}}

@inproceedings{Murthy:87AA,
  AUTHOR = {S. S. Murthy and S. Addanki},
  TITLE = {PROMPT: An Innovative Design Tool},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {637-642},
  KEYWORDS = {exp-sys}}

@inproceedings{Nishida:87AA,
  AUTHOR = {T. Nishida and S. Doshita},
  TITLE = {Reasoning about Discontinuous Change},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {643-648},
  KEYWORDS = {exp-sys}}

@inproceedings{Sacks87AAa,
  AUTHOR = {E. Sacks},
  TITLE = {Hierarchical Reasonig about Inequalities},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {649-654},
  KEYWORDS = {exp-sys}}

@inproceedings{Sacks87AAb,
  AUTHOR = {E. Sacks},
  TITLE = {Piecewise Linear Reasoning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {655-659},
  KEYWORDS = {exp-sys}}

@inproceedings{Wellmann87AA,
  AUTHOR = {M. P. Wellmann},
  TITLE = {Probabilistic Semantics for Qualitative Influences},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {660-664},
  KEYWORDS = {exp-sys}}

@inproceedings{Yip87AA,
  AUTHOR = {K. M. Yip},
  TITLE = {Extracting Qualitative Dynamics from Numerical Experiments},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {665-670},
  KEYWORDS = {exp-sys}}

@inproceedings{Becker:87AA,
  AUTHOR = {J. M. Becker and F. L. Garrett},
  TITLE = {An Architecture for Intelligent Task Automation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {672-676},
  KEYWORDS = {robot}}

@inproceedings{Georgeff:87AA,
  AUTHOR = {M. P. Georgeff and A. L. Lansky},
  TITLE = {Reactive Reasoning and Planning},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {677-682},
  KEYWORDS = {robot}}

@inproceedings{Lakin87AA,
  AUTHOR = {F. Lakin},
  TITLE = {Visual Grammars for Visual Languages},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {683-688},
  KEYWORDS = {robot}}

@inproceedings{Levitt:87AA,
  AUTHOR = {T. S. Levitt and D. T. Lawton and D. M. Chelberg and P. C. Nelson},
  TITLE = {Qualitative Landmark-Based Path Planning and Following},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {689-694},
  KEYWORDS = {robot}}

@inproceedings{Strip87AA,
  AUTHOR = {D. R. Strip},
  TITLE = {Insertions Using Geometric Analysis and Hybrid Force-Position Control on a PUMA 560 with VAL II},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {695-698},
  KEYWORDS = {robot}}

@inproceedings{Barron:87AA,
  AUTHOR = {J. L. Barron and A. D. Jepson and J. K. Tsotsos},
  TITLE = {The Sensitivity of Motion and Structure Computations},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {700-705},
  KEYWORDS = {vision}}

@inproceedings{Fua:87AA,
  AUTHOR = {P. Fua and A. J. Hanson},
  TITLE = {Using Generic Models for Intelligent Shape Extraction},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {706-711},
  KEYWORDS = {vision}}

@inproceedings{Huertas:87AA,
  AUTHOR = {A. Huertas and W. Cole and R. Nevatia},
  TITLE = {Detecting Runways in Aerial Images},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {712-717},
  KEYWORDS = {vision}}

@inproceedings{Hull87AA,
  AUTHOR = {J. J. Hull},
  TITLE = {Hypothesis Testing in a Computational Theory of Visual Word Recognition},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {718-722},
  KEYWORDS = {vision}}

@inproceedings{Moerdler:87AA,
  AUTHOR = {M. L. Moerdler and J. R. Kender},
  TITLE = {An Integrated System that Unifies Multiple Shape from Texture Algorithms},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {723-727},
  KEYWORDS = {vision}}

@inproceedings{Prazdny87AA,
  AUTHOR = {K. Prazdny},
  TITLE = {Similtude-Invariant Pattern Recognition Using Parallel Distributed Processing},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {728-732},
  KEYWORDS = {vision}}

@inproceedings{Solina:87AA,
  AUTHOR = {F. Solina and R. Bajcsy},
  TITLE = {Range Image Interpretation of Mail Pieces with Superquadrics},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {733-737},
  KEYWORDS = {vision}}

@inproceedings{Spetsakis:87AA,
  AUTHOR = {M. E. Spetsakis and J.(Y.) Aloimonos},
  TITLE = {Closed from Solution to the Structure from Motion Problem from Line Correspondences},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {738-743},
  KEYWORDS = {vision}}

@inproceedings{Subbarao87AA,
  AUTHOR = {M. Subbarao},
  TITLE = {Bounds on Translational and Angular Velocity Components from First Order Derivatives of Image Flow},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {744-748},
  KEYWORDS = {vision}}

@inproceedings{Szeliski87AA,
  AUTHOR = {R. Szeliski},
  TITLE = {Regularization Uses Fractal Priors},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {749-754},
  KEYWORDS = {vision}}

@inproceedings{Terzopoulos:87AA,
  AUTHOR = {D. Terzopoulos and A. Witkin and M. Kass},
  TITLE = {Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid Motion},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {755-760},
  KEYWORDS = {vision}}

@inproceedings{Thompson:87AA,
  AUTHOR = {W. B. Thompson and M. T. Checky and W. F. Kaemmerer},
  TITLE = {Shadow Stereo: Locating Object Boundaries Using Shadows},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {761-766},
  KEYWORDS = {vision}}

@inproceedings{Walters:87AA,
  AUTHOR = {D. Walters and G. Krishnan},
  TITLE = {Perceptual Significance Hierarchy: A Computer Vision Theory for Color Separation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {767-771},
  KEYWORDS = {vision}}

@inproceedings{Wells87AA,
  AUTHOR = {W. M. Wells III},
  TITLE = {Visual Estimation of 3-D Line Segments from Motion: A Mobile Robot Vision System},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {772-776},
  KEYWORDS = {vision}}

@inproceedings{Chandrasekaran:87AA,
  AUTHOR = {B. Chandrasekaran and W. F. Punch III},
  TITLE = {Data Vallidation During Diagnosis, A Step Beyond Traditional Sensor Validation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {778-782},
  KEYWORDS = {exp-sys}}

@inproceedings{Cohen:87AAa,
  AUTHOR = {P. R. Cohen and M. Greenberg and J. DeLisio},
  TITLE = {MU: A Development Environment for Prospective Reasoning Systems},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {783-788},
  KEYWORDS = {exp-sys}}

@inproceedings{Downing87AA,
  AUTHOR = {K. L. Downing},
  TITLE = {Diagnostic Improvment Through Qualitative Sensivity Analysis and Aggregation},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {789-793},
  KEYWORDS = {exp-sys}}

@inproceedings{Eliyahu:87AA,
  AUTHOR = {O. Eliyahu and L. Zaidenberg and M. Ben-Bassat},
  TITLE = {CAMEX: An Expert System for Process Planning on CNC Machines},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {794-798},
  KEYWORDS = {exp-sys}}

@inproceedings{Hall:87AA,
  AUTHOR = {R. J. Hall and R. H. Lathrop and R. S. Kirk},
  TITLE = {A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {799-803},
  KEYWORDS = {exp-sys}}

@inproceedings{Howard:87AA,
  AUTHOR = {H. C. Howard and D. R. Rehak},
  TITLE = {KADBASE: A Prototype Expert System-Database Interface for Integrated CAE Environments},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {804-808},
  KEYWORDS = {exp-sys}}

@inproceedings{Kaemmerer:87AA,
  AUTHOR = {W. F. Kaemmerer and J. R. Allard},
  TITLE = {An Automated Reasoning Technique for Providing Moment-By-Moment Advice Concerning the Operation of Process},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {809-813},
  KEYWORDS = {exp-sys}}

@inproceedings{Kahn:87AA,
  AUTHOR = {G. S. Kahn and A. Kepner and J. Pepper},
  TITLE = {TEST: A Model-Driven Application Shell},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {814-818},
  KEYWORDS = {exp-sys}}

@inproceedings{Laskowski:87AA,
  AUTHOR = {S. J. Laskowski and E. J. Hofmann},
  TITLE = {Script-Based Reasoning for Situation Monitoring},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {819-823},
  KEYWORDS = {exp-sys}}

@inproceedings{Soloway:87AA,
  AUTHOR = {E. Soloway and J. Bachant and K. Jensen},
  TITLE = {Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {824-829},
  KEYWORDS = {exp-sys}}

@inproceedings{Steinberg87AA,
  AUTHOR = {L. I. Steinberg},
  TITLE = {Design as Refinement Plus Constraint Propagation: The VEXED Experience},
  YEAR = 1987,
  BOOKTITLE = {Proc. of AAAI-87},
  ADDRESS = "Seattle, WA",
  PAGES = {830-835},
  KEYWORDS = {exp-sys}}