Table of Contents

• A Statistical Technique for Recovering Surface Orientation from Texture in Natural ImageryAndrew P. Witkin. 1-3
• Mapping Image Properties into Shape Constraints: Skewed Symmetry and Affine-Tramsfornable Patterns, and the Shape-from-Texture ParadigmJohn R. Kender, Takeo Kanade. 4-6
• What Should be Computed in Low Level Vision SystemsWilliam B. Thompson, Albert Yonas. 7-10
• Interpreting Line Drawings as Three-Dimensional SurfacesHarry G. Barrow, Jay M. Tenenbaum. 11-14
• Information Needed to Label a SceneEugene C. Freuder. 15-20
• Interpretive Vision and Restriction GraphsRodney A. Brooks, Thomas O. Binford. 21-27
• Sticks, Plates, and Blobs: A Three-Dimensional Object Representation for Scene AnalysisLinda G. Shapiro, John D. Moriarty, Prasanna G. Mulgaonkar, Robert M. Haralick. 28-30
• Constraint-Based Inference from Image MotionDaryl T. Lawton. 31-34
• Static Analysis of Moving Jointed ObjectsJon A. Webb. 35-37
• Locating Partially Visible Objects: The Local Feature Focus MethodRobert C. Bolles. 41-43
• Interference Detection and Collision Avoidance Among Three Dimensional ObjectsNarendra Ahuja, Robert T. Chien, R. Yen, N. Bridwell. 44-48
• Automated Inspection Using Gray-Scale StatisticsStephen T. Barnard. 49-52
• Human Movement Understanding: A Variety of PerspectivesNorman I. Badler, Joseph O Rourke, Stephen Platt, Mary A. Morris. 53-55
• An Optimisation Approach for Using Contextual Information in Conputer VisionOlivier D. Faugeras. 56-60
• Question Ordering in a Mixed Intiative Program Specification DialogueLouis I. Steinberg. 61-63
• Automatic Goal-Directed Program TransformationStephen Fickas. 68-70
• Incremental, Informal Program AcquisitionBrian P. McCune. 71-73
• A Basis for a Theory of Program SynthesisP. A. Subrahmanyam. 74-76
• A Program Model and Knowledge Base for Computer Aided Program SynthesisRichard J. Wood. 77-78
• An Efficient Relevance Criterion for Mechanical Theorem ProvingDavid A. Plaisted. 79-83
• On Proving Laws of the Algebra of FP-Systems in Edinburgh LCFJacek Leszczylowski. 84-86
• A Technique for Establishing Completeness Results in Theorem Proving with EqualityGerald E. Peterson. 87-89
• Automatic Generation of Semantic Attachments in FOLLuigia Carlucci Aiello. 90-92
• HCPRVR: An Interpreter for Logic ProgramsDaniel L. Chester. 93-95
• First Experiments with Rue Automated DeductionVincent J. Digricoli. 96-98
• What s Wrong with Non-Monotonic Logic?David J. Israel. 99-101
• Pathology on Game Trees: A Summary of ResultsDana S. Nau. 102-104
• Max-Mim Chaining of Weighted Causal Assertions is Loop FreeS. W. Ng, Adrian Walker. 105-107
• HEARSAY-II: A Domain-Independent Framework for Expert SystemsRobert Balzer, Lee D. Erman, Philip London, Chuck Williams. 108-110
• Quantifyimg and Simulating the Behavior of Knowledge-Based Interpretation SystemsVictor R. Lesser, S. Reed, Jasmina Pavlin. 111-115
• Representation of Task-Specific Knowledge in a Gracefully Interacting User InterfaceEugene Ball, Phil Hayes. 116-120
• Representation of Control Knowledge in Expert SystemsJanice S. Aikins. 121-123
• DELTA-MIN: A Search-Control Method for Information-Gathering ProblemsJaime G. Carbonell. 124-127
• On WaitingArthur M. Farley. 128-130
• A Planner for Reasoning about Knowledge and ActionDouglas E. Appelt. 131-133
• Making JudgmentsHans J. Berliner. 134-137
• Multiple-Agent Planning SystemsKurt Konolige, Nils J. Nilsson. 138-142
• SCOUT: A Simple Game-Searching Algorithm with Proven Optimal PropertiesJudea Pearl. 143-145
• Problem Solving in Frame-Structured Systems Using Interactive DialogHarry C. Reinstein. 146-147
• Representing Knowledge in an Interactive PlannerAnn E. Robinson, David E. Wilkins. 148-150
• Inference with Recursive RulesStuart C. Shapiro, Donald P. McKay. 151-153
• A Frame-Based Production System ArchitectureDavid E. Smith, Jan E. Clayton. 154-156
• Knowledge Embedding in the Description System OmegaCarl Hewitt, Giuseppe Attardi, Maria Simi. 157-164
• A Representation Language LanguageRussell Greiner, Douglas B. Lenat. 165-169
• Spatial and Qualitative Aspects of Reasoning about MotionKenneth D. Forbus. 170-173
• Computer Interpretation of Human Stick FiguresMartin Herman. 174-177
• Research on Expert Problem Solving in PhysicsGordon S. Novak, Agustin A. Araya. 178-180
• Interactive Frame InstantiationCarl Engelman, Ethan A. Scarl, Charles H. Berg. 184-186
• Descriptions for a Programming EnvironmentIra P. Goldstein, Daniel G. Bobrow. 187-189
• Rule-Based Inference in Large Knowledge BasesWilliam Mark. 190-194
• A Process for Evaluating Tree-ConsistencyJohn L. Goodson. 195-198
• On Supporting the Use of Procedures in Office WorkRichard Fikes, D. Austin Henderson Jr.. 202-207
• Metaphors and ModelsMichael R. Genesereth. 208-211
• Everything You Always Wanted to Know About Authority Structures But Were Unable to RepresentJames R. Meehan. 212-214
• Real Time Causal Monitors for Complex Physical SitesChuck Rieger, Craig Stanfill. 215-217
• Applying General Induction Methods to the Card Game EleusisThomas G. Dietterich. 218-220
• Modelling Student Acquisition of Problem-Solving SkillsRobert Smith. 221-223
• Approaches to Knowledge Acquisition: The Instructable Production System ProjectMichael D. Rychener. 228-230
• Using a Matcher to Make an Expert Consultation System Behave IntelligentlyRené Reboh. 231-234
• An Approach to Acquiring and Applying KnowledgeNorman Haas, Gary G. Hendrix. 235-239
• Intelligent Retrieval PlanningJonathan J. King. 243-245
• A Theory of Metric Spatial InferenceDrew V. McDermott. 246-248
• Design Sketch for a Million-Element NETL MachineScott E. Fahlman. 249-252
• Perceptual Reasoning in a Hostile EnvironmentThomas D. Garvey, Martin A. Fischler. 253-255
• Overview of an Example Generation SystemEdwina L. Rissland, Elliot Soloway. 256-258
• Performing Inferences over Recursive Data BasesShamim A. Naqvi, Lawrence J. Henschen. 263-265
• Rule-Based Models of Legal ExpertiseDonald A. Waterman, Mark Peterson. 272-275
• Project EPISTLE: A System for the Automatic Analysis of Business CorrespondenceLance A. Miller. 280-282
• A Knowledge Based Design System for Digital ElectronicsMilton R. Grinberg. 283-285
• Theory Directed Reading Diagnosis Research Using Computer SimulationChristian C. Wagner, John F. Vinsonhaler. 286-288
• A Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for Patients with Anomia Using a Speech ProsthesisKenneth Mark Colby, Daniel Christinaz, Santiago Graham, Roger C. Parkison. 289-291
• Some Requirements for a Computer-Based Legal ConsultantL. Thorne McCarty. 298-300
• When Expectation Fails: Towards a Self-Correcting Inference SystemRichard H. Granger. 301-305
• Generating Relevant Explanations: Natural Language Responses to Questions about Database StructureKathleen McKeown. 306-309
• Towards an AI Model of ArgumentationLawrence Birnbaum, Margot Flowers, Rod McGuire. 313-315
• Knowledge Representation for Syntactic/Semantic ProcessingRobert J. Bobrow, Bonnie L. Webber. 316-323
• Language and Memory: Generalization as a Part of UnderstandingMichael Lebowitz. 324-326
• Failures in Natural Language Systems: Applications to Data Base Query SystemsEric Mays. 327-330
• Organizing Memory and Keeping it OrganizedJanet L. Kolodner. 331-333
• Meta-PlanningRobert Wilensky. 334-336
• Narrative Text SummarizationWendy G. Lehnert. 337