• 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
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 1 /

Book One

Program Synthesis

  • Question Ordering In Mixed Initiative Program Specification Dialogue

    Louis Steinberg

    61-63

    PDF
  • Some Algorithm Design Methods

    Steve Tappel

    64-67

    PDF
  • Automatic Goal-Directed Program Transformation

    Stephen Fickas

    68-70

    PDF
  • Incremental, Informal Program Acquisition

    Brian P. McCune

    71-73

    PDF
  • A Basis for a Theory of Program Synthesis

    P. A. Subrahmanyam

    74-76

    PDF
  • A Program Model and Knowledge Base for Computer Aided Program Synthesis

    Richard J. Wood

    77-78

    PDF

Theorem Proving

  • An Efficient Relevance Criterion for Mechanical Theorem Proving

    David A. Plaisted

    79-83

    PDF
  • On Proving Laws of the Algebra of FP-Systems in Edinburgh LCF

    Jacek Leszczylowski

    84-86

    PDF
  • A Technique for Establishing Completeness Results In Theorem Proving with Equality

    Gerald E. Peterson

    87-89

    PDF
  • Automatic Generation of Semantic Attachments in FOL

    Luigla Aiello

    90-92

    PDF
  • HCPRVR: An Interpreter for Logic Programs

    Daniel L. Chester

    93-95

    PDF
  • First Experiments with Rue Automated Deduction

    Vincent J. Digricoli

    96-98

    PDF

Mathematical and Theoretical Foundations

  • What’s Wrong with Non-Monotonic Logic?

    David J. Israel

    99-101

    PDF
  • Pathology on Game Trees: A Summary of Results

    Dana S. Nau

    102-104

    PDF
  • Max-Min Chaining of Weighted Causal Assertions is Loop Free

    S. W. Ng, Adrian Walker

    105-107

    PDF

Knowledge Acquisition

  • Applying General Induction Methods to the Card Game Eleusis

    Thomas G. Dietterich

    218-220

    PDF
  • Modeling Student Acquisition of Problem-Solving Skills

    Robert Smith

    221-223

    PDF
  • A Computer Model of Child Language Learning

    Mallory Selfridge

    224-227

    PDF
  • Approaches to Knowledge Acquisition: The Instructable Production System Project

    Michael D. Rychener

    228-230

    PDF
  • Using a Matcher to Make an Expert Consultation System Behave Intelligently

    Rene Reboh

    231-234

    PDF
  • An Approach to Acquiring and Applying Knowledge

    Norman Haas, Gary G. Hendrix

    235-239

    PDF
  • Self-Correcting Generalization

    Stephen B. Whitehill

    240-242

    PDF

Specialized Systems

  • Intelligent Retrieval Planning

    Jonathan J. King

    243-245

    PDF
  • A Theory of Metric Spatial Inference

    Drew McDermott

    246-248

    PDF
  • Design Sketch for a Million-Element NETL Machine

    Scott E. Fahlman

    249-252

    PDF
  • Perceptual Reasoning In a Hostile Environment

    Thomas D. Garvey, Martin A. Fischler

    253-255

    PDF
  • Overview of an Example Generation System

    Edwina L. Rissland, Elliot M. Soloway

    256-258

    PDF
  • Structure Comparison and Semantic Interpretation of Differences

    Wellington Yu Chiu

    259-262

    PDF
  • Performing Inferences over Recursive Data Bases

    Shamim A. Naqvl, Lawrence J. Henschen

    263-265

    PDF
  • Piaget and Artificial Intelligence

    Jarrett Rosenberg

    266-268

    PDF

Applications

  • R1: An Expert In the Computer Systems Domain

    John McDermott

    269-271

    PDF
  • Rule-Based Models of Legal Expertise

    D. A. Waterman, Mark Peterson

    272-275

    PDF
  • Exploiting a Domain Model in an Expert Spectral Analysis Program

    David R. Barstow

    276-279

    PDF
  • Project EPISTLE: A System for the Automatic Analysis of Business Correspondence

    Lance A. Miller

    280-282

    PDF
  • A Knowledge Based Design System for Digital Electronics

    Milton R. Grinberg

    283-285

    PDF
  • Theory Directed Reading Diagnosis Research Using Computer Simulation

    Christian C. Wagner, John F. Vinsonhaler

    286-288

    PDF
  • 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

    289-291

    PDF
  • Trouble-Shooting by Plausible Inference

    Leonard Friedman

    292-294

    PDF
  • An Application of the Prospector System to DOE’s National Uranium Resource Evaluation

    John Gaschnig

    295-297

    PDF
  • Some Requirements for a Computer-Based Legal Consultant

    L. Thorne McCarty

    298-300

    PDF

Primary Sidebar