1. AAAI 1980: Stanford University, CA

Vision

Early Vision Processing

• Andrew P. Witkin:
  A Statistical Technique for Recovering Surface Orientation from Texture in Natural Imagery. 1-3
  
• John R. Kender, Takeo Kanade:
  Mapping Image Properties into Shape Constraints: Skewed Symmetry and Affine-Tramsfornable Patterns, and the Shape-from-Texture Paradigm. 4-6
  
• William B. Thompson, Albert Yonas:
  What Should be Computed in Low Level Vision Systems. 7-10
  
• Harry G. Barrow, Jay M. Tenenbaum:
  Interpreting Line Drawings as Three-Dimensional Surfaces. 11-14
  
• Michael Brady, W. Eric L. Grimson, D. J. Langridge:
  Shape Encoding and Subjective Contours. 15-17
  

Scene Analysis

• Eugene C. Freuder:
  Information Needed to Label a Scene. 18-20
  
• Rodney A. Brooks, Thomas O. Binford:
  Interpretive Vision and Restriction Graphs. 21-27
  
• Linda G. Shapiro, John D. Moriarty, Prasanna G. Mulgaonkar, Robert M. Haralick:
  Sticks, Plates, and Blobs: A Three-Dimensional Object Representation for Scene Analysis. 28-30
  

Motion Analysis

• Daryl T. Lawton:
  Constraint-Based Inference from Image Motion. 31-34
  
• Jon A. Webb:
  Static Analysis of Moving Jointed Objects. 35-37
  
• Marsha Jo Hannah:
  Bootstrap Stereo. 38-40
  

Robotic Vision

• Robert C. Bolles:
  Locating Partially Visible Objects: The Local Feature Focus Method. 41-43
  
• Narendra Ahuja, Robert T. Chien, R. Yen, N. Bridwell:
  Interference Detection and Collision Avoidance Among Three Dimensional Objects. 44-48
  
• Stephen T. Barnard:
  Automated Inspection Using Gray-Scale Statistics. 49-52
  

Publication Only

• Norman I. Badler, Joseph O'Rourke, Stephen Platt, Mary A. Morris:
  Human Movement Understanding: A Variety of Perspectives. 53-55
  
• Olivier D. Faugeras:
  An Optimisation Approach for Using Contextual Information in Conputer Vision. 56-60
  

Program Synthesis

• Louis I. Steinberg:
  Question Ordering in a Mixed Intiative Program Specification Dialogue. 61-63
  
• Steve Tappel:
  Some Algorithm Design Methods. 64-67
  
• Stephen Fickas:
  Automatic Goal-Directed Program Transformation. 68-70
  

Publication Only

• Brian P. McCune:
  Incremental, Informal Program Acquisition. 71-73
  
• P. A. Subrahmanyam:
  A Basis for a Theory of Program Synthesis. 74-76
  
• Richard J. Wood:
  A Program Model and Knowledge Base for Computer Aided Program Synthesis. 77-78
  

Theorem Proving

• David A. Plaisted:
  An Efficient Relevance Criterion for Mechanical Theorem Proving. 79-83
  
• Jacek Leszczylowski:
  On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF. 84-86
  
• Gerald E. Peterson:
  A Technique for Establishing Completeness Results in Theorem Proving with Equality. 87-89
  

Publication Only

• Luigia Carlucci Aiello:
  Automatic Generation of Semantic Attachments in FOL. 90-92
  
• Daniel L. Chester:
  HCPRVR: An Interpreter for Logic Programs. 93-95
  
• Vincent J. Digricoli:
  First Experiments with Rue Automated Deduction. 96-98
  

Mathematical and Theoretical Foundations

• David J. Israel:
  What's Wrong with Non-Monotonic Logic? 99-101
  
• Dana S. Nau:
  Pathology on Game Trees: A Summary of Results. 102-104
  
• S. W. Ng, Adrian Walker:
  Max-Mim Chaining of Weighted Causal Assertions is Loop Free. 105-107
  

Problem Solvin

Cooperative Expert Systems

• Robert Balzer, Lee D. Erman, Philip London, Chuck Williams:
  HEARSAY-II: A Domain-Independent Framework for Expert Systems. 108-110
  
• Victor R. Lesser, S. Reed, Jasmina Pavlin:
  Quantifyimg and Simulating the Behavior of Knowledge-Based Interpretation Systems. 111-115
  
• Eugene Ball, Phil Hayes:
  Representation of Task-Specific Knowledge in a Gracefully Interacting User Interface. 116-120
  

Problem Solving and Control

• Janice S. Aikins:
  Representation of Control Knowledge in Expert Systems. 121-123
  
• Jaime G. Carbonell:
  DELTA-MIN: A Search-Control Method for Information-Gathering Problems. 124-127
  
• Arthur M. Farley:
  On Waiting. 128-130
  

Publication Only

• Douglas E. Appelt:
  A Planner for Reasoning about Knowledge and Action. 131-133
  
• Hans J. Berliner:
  Making Judgments. 134-137
  
• Kurt Konolige, Nils J. Nilsson:
  Multiple-Agent Planning Systems. 138-142
  
• Judea Pearl:
  SCOUT: A Simple Game-Searching Algorithm with Proven Optimal Properties. 143-145
  
• Harry C. Reinstein:
  Problem Solving in Frame-Structured Systems Using Interactive Dialog. 146-147
  
• Ann E. Robinson, David E. Wilkins:
  Representing Knowledge in an Interactive Planner. 148-150
  
• Stuart C. Shapiro, Donald P. McKay:
  Inference with Recursive Rules. 151-153
  

Knowledge Representation

Advanced Knowledge Representation

• David E. Smith, Jan E. Clayton:
  A Frame-Based Production System Architecture. 154-156
  
• Carl Hewitt, Giuseppe Attardi, Maria Simi:
  Knowledge Embedding in the Description System Omega. 157-164
  
• Russell Greiner, Douglas B. Lenat:
  A Representation Language Language. 165-169
  

Applied Knowledge Representation

• Kenneth D. Forbus:
  Spatial and Qualitative Aspects of Reasoning about Motion. 170-173
  
• Martin Herman:
  Computer Interpretation of Human Stick Figures. 174-177
  
• Gordon S. Novak, Agustin A. Araya:
  Research on Expert Problem Solving in Physics. 178-180
  
• Philip Klahr, William S. Faught:
  Knowledge-Based Simulation. 181-183
  
• Carl Engelman, Ethan A. Scarl, Charles H. Berg:
  Interactive Frame Instantiation. 184-186
  

Specialized Issues in Knowledge Representation

• Ira P. Goldstein, Daniel G. Bobrow:
  Descriptions for a Programming Environment. 187-189
  
• William Mark:
  Rule-Based Inference in Large Knowledge Bases. 190-194
  
• John L. Goodson:
  A Process for Evaluating Tree-Consistency. 195-198
  

Publication Only

• Gerald R. Barber:
  Reasoning about Change in Knowledgeable Office Systems. 199-201
  
• Richard Fikes, D. Austin Henderson Jr.:
  On Supporting the Use of Procedures in Office Work. 202-207
  
• Michael R. Genesereth:
  Metaphors and Models. 208-211
  
• James R. Meehan:
  Everything You Always Wanted to Know About Authority Structures But Were Unable to Represent. 212-214
  
• Chuck Rieger, Craig Stanfill:
  Real Time Causal Monitors for Complex Physical Sites. 215-217
  

Knowledge Acquisition

• Thomas G. Dietterich:
  Applying General Induction Methods to the Card Game Eleusis. 218-220
  
• Robert Smith:
  Modelling Student Acquisition of Problem-Solving Skills. 221-223
  
• Mallory Selfridge:
  A Computer Model of Child Language Learning. 224-227
  
• Michael D. Rychener:
  Approaches to Knowledge Acquisition: The Instructable Production System Project. 228-230
  
• René Reboh:
  Using a Matcher to Make an Expert Consultation System Behave Intelligently. 231-234
  
• Norman Haas, Gary G. Hendrix:
  An Approach to Acquiring and Applying Knowledge. 235-239
  

Publication Only

• Stephen B. Whitehill:
  Self-Correcting Generalization. 240-242
  

Specialized Systems

• Jonathan J. King:
  Intelligent Retrieval Planning. 243-245
  
• Drew V. McDermott:
  A Theory of Metric Spatial Inference. 246-248
  
• Scott E. Fahlman:
  Design Sketch for a Million-Element NETL Machine. 249-252
  
• Thomas D. Garvey, Martin A. Fischler:
  Perceptual Reasoning in a Hostile Environment. 253-255
  
• Edwina L. Rissland, Elliot Soloway:
  Overview of an Example Generation System. 256-258
  

Publication Only

• Wellington Yu Chiu:
  Structure Comparison and Semantic Interpretation of Differences. 259-262
  
• Shamim A. Naqvi, Lawrence J. Henschen:
  Performing Inferences over Recursive Data Bases. 263-265
  
• Jarrett Rosenberg:
  Piaget and Artificial Intelligence. 266-268
  

Applications

• John P. McDermott:
  RI: an Expert in the Computer Systems Domain. 269-271
  
• Donald A. Waterman, Mark Peterson:
  Rule-Based Models of Legal Expertise. 272-275
  
• David R. Barstow:
  Exploiting a Domain Model in an Expert Spectral Analysis Program. 276-279
  
• Lance A. Miller:
  Project EPISTLE: A System for the Automatic Analysis of Business Correspondence. 280-282
  
• Milton R. Grinberg:
  A Knowledge Based Design System for Digital Electronics. 283-285
  
• Christian C. Wagner, John F. Vinsonhaler:
  Theory Directed Reading Diagnosis Research Using Computer Simulation. 286-288
  

Publication Only

• Kenneth Mark Colby, Daniel Christinaz, Santiago Graham, Roger C. Parkison:
  A Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for Patients with Anomia Using a Speech Prosthesis. 289-291
  
• Leonard Friedman:
  Trouble-Shooting by Plausible Inference. 292-294
  
• John Gaschnig:
  An Application of the Prospector System to DOE's National Uranium Resource Evaluation. 295-297
  
• L. Thorne McCarty:
  Some Requirements for a Computer-Based Legal Consultant. 298-300
  

Natural Language

Natural Language

• Richard H. Granger:
  When Expectation Fails: Towards a Self-Correcting Inference System. 301-305
  
• Kathleen McKeown:
  Generating Relevant Explanations: Natural Language Responses to Questions about Database Structure. 306-309
  
• Timothy W. Finin:
  The Semantic Interpretation of Nominal Compounds. 310-312
  

Publication Only

• Lawrence Birnbaum, Margot Flowers, Rod McGuire:
  Towards an AI Model of Argumentation. 313-315
  
• Robert J. Bobrow, Bonnie L. Webber:
  Knowledge Representation for Syntactic/Semantic Processing. 316-323
  
• Michael Lebowitz:
  Language and Memory: Generalization as a Part of Understanding. 324-326
  
• Eric Mays:
  Failures in Natural Language Systems: Applications to Data Base Query Systems. 327-330
  

Memory Models

• Janet L. Kolodner:
  Organizing Memory and Keeping it Organized. 331-333
  
• Robert Wilensky:
  Meta-Planning. 334-336
  
• Wendy G. Lehnert:
  Narrative Text Summarization. 337-339
  

Last update Tue Feb 14 03:46:50 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page