• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 2 /

Book One

Vision

  • A Corner Finding Algorithm for Image Analysis and Registration

    J.-Q. Fang, T. S. Huang

    46

    PDF
  • The Role of Eye Position Information in Algorithms for Stereoscopic Matching

    K. Prazdny

    1

    PDF
  • Representing Smooth Plane Curves for Recognition: Implications for Figure-Ground Reversal

    D. D. Hoffman, W. A. Richards

    5

    PDF
  • Why Perspective Is Difficult: How Two Algorithms Fail

    John R. Kender

    9

    PDF
  • Tracking Known Three-Dimensional Objects

    Donald B. Gennery

    13

    PDF
  • A Model Based Vision System for Recognition of Machine Parts

    Katsushi Ikeuchi, Yoshiaki Shirai

    18

    PDF
  • Local Computation of Shape

    Alex Paul Pentland

    22

    PDF
  • Edge Detection in Optical Flow Fields

    William B. Thompson, Kathleen M. Mutch, Valdis Berzins

    26

    PDF
  • Modeling and Using Physical Constraints in Scene Analysis

    M. A. Fischler, S. T. Barnard, R. C. Bolles, M. Lowry, L. Quam, G. Smith, A. Witkin

    30

    PDF
  • Intensity-Based Edge Classification

    Andrew P. Witkin

    36

    PDF
  • Segmentation of Images Into Regions Using Edge Information

    Gerard G. Medioni

    42

    PDF
  • A Systematic Approach to Continuous Graph Labeling With Application to Computer Vision

    M. D. Diamond, N. Narasimhamurthi, S. Ganapathy

    50

    PDF
  • Determining Surface Type from Surface Normals

    Paul Amaranth, William Jaynes

    55

    PDF

Problem Solving and Search

  • Spatial and Temporal Reasoning in Geologic Map Interpretation

    Reid G. Simmons

    152

    PDF
  • PANDORA–A Program for Doing Commonsense Planning in Complex Situations

    Joseph Faletti

    185

    PDF
  • A Framework for Distributed Problem Solving

    Dave McArthur, Randy Steeb, Stephanie Cammarata

    181

    PDF
  • Scenarios as an Aid to Planning

    Rajendra S. Wall, Edwina L. Rissland

    176

    PDF
  • Error Detection and Recovery in a Dynamic Planning Environment

    Blake Ward, Gordon McCalla

    172

    PDF
  • Experiential Learning in Analogical Problem Solving

    Jaime G. Carbonell

    168

    PDF
  • A Program That Learns to Solve Rubik’s Cube

    Richard E. Korf

    164

    PDF
  • Heuretics: Theoretical and Experimental Study of Heuristic Rules

    Douglas B. Lenat

    159

    PDF
  • Job-Shop Scheduling: An Investigation in Constraint-Directed Reasoning

    Mark S. Fox, Brad Allen, Gary Strohm

    155

    PDF
  • Knowledge Integration in Text Recognition

    Sargur N. Srihari, Jonathan J. Hull

    148

    PDF
  • A General Paradigm for AI Search Procedures

    Dana S. Nau, Vipin Kumar, Laveen Kanal

    120

    PDF
  • Unifying Data-Directed and Goal-Directed Control: An Example and Experiments

    Daniel D. Corkill, Victor R. Lesser, Eva Hudlicka

    143

    PDF
  • Diagnosis Based on Description of Structure and Function

    Randall Davis, Howard Shrobe, Walter Hamscher, Kären Wieckert, Mark Shirley, Steve Polit

    137

    PDF
  • Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach

    Judea Pearl

    133

    PDF
  • Consistent-Labeling Problems and Their Algorithms

    Bernard Nudel

    128

    PDF
  • Evaluating Search Methods Analytically

    Paul W. Purdom, Jr., Cynthia A. Brown

    124

    PDF
  • Synchronization of Multi-Agent Plans

    Jeffrey S. Rosenschein

    115

    PDF
  • A Search Procedure for Perfect Information Games of Chance: Its Formulation and Analysis

    Bruce W. Ballard

    111

    PDF

Program Synthesis and Understanding

  • Using Temporal Abstraction to Understand Recursive Programs Involving Side Effects

    Joachim Laubsch, Marc Eisenstadt

    40

    PDF
  • GIST English Generator

    Bill Swartout

    404

    PDF

Natural Language and Speech

  • Argument Molecules: A Functional Representation of Argument Structure

    Lawrence Birnbaum

    63

    PDF
  • ARGOT: The Rochester Dialogue System

    James F. Allen, Alan M. Frisch, Diane J. Litman

    66

    PDF
  • Dividing Up the Question Answering Process

    Marc Luria

    71

    PDF
  • Salience as a Simplifying Metaphor for Natural Language Generation

    David D. McDonald, E. Jeffery Conklin

    75

    PDF
  • Conceptual Dependency and Montague Grammar: A Step Toward Conciliation

    Mark A. Jones, David S. Warren

    79

    PDF
  • Event Shape Diagrams

    D. L. Waltz

    84

    PDF
  • An Explanation for Minimal Attachment and Right Association

    Robert W. Milne

    88

    PDF
  • A Synthetic Approach to Temporal Information Processing

    Mark D. Grover

    91

    PDF
  • Word Sense and Case Slot Disambiguation

    Graeme Hirst, Eugene Charniak

    95

    PDF
  • Word Learning With Hierarchy-Guided Inference

    David M. Keirsey

    99

    PDF
  • Talking to UNIX in English: An Overview of UC

    Robert Wilensky

    103

    PDF
  • An Expert System for Interpreting Speech Patterns

    Renato De Mori, Attilio Giordano, Lorenza Saitta, Pietro Laface

    107

    PDF
  • Planning Natural-Language Utterances

    Douglas E. Appelt

    59

    PDF

Knowledge Representation

  • Competence in Knowledge Representation

    Ronald J. Brachman, Hector J. Levesque

    189

    PDF
  • Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too

    Charles Rich

    193

    PDF
  • A System for Reasoning About Time

    Marc B. Vilain

    197

    PDF
  • Circumscriptive Ignorance

    Kurt Konolige

    202

    PDF
  • Modeling Motion with Qualitative Process Theory

    Kenneth D. Forbus

    205

    PDF
  • Getting the Envisionment Right

    Benjamin Kuipers

    209

    PDF
  • The QBKG System: Generating Explanations From a Non-Discrete Knowledge Representation

    Hans J. Berliner, David H. Ackley

    213

    PDF
  • PLANT/ds Revisited: Non-Homogeneous Evaluation Schema in Expert Systems

    Carl T. Uhrik

    217

    PDF
  • Inheritance of Statistical Properties

    Neil C. Rowe

    221

    PDF

Theorem Proving

  • A Nonclausal Connection-Graph Resolution Theorem-Proving Program

    Mark E. Stickel

    229

    PDF
  • Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover

    Mabry Tyson

    225

    PDF

AI Languages and Software

  • Multiple Inheritance in Smalltalk-80

    Alan H. Borning, Daniel H. H. Ingalls

    234

    PDF
  • GLISP: A High-Level Language for AI Programming

    Gordon S. Novak Jr.

    238

    PDF

Specialized Architecture for AI

  • DADO: A Tree-Structured Machine Architecture for Production Systems

    Salvatore J. Stolfo, David Elliot Shaw

    242

    PDF

Cognitive Modeling

  • Toward Connectionist Parsing

    Steven Small, Gary Cottrell, Lokendra Shastri

    247

    PDF
  • Why Do Children Misunderstand Reversible Passives? The CHILD Program Learns to Understand Passive Sentences

    Mallory Selfridge

    251

    PDF
  • Learning by Chunking: Summary of a Task and a Model

    Paul S. Rosenbloom, Allen Newell

    255

    PDF
  • Route Finding in Street Maps by Computers and People

    R. J. Elliott, M. E. Lesk

    258

    PDF
  • Plan Understanding, Narrative Comprehension, and Story Schemas

    William F. Brewer

    262

    PDF
  • Affect Processing for Narratives

    Michael G. Dyer

    265

    PDF
  • On Being Contradictory

    Margot Flowers

    269

    PDF
  • The Role of Experience in Development of Expertise

    Janet L. Kolodner

    273

    PDF

Robotics

  • The CMU Rover

    Hans P. Moravec

    377

    PDF
  • Solving the Find-Path Problem by Good Representation of Free Space

    Rodney A. Brooks

    381

    PDF
  • Final Position Control in Planar Horizontal Arm Movements

    Jonathan Delatizky

    387

    PDF
  • Development of an Overall Direction-of-Action Sensor for Robots

    Tokuji Okada

    390

    PDF
  • An Efficient Collision Warning Algorithm for Robot Arms

    E. Gordon Powell

    394

    PDF
  • Stability of Automatic Guidance for a Mobile Robot

    L. Y. Shih

    396

    PDF

Knowledge Acquisition

  • Automatic Schema Acquisition in a Natural Language Environment

    Gerald DeJong

    410

    PDF
  • Acquisition of Appropriate Bias for Inductive Concept Learning

    Paul E. Utgoff, Tom M. Mitchell

    414

    PDF

Theoretical Foundations

  • Circumscription Implies Predicate Completion (Sometimes)

    Raymond Reiter

    418

    PDF
  • Monitors as Responses to Questions: Determining Competence

    Eric Mays

    421

    PDF
  • Efficient Minimum Information Updating for Bayesian Inferencing in Expert Systems

    M. D. Diamond, N. Narasimhamurthi, S. Ganapathy

    424

    PDF
  • The Role of Logic in Knowledge Representation and Commonsense Reasoning

    Robert C. Moore

    424

    PDF
  • Foundations of Envisioning

    Johan de Kleer, John Seely Brown

    434

    PDF

Primary Sidebar