AAAI 1980

95 papers

A Basis for a Theory of Program Synthesis P. A. Subrahmanyam

A Computer Model of Child Language Learning Mallory Selfridge

A Frame-Based Production System Architecture David E. Smith, Jan E. Clayton

A Knowledge Based Design System for Digital Electronics Milton R. Grinberg

A Planner for Reasoning About Knowledge and Action Douglas E. Appelt

A Process for Evaluating Tree-Consistency John L. Goodson

A Program Model and Knowledge Base for Computer Aided Program Synthesis Richard J. Wood

A Representation Language Language Russell Greiner, Douglas B. Lenat

A Statistical Technique for Recovering Surface Orientation from Texture in Natural Imagery Andrew P. Witkin

A Technique for Establishing Completeness Results in Theorem Proving with Equality Gerald E. Peterson

A Theory of Metric Spatial Inference Drew V. McDermott

A Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for Patients with Anomia Using a Speech Prosthesis Kenneth Mark Colby, Daniel Christinaz, Santiago Graham, Roger C. Parkison

An Application of the Prospector System to DOE's National Uranium Resource Evaluation John Gaschnig

An Approach to Acquiring and Applying Knowledge Norman Haas, Gary G. Hendrix

An Efficient Relevance Criterion for Mechanical Theorem Proving David A. Plaisted

An Optimisation Approach for Using Contextual Information in Conputer Vision Olivier D. Faugeras

Applying General Induction Methods to the Card Game Eleusis Thomas G. Dietterich

Approaches to Knowledge Acquisition: The Instructable Production System Project Michael D. Rychener

Automated Inspection Using Gray-Scale Statistics Stephen T. Barnard

Automatic Generation of Semantic Attachments in FOL Luigia Carlucci Aiello

Automatic Goal-Directed Program Transformation Stephen Fickas

Bootstrap Stereo Marsha Jo Hannah

Computer Interpretation of Human Stick Figures Martin Herman

Constraint-Based Inference from Image Motion Daryl T. Lawton

DELTA-MIN: A Search-Control Method for Information-Gathering Problems Jaime G. Carbonell

Descriptions for a Programming Environment Ira P. Goldstein, Daniel G. Bobrow

Design Sketch for a Million-Element NETL Machine Scott E. Fahlman

Everything You Always Wanted to Know About Authority Structures but Were Unable to Represent James R. Meehan

Exploiting a Domain Model in an Expert Spectral Analysis Program David R. Barstow

Failures in Natural Language Systems: Applications to Data Base Query Systems Eric Mays

First Experiments with Rue Automated Deduction Vincent J. Digricoli

Generating Relevant Explanations: Natural Language Responses to Questions About Database Structure Kathleen R. McKeown

HCPRVR: An Interpreter for Logic Programs Daniel L. Chester

HEARSAY-II: A Domain-Independent Framework for Expert Systems Robert Balzer, Lee D. Erman, Philip London, Chuck Williams

Human Movement Understanding: A Variety of Perspectives Norman I. Badler, Joseph O'Rourke, Stephen Platt, Mary A. Morris

Incremental, Informal Program Acquisition Brian P. McCune

Inference with Recursive Rules Stuart C. Shapiro, Donald P. McKay

Information Needed to Label a Scene Eugene C. Freuder

Intelligent Retrieval Planning Jonathan J. King

Interactive Frame Instantiation Carl Engelman, Ethan A. Scarl, Charles H. Berg

Interference Detection and Collision Avoidance Among Three Dimensional Objects Narendra Ahuja, Robert T. Chien, R. Yen, N. Bridwell

Interpreting Line Drawings as Three-Dimensional Surfaces Harry G. Barrow, Jay M. Tenenbaum

Interpretive Vision and Restriction Graphs Rodney A. Brooks, Thomas O. Binford

Knowledge Embedding in the Description System Omega Carl Hewitt, Giuseppe Attardi, Maria Simi

Knowledge Representation for Syntactic/Semantic Processing Robert J. Bobrow, Bonnie L. Webber

Knowledge-Based Simulation Philip Klahr, William S. Faught

Language and Memory: Generalization as a Part of Understanding Michael Lebowitz

Locating Partially Visible Objects: The Local Feature Focus Method Robert C. Bolles

Making Judgments Hans J. Berliner

Mapping Image Properties into Shape Constraints: Skewed Symmetry and Affine-Tramsfornable Patterns, and the Shape-from-Texture Paradigm John R. Kender, Takeo Kanade

Max-Mim Chaining of Weighted Causal Assertions Is Loop Free S. W. Ng, Adrian Walker

Meta-Planning Robert Wilensky

Metaphors and Models Michael R. Genesereth

Modelling Student Acquisition of Problem-Solving Skills Robert Smith

Multiple-Agent Planning Systems Kurt Konolige, Nils J. Nilsson

Narrative Text Summarization Wendy G. Lehnert

On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF Jacek Leszczylowski

On Supporting the Use of Procedures in Office Work Richard Fikes, D. Austin Henderson Jr.

On Waiting Arthur M. Farley

Organizing Memory and Keeping It Organized Janet L. Kolodner

Overview of an Example Generation System Edwina L. Rissland, Elliot Soloway

Pathology on Game Trees: A Summary of Results Dana S. Nau

Perceptual Reasoning in a Hostile Environment Thomas D. Garvey, Martin A. Fischler

Performing Inferences over Recursive Data Bases Shamim A. Naqvi, Lawrence J. Henschen

Piaget and Artificial Intelligence Jarrett Rosenberg

Problem Solving in Frame-Structured Systems Using Interactive Dialog Harry C. Reinstein

Project EPISTLE: A System for the Automatic Analysis of Business Correspondence Lance A. Miller

Quantifyimg and Simulating the Behavior of Knowledge-Based Interpretation Systems Victor R. Lesser, S. Reed, Jasmina Pavlin

Question Ordering in a Mixed Intiative Program Specification Dialogue Louis I. Steinberg

Real Time Causal Monitors for Complex Physical Sites Chuck Rieger, Craig Stanfill

Reasoning About Change in Knowledgeable Office Systems Gerald R. Barber

Representation of Control Knowledge in Expert Systems Janice S. Aikins

Representation of Task-Specific Knowledge in a Gracefully Interacting User Interface Eugene Ball, Philip J. Hayes

Representing Knowledge in an Interactive Planner Ann E. Robinson, David E. Wilkins

Research on Expert Problem Solving in Physics Gordon S. Novak, Agustin A. Araya

RI: An Expert in the Computer Systems Domain John P. McDermott

Rule-Based Inference in Large Knowledge Bases William Mark

Rule-Based Models of Legal Expertise Donald A. Waterman, Mark Peterson

SCOUT: A Simple Game-Searching Algorithm with Proven Optimal Properties Judea Pearl

Self-Correcting Generalization Stephen B. Whitehill

Shape Encoding and Subjective Contours Mike Brady, W. Eric L. Grimson, D. J. Langridge

Some Algorithm Design Methods Steve Tappel

Some Requirements for a Computer-Based Legal Consultant L. Thorne McCarty

Spatial and Qualitative Aspects of Reasoning About Motion Kenneth D. Forbus

Static Analysis of Moving Jointed Objects Jon A. Webb

Sticks, Plates, and Blobs: A Three-Dimensional Object Representation for Scene Analysis Linda G. Shapiro, John D. Moriarty, Prasanna G. Mulgaonkar, Robert M. Haralick

Structure Comparison and Semantic Interpretation of Differences Wellington Yu Chiu

The Semantic Interpretation of Nominal Compounds Timothy W. Finin

Theory Directed Reading Diagnosis Research Using Computer Simulation Christian C. Wagner, John F. Vinsonhaler

Towards an AI Model of Argumentation Lawrence Birnbaum, Margot Flowers, Rod McGuire

Trouble-Shooting by Plausible Inference Leonard Friedman

Using a Matcher to Make an Expert Consultation System Behave Intelligently René Reboh

What Should Be Computed in Low Level Vision Systems William B. Thompson, Albert Yonas

What's Wrong with Non-Monotonic Logic? David J. Israel

When Expectation Fails: Towards a Self-Correcting Inference System Richard H. Granger