1. AAAI 1980: Stanford University, CA

Robert Balzer (Ed.): Proceedings of the 1st Annual National Conference on Artificial Intelligence. Stanford University, August 18-21, 1980. AAAI Press/ MIT Press, ISBN 0-262-51050-2

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-14

Scene Analysis

Eugene C. Freuder: Information Needed to Label a Scene. 15-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

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