LIDOS BibTeX Database File
aaai80.bib

@inproceedings{Kender:80AA,
  AUTHOR = {J. R. Kender and T. Kanade},
  TITLE = {Mapping Image Properties into Shape Constraints: Skewed Symmetry, Affine-Transformable Patterns, and the Shape-from-Texture Paradigm},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {4-6},
  KEYWORDS = {}}

@inproceedings{Thompson:80AA,
  AUTHOR = {W. B. Thompson and A. Yonas},
  TITLE = {What Should Be Computer in Low Level Vision Systems},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {7-10},
  KEYWORDS = {}}

@inproceedings{Barrow:80AA,
  AUTHOR = {H. G. Barrow and J. M. Tenenbaum},
  TITLE = {Interpreting Line Drawings as Three-Dimensional Surfaces},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {11-14},
  KEYWORDS = {}}

@inproceedings{Brady:80AA,
  AUTHOR = {M. Brady and W. F. L. Grimson and D. J. Langridge},
  TITLE = {Shape Encoding and Subjective Contours},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {15-17},
  KEYWORDS = {}}

@inproceedings{Freuder80AA,
  AUTHOR = {E. C. Freuder},
  TITLE = {Information Needed to Label a Shene},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {18-20},
  KEYWORDS = {}}

@inproceedings{Brooks:80AA,
  AUTHOR = {R. A. Brooks and T. O. Binford},
  TITLE = {Interpretive Vision and Restriction Graphs},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {21-27},
  KEYWORDS = {}}

@inproceedings{Shapiro:80AAa,
  AUTHOR = {L. G. Shapiro and P. G. Mulgaonkar and J. D. Moriarty and R. M. Haralick},
  TITLE = {Sticks, Plates, and Blobs: A Three-Dimensional Object Representation for Scene Analysis},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {28-30},
  KEYWORDS = {}}

@inproceedings{Lawton80AA,
  AUTHOR = {D. T. Lawton},
  TITLE = {Constraint-Based Inference from Image Motion},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {31-34},
  KEYWORDS = {}}

@inproceedings{Webb80AA,
  AUTHOR = {J. A. Webb},
  TITLE = {Static Analysis of Moving Jointed Objects},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {35-37},
  KEYWORDS = {}}

@inproceedings{Hannah80AA,
  AUTHOR = {M. J. Hannah},
  TITLE = {Bootstrap Stereo},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {38-40},
  KEYWORDS = {}}

@inproceedings{Bolles80AA,
  AUTHOR = {R. C. Bolles},
  TITLE = {Locating Partially Visible Objects: The Local Feature Focus Method},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {41-43},
  KEYWORDS = {}}

@inproceedings{Ahuja:80AA,
  AUTHOR = {N. Ahuja and R. T. Chien and R. Yen and N. Bridwell},
  TITLE = {Interference Detection and Collision Avoidance Among Three Dimensional Objects},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {44-48},
  KEYWORDS = {}}

@inproceedings{Barnard80AA,
  AUTHOR = {S. T. Barnard},
  TITLE = {Automated Inspection Using Gray-Scale Statistics},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {49-52},
  KEYWORDS = {}}

@inproceedings{Badler:80AA,
  AUTHOR = {N. I. Badler and J. O'Rourke and S. Platt and M. A. Morris},
  TITLE = {Human Movement Understanding: A Variety of Perspectives},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {53-55},
  KEYWORDS = {}}

@inproceedings{Faugeras80AA,
  AUTHOR = {O. D. Faugeras},
  TITLE = {An Optimization Approach for Using Contextual Information in Computer Vision},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {56-60},
  KEYWORDS = {}}

@inproceedings{Steinberg80AA,
  AUTHOR = {L. Steinberg},
  TITLE = {Question Ordering in Mixed Initiative Program Specification},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {61-63},
  KEYWORDS = {}}

@inproceedings{Tappel80AA,
  AUTHOR = {S. Tappel},
  TITLE = {Some Algorithm Design Methods},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {64-67},
  KEYWORDS = {}}

@inproceedings{Fickas80AA,
  AUTHOR = {S. Fickas},
  TITLE = {Automatic Goal-Directed Program Transformation},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {68-70},
  KEYWORDS = {}}

@inproceedings{McCune80AA,
  AUTHOR = {B. P. McCune},
  TITLE = {Incremental, Informal Program Acquisition},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {71-73},
  KEYWORDS = {}}

@inproceedings{Subrahmanyam80AA,
  AUTHOR = {P. A. Subrahmanyam},
  TITLE = {A Basis for a Theory of Program Synthesis},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {74-76},
  KEYWORDS = {}}

@inproceedings{Wood80AA,
  AUTHOR = {R. J. Wood},
  TITLE = {A Program Model and Knowledge Base for Computer Aided Program Synthesis},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {77-78},
  KEYWORDS = {}}

@inproceedings{Plaisted80AA,
  AUTHOR = {D. A. Plaisted},
  TITLE = {An Efficient Relevance Criterion for Mechanical Theorem Proving},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {79-83},
  KEYWORDS = {}}

@inproceedings{Leszczylowski80AA,
  AUTHOR = {J. Leszczylowski},
  TITLE = {On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {84-86},
  KEYWORDS = {}}

@inproceedings{Peterson80AA,
  AUTHOR = {G. E. Peterson},
  TITLE = {A Technique for Establishing Completeness Results in Theorem Proving with Equality},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {87-89},
  KEYWORDS = {}}

@inproceedings{Aiello80AA,
  AUTHOR = {L. Aiello},
  TITLE = {Automatic Generation of Semantic Attachments in FOL},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {90-92},
  KEYWORDS = {}}

@inproceedings{Chester80AA,
  AUTHOR = {D. Chester},
  TITLE = {HCPRVR: An Interpreter for Logic Programs},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {93-95},
  KEYWORDS = {}}

@inproceedings{Digricoli80AA,
  AUTHOR = {V.-J. Digricoli},
  TITLE = {First Experiments with Rue Automated Deduction},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {96-98},
  KEYWORDS = {}}

@inproceedings{Israel80AA,
  AUTHOR = {D. J. Israel},
  TITLE = {What's Wrong with Non-Monotonic Logic?},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {99-101},
  KEYWORDS = {}}

@inproceedings{Nau80AA,
  AUTHOR = {D. S. Nau},
  TITLE = {Pathology on Game Trees: A Summary of Results},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {102-104},
  KEYWORDS = {}}

@inproceedings{Ng:80AA,
  AUTHOR = {S. W. Ng and A. Walker},
  TITLE = {Max-Min Chaining of Weighted Causal Assertions is Loop Free},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {105-107},
  KEYWORDS = {}}

@inproceedings{Balzer:80AA,
  AUTHOR = {R. Balzer and L. Erman and P. London and C. Williams},
  TITLE = {HEARSAY-III: A Domain-Independent Framework for Expert Systems},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {108-110},
  KEYWORDS = {}}

@inproceedings{Lesser:80AA,
  AUTHOR = {V. R. Lesser and S. Reed and J. Pavlin},
  TITLE = {Quantifying and Simulating. The Behavior of Knowledge-Based Interpretation Systems},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {111-115},
  KEYWORDS = {}}

@inproceedings{Ball:80AA,
  AUTHOR = {E. Ball and P. Hayes},
  TITLE = {Representation of Task-Specific Knowledge in a Gracefully Interacting User Interface},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {116-120},
  KEYWORDS = {}}

@inproceedings{Aikins80AA,
  AUTHOR = {J. S. Aikins},
  TITLE = {Representation of Control Knowledge in Expert Systems},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {121-123},
  KEYWORDS = {}}

@inproceedings{Carbonell80AA,
  AUTHOR = {J. G. Carbonell},
  TITLE = {DELTA-MIN: A Search-Control Method for Information-Gathering Problems},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {124-127},
  KEYWORDS = {}}

@inproceedings{Farley80AA,
  AUTHOR = {A. M. Farley},
  TITLE = {On Waiting},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {128-130},
  KEYWORDS = {}}

@inproceedings{Appelt80AA,
  AUTHOR = {D. E. Appelt},
  TITLE = {A Planner for Reasoning about Knowledge and Action},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {131-133},
  KEYWORDS = {}}

@inproceedings{Berliner80AA,
  AUTHOR = {H. J. Berliner},
  TITLE = {Making Judgments},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {134-137},
  KEYWORDS = {}}

@inproceedings{Konolige:80AA,
  AUTHOR = {K. Konolige and N. J. Nilsson},
  TITLE = {Multiple-Agent Planning Systems},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {138-142},
  KEYWORDS = {user-mod}}

@inproceedings{Pearl80AA,
  AUTHOR = {J. Pearl},
  TITLE = {SCOUT: A Simple Game-Searching Algorithm with Proven Optimal Properties},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {143-145},
  KEYWORDS = {}}

@inproceedings{Reinstein80AA,
  AUTHOR = {H. C. Reinstein},
  TITLE = {Problem Solving in Frame-Structured Systems Using Interactive Dialog},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {146-147},
  KEYWORDS = {}}

@inproceedings{Robinson:80AA,
  AUTHOR = {A. E. Robinson and D. E. Wilkins},
  TITLE = {Representing Knowledge in an Interactive Planner},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {148-150},
  KEYWORDS = {}}

@inproceedings{Shapiro:80AAb,
  AUTHOR = {S. C. Shapiro and D. P. McKay},
  TITLE = {Inference with Recursive Rules},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {151-153},
  KEYWORDS = {}}

@inproceedings{Smith:80AA,
  AUTHOR = {D. E. Smith and J. E. Clayton},
  TITLE = {A Frame-Based Production System Architecture},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {154-156},
  KEYWORDS = {}}

@inproceedings{Hewitt:80AA,
  AUTHOR = {C. Hewitt and G. Attardi and M. Simi},
  TITLE = {Knowledge Embedding in the Description System Omega},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {157-164},
  KEYWORDS = {}}

@inproceedings{Greiner:80AA,
  AUTHOR = {R. Greiner and D. B. Lenat},
  TITLE = {A Representation Language Language},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {165-169},
  KEYWORDS = {}}

@inproceedings{Forbus80AA,
  AUTHOR = {K. D. Forbus},
  TITLE = {Spatial and Qualitative Aspects of Reasoning about Motion},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {170-173},
  KEYWORDS = {spat-rel}}

@inproceedings{Herman80AA,
  AUTHOR = {M. Herman},
  TITLE = {Computer Interpretation of Human Stick Figures},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {174-177},
  KEYWORDS = {}}

@inproceedings{Novak:80AA,
  AUTHOR = {G. S. Novak and A. A. Araya},
  TITLE = {Research on Expert Problem Solving in Physics},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {178-180},
  KEYWORDS = {}}

@inproceedings{Klahr:80AA,
  AUTHOR = {P. Klahr and W. S. Faught},
  TITLE = {Knowledge-Based Simulation},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {181-183},
  KEYWORDS = {}}

@inproceedings{Engelman:80AA,
  AUTHOR = {C. Engelman and E. A. Scarl and C. H. Berg},
  TITLE = {Interactive Frame Instantiation},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {184-186},
  KEYWORDS = {}}

@inproceedings{Goldstein:80AA,
  AUTHOR = {I. P. Goldstein and D. G. Bobrow},
  TITLE = {Descriptions for a Programming Environment},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {187-189},
  KEYWORDS = {}}

@inproceedings{Mark80AA,
  AUTHOR = {W. Mark},
  TITLE = {Rule-Based Inference in Large Knowledge Bases},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {190-194},
  KEYWORDS = {}}

@inproceedings{Goodson80AA,
  AUTHOR = {J. L. Goodson},
  TITLE = {A Process for Evaluating Tree-Consistency},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {195-198},
  KEYWORDS = {}}

@inproceedings{Barber80AA,
  AUTHOR = {G. R. Barber},
  TITLE = {Reasoning about Change in Knowledgeable Office Systems},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {199-201},
  KEYWORDS = {}}

@inproceedings{Fikes:80AA,
  AUTHOR = {R. E. Fikes and D. A. Henderson},
  TITLE = {On Supporting the Use of Procedures in Office Work},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {202-207},
  KEYWORDS = {}}

@inproceedings{Genesereth80AA,
  AUTHOR = {M. R. Genesereth},
  TITLE = {Metaphors and Models},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {208-211},
  KEYWORDS = {}}

@inproceedings{Meehan80AA,
  AUTHOR = {J. R. Meehan},
  TITLE = {Everything You always Wanted to Know about Authority Structures but Were Unable to Represent},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {212-214},
  KEYWORDS = {}}

@inproceedings{Rieger:80AA,
  AUTHOR = {C. Rieger and C. Stanfill},
  TITLE = {Real Time Causal Monitors for Complex Physical Sites},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {215-217},
  KEYWORDS = {}}

@inproceedings{Dietterich80AA,
  AUTHOR = {T. G. Dietterich},
  TITLE = {Applying General Induction Methods to the Card Game Eleusis},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {218-220},
  KEYWORDS = {}}

@inproceedings{Smith80AA,
  AUTHOR = {R. Smith},
  TITLE = {Modelling Student Acquisition of Problem-Solving Skills},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {221-223},
  KEYWORDS = {}}

@inproceedings{Selfridge80AA,
  AUTHOR = {M. Selfridge},
  TITLE = {A Computer Model of Child Language Learning},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {224-227},
  KEYWORDS = {}}

@inproceedings{Rychener80AA,
  AUTHOR = {M. D. Rychener},
  TITLE = {Approaches to Knowledge Acquisition: The Instructable Production System Project},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {228-230},
  KEYWORDS = {}}

@inproceedings{Reboh80AA,
  AUTHOR = {R. Reboh},
  TITLE = {Using a Matcher to Make an Expert Consultation System Behave Intelligently},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {231-234},
  KEYWORDS = {}}

@inproceedings{Haas:80AA,
  AUTHOR = {N. Haas and G. G. Hendrix},
  TITLE = {An Approach to Acquiring and Applying Knowledge},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {235-239},
  KEYWORDS = {}}

@inproceedings{Whitehill80AA,
  AUTHOR = {S. B. Whitehill},
  TITLE = {Self-Correcting Generalization},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {240-242},
  KEYWORDS = {}}

@inproceedings{King80AA,
  AUTHOR = {J. J. King},
  TITLE = {Intelligent Retrieval Planning},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {243-245},
  KEYWORDS = {}}

@inproceedings{McDermott80AAa,
  AUTHOR = {D. McDermott},
  TITLE = {A Theory of Metric Spatial Inference},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {246-248},
  KEYWORDS = {}}

@inproceedings{Fahlman80AA,
  AUTHOR = {S. E. Fahlman},
  TITLE = {Design Sketch for a Million-Element Netl Machine},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {249-252},
  KEYWORDS = {}}

@inproceedings{Garvey:80AA,
  AUTHOR = {T. D. Garvey and M. A. Fischler},
  TITLE = {Perceptual Reasoning in a Hostile Environment},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {253-255},
  KEYWORDS = {}}

@inproceedings{Rissland:80AA,
  AUTHOR = {E. L. Rissland and E.-M. Soloway},
  TITLE = {Overview of an Example Generation System},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {256-258},
  KEYWORDS = {}}

@inproceedings{Chiu80AA,
  AUTHOR = {W. Y. Chiu},
  TITLE = {Structure Comparison and Semantic Interpretation of Differences},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {259-262},
  KEYWORDS = {}}

@inproceedings{Naqvi80AA,
  AUTHOR = {S. A. Naqvi},
  TITLE = {Performing Inferences over Recursive Data Bases},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {263-265},
  KEYWORDS = {}}

@inproceedings{Rosenberg80AA,
  AUTHOR = {J. K. Rosenberg},
  TITLE = {Piaget and Artificial Intelligece},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {266-268},
  KEYWORDS = {}}

@inproceedings{McDermott80AAb,
  AUTHOR = {J. McDermott},
  TITLE = {R1: An Expert in the Computer Systems Domain},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {269-271},
  KEYWORDS = {}}

@inproceedings{Waterman:80AA,
  AUTHOR = {D. A. Waterman and M. Peterson},
  TITLE = {Rule-Based Models of Legal Expertise},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {272-275},
  KEYWORDS = {}}

@inproceedings{Barstow80AA,
  AUTHOR = {D. R. Barstow},
  TITLE = {Exploiting a Domain Model in an Expert Spectral Analysis Program},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {276-279},
  KEYWORDS = {}}

@inproceedings{Miller80AA,
  AUTHOR = {L. A. Miller},
  TITLE = {Project EPISTLE: A System for the Automatic Analysis of Business Correspondence},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {280-282},
  KEYWORDS = {}}

@inproceedings{Grinberg80AA,
  AUTHOR = {M. R. Grinberg},
  TITLE = {A Knowledge Based Design System for Digital Electronics},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {283-285},
  KEYWORDS = {}}

@inproceedings{Wagner:80AA,
  AUTHOR = {C. C. Wagner and J. F. Vinsonhaler},
  TITLE = {Theory Directed Reading Diagnosis Research Using Computer Simulation},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {286-288},
  KEYWORDS = {}}

@inproceedings{Colby:80AA,
  AUTHOR = {K. M. Colby and D. Christinaz and S. Graham and R. C. Parkinson},
  TITLE = {A Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for Patients with Anomia Using a Speech Prosthesis},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {289-291},
  KEYWORDS = {}}

@inproceedings{Friedman80AA,
  AUTHOR = {L. Friedman},
  TITLE = {Trouble-Shooting by Plausible Inference},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {292-294},
  KEYWORDS = {}}

@inproceedings{Gasching80AA,
  AUTHOR = {J. Gasching},
  TITLE = {An Application of the Prospector System to Doe's National Uranium Resource Evaluation},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {295-297},
  KEYWORDS = {}}

@inproceedings{McCarty80AA,
  AUTHOR = {L. T. McCarty},
  TITLE = {Some Requirements for a Computer-Based Legal Consultant},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {298-300},
  KEYWORDS = {}}

@inproceedings{Granger80AA,
  AUTHOR = {R. H. Granger},
  TITLE = {WHEN EXPECTATION FAILS: Towards a Self-Correcting Inference System},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {301-305},
  KEYWORDS = {}}

@inproceedings{McKeown80AA,
  AUTHOR = {K. R. McKeown},
  TITLE = {Generating Relevant Explanations: Natural Language Responses to Questions about Database Structure},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {306-309},
  KEYWORDS = {user-mod}}

@inproceedings{Finin80AA,
  AUTHOR = {T. W. Finin},
  TITLE = {The Semantic Interpretation of Nominal Compounds},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {310-312},
  KEYWORDS = {}}

@inproceedings{Birnbaum:80AA,
  AUTHOR = {L. Birnbaum and M. Flowers and R. McGuire},
  TITLE = {Towards an AI Model of Argumentation},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {313-315},
  KEYWORDS = {}}

@inproceedings{Bobrow80AA,
  AUTHOR = {R. J. Bobrow and B. L. Webber},
  TITLE = {Knowledge Representation for Syntactic/Semantic Processing},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {316-323},
  KEYWORDS = {}}

@inproceedings{Lebowitz80AA,
  AUTHOR = {M. Lebowitz},
  TITLE = {Language and Memory: Generalization as a Part of Understanding},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {324-326},
  KEYWORDS = {}}

@inproceedings{Mays80AA,
  AUTHOR = {E. Mays},
  TITLE = {Failures in Natural Language Systems: Applications to Data Base Query Systems},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {327-330},
  KEYWORDS = {user-mod}}

@inproceedings{Kolodner80AA,
  AUTHOR = {J. L. Kolodner},
  TITLE = {Organizing Memory and Keeping it Organized},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {331-333},
  KEYWORDS = {}}

@inproceedings{Wilensky80AA,
  AUTHOR = {R. Wilensky},
  TITLE = {Meta-Planning},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {334-336},
  KEYWORDS = {}}

@inproceedings{Lehnert80AA,
  AUTHOR = {W. Lehnert},
  TITLE = {Narrative Text Summarization},
  YEAR = 1980,
  BOOKTITLE = {Proc. of AAAI-80},
  ADDRESS = "Stanford, CA",
  PAGES = {337-339},
  KEYWORDS = {}}