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 BibTeX
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 BibTeX
William B. Thompson, Albert Yonas: What Should be Computed in Low Level Vision Systems. 7-10 BibTeX
Harry G. Barrow, Jay M. Tenenbaum: Interpreting Line Drawings as Three-Dimensional Surfaces. 11-14 BibTeX
Michael Brady, W. Eric L. Grimson, D. J. Langridge: Shape Encoding and Subjective Contours. 15-14 BibTeX

Scene Analysis

Eugene C. Freuder: Information Needed to Label a Scene. 15-20 BibTeX
Rodney A. Brooks, Thomas O. Binford: Interpretive Vision and Restriction Graphs. 21-27 BibTeX
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 BibTeX

Motion Analysis

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

Robotic Vision

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

Publication Only

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

Program Synthesis

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

Publication Only

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

Theorem Proving

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

Publication Only

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

Mathematical and Theoretical Foundations

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

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 BibTeX
Victor R. Lesser, S. Reed, Jasmina Pavlin: Quantifyimg and Simulating the Behavior of Knowledge-Based Interpretation Systems. 111-115 BibTeX
Eugene Ball, Phil Hayes: Representation of Task-Specific Knowledge in a Gracefully Interacting User Interface. 116-120 BibTeX

Problem Solving and Control

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

Publication Only

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

Knowledge Representation

Advanced Knowledge Representation

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

Applied Knowledge Representation

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

Specialized Issues in Knowledge Representation

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

Publication Only

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

Knowledge Acquisition

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

Publication Only

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

Specialized Systems

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

Publication Only

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

Applications

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

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 BibTeX
Leonard Friedman: Trouble-Shooting by Plausible Inference. 292-294 BibTeX
John Gaschnig: An Application of the Prospector System to DOE's National Uranium Resource Evaluation. 295-297 BibTeX
L. Thorne McCarty: Some Requirements for a Computer-Based Legal Consultant. 298-300 BibTeX

Natural Language

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

Publication Only

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

Memory Models

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