• 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, 4 /

Book One

Automated Reasoning

  • A Self-Modifying Theorem Prover

    Cynthia A. Brown

    38

    PDF
  • Focusing in Plan Recognition

    Norman F. Carver, Victor R. Lesser, Daniel L. McCue

    42

    PDF
  • A Forward Inference Engine to Aid in Understanding Specifications

    Donald Cohen

    56

    PDF
  • Towards a Better Understanding of Bidirectional Search

    Henry W. Davis, Randy B. Pollack, Thomas Sudkamp

    68

    PDF
  • Qualitative Reasoning With Higher-Order Derivatives

    Johan de Kleer, Daniel G. Bobrow

    86

    PDF
  • A Theory of Action for MultiAgent Planning

    Michael Georgeff

    121

    PDF
  • Non-Monotonic Reasoning Using Dempster’s Rule

    Matthew L. Ginsberg

    126

    PDF
  • Diagnosing Circuits With State: An Inherently Underconstrained Problem

    Walter Hamscher, Randall Davis

    142

    PDF
  • Meta-Level Control Through Fault Detection and Diagnosis

    Eva Hudlicka, Victor R. Lesser

    153

    PDF
  • A General Bottom-up Procedure for Searching And/Or Graphs

    Vipin Kumar

    182

    PDF
  • How to Cope With Anomalies in Parallel Approximate Branch-and-Bound

    Guo-jie Li, Benjamin W. Wah

    212

    PDF
  • D-Node Retargeting in Bidirectional Heuristic Search

    George Politowski, Ira Pohl

    274

    PDF
  • Qualitative Modeling in the Turbojet Engine Domain

    Raman Rajagopalan

    283

    PDF
  • Knowledge Inversion

    Yoav Shoham, Drew V. McDermott

    295

    PDF
  • A Mechanical Solution of Schubert’s Steamroller by Many-Sorted Resolution

    Christoph Walther

    330

    PDF
  • The Use of Continuity in a Qualitative Physics

    Brian C. Williams

    350

    PDF
  • Generalization Heuristics for Theorems Related to Recursively Defined Functions

    S. Kamal Abdali, Jan Vytopil

    1

    PDF
  • Choices Without Backtracking

    Johan de Kleer

    9

    PDF

Learning

  • Maintaining Diversity in Genetic Search

    Michael L. Mauldin

    247

    PDF
  • Constraint-Based Generalization: LeaMing Game-Playing Plans from Single Examples

    Steven Minton

    251

    PDF
  • Generalization for Explanation-Based Schema Acquisition

    Paul O'Rorke

    260

    PDF
  • Leaming Operator Transformations

    Bruce Porter, Dennis Kibler

    278

    PDF
  • Constraint Limited Generalization: Acquiring Procedures from Examples

    Peter M. Andreae

    6

    PDF
  • Learning Problem Classes by Means of Experimentation and Generalization

    Agustin A. Araya

    11

    PDF
  • Learning About Systems that Contain State Variables

    Thomas G. Dietterich

    96

    PDF
  • Towards Chunking as a General Leaming Mechanism John E. Laird, Paul S. Rosenbloom, and Allen Newell, Carnegie Mellon University

    John E. Laird, Paul S. Rosenbloom, Allen Newell

    188

    PDF

Robotics

  • Task Frames in Robot Manipulation

    Dana H. Ballard

    16

    PDF
  • Path Relaxation: Path Planning for a Mobile Robot

    Charles E. Thorpe

    318

    PDF
  • Three Findpath Problems

    Richard S. Wallace

    326

    PDF

Perception

  • Reconstructing a Visible Surface

    A. Blake

    23

    PDF
  • A System of Plans for Connected Speech Recognition

    Renato DeMori, Yu F. Mong

    92

    PDF
  • Domain Independent Object Description and Decomposition

    #VALUE!

    207

    PDF
  • A Representation for Image Curves

    David H. Marimont

    237

    PDF
  • Shading Into Texture

    Alex P. Pentland

    269

    PDF
  • Efficient Multiresolution Algorithms for Computing Lightness, Shape-from-Shading, and Optical Flow

    Demetri Terzopoulos

    314

    PDF
  • The Shape of Subjective Contours

    Jon A. Webb, Edward Pervin

    340

    PDF
  • Fingerprints Theorems

    A. L. Yuille, T. Poggio

    362

    PDF

Expert Systems

  • Personal Construct Theory and the Transfer of Human Expertise

    John H. Boose

    27

    PDF
  • Classification Problem Solving William J. Clancey, Stanford University

    William J. Clancey

    49

    PDF
  • YES/MVS: A Continuous Real Time Expert System

    J. H. Griesmer, S. J. Hong, M. Karnaugh, J. K. Kastner, M. I. Schor, R. L. Ennis, D. A. Klein, K. R. Milliken, H. M. VanWoerkom

    130

    PDF
  • Self-Explanatory Financial Planning Models

    Donald W. Kosy, Ben P. Wise

    176

    PDF
  • Selective Abstraction of Al System Activity

    Jasmina Pavlin, Daniel D. Corkill

    264

    PDF
  • Continuous Belief Functions for Evidential Reasoning

    Thomas M. Strat

    308

    PDF

Knowledge Representation

  • The Tractability of Subsumption in Frame-Based Description Languages

    Ronald J. Brachman, Hector J. Levesque

    34

    PDF
  • Likelihood, Probability, and Knowledge

    Joseph Y. Halpern, David A. McAllester

    137

    PDF
  • A Logic of Implicit and Explicit Belief

    Hector J. Levesque

    198

    PDF
  • A Self-Organizing Retrieval System for Graphs

    Robert Levinson

    203

    PDF
  • A Set-Theoretic Framework for the Processing of Uncertain Knowledge

    S. Y. Lu, H. E. Stephanou

    216

    PDF
  • Expressiveness of Languages

    Jock Mackinlay, Michael R. Genesereth

    226

    PDF
  • Processing Entailments and Accessing Facts in a Uniform Frame System

    Anthony S. Maida

    233

    PDF
  • Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks

    Matthew Morgenstern

    255

    PDF
  • Implicit Ordering of Defaults in Inheritance Systems

    David S. Touretzky

    322

    PDF
  • Very-High-Level Programming of Knowledge Representation Schemes

    Stephen J. Wesffold

    344

    PDF

Cognitive Modeling

  • A Model of Lexical Access of Ambiguous Words

    Garrison W. Cottrell

    61

    PDF
  • Automated Cognitive Modeling

    Pat Langley, Stellan Ohlsson

    193

    PDF
  • Explaining and Arguing with Examples

    #VALUE!

    288

    PDF
  • Phenomenologically Plausible Parsing

    David L. Waltz, Jordan B. Pollack

    335

    PDF

AI Architectures and Languages

  • Hardware and Software Architectures for Efficient Al

    Michael F. Deering

    73

    PDF
  • Syntax Programming

    Stefan Feyock

    110

    PDF
  • Initial Assessment of Architectures for Production Systems

    Anoop Gupta, Allen Newell, Robert Wedig

    116

    PDF
  • hve Parallel Algorithms for Production System Execution on the DADO Machine

    Salvatore J. Stolfo

    300

    PDF

Natural Language

  • Referential Determinism and Computational Efficiency: Posting Constraints from Deep Structure

    Gavan Duffy, John C. Mallery

    101

    PDF
  • A Semantic Process for Syntactic Disambiguation

    Graeme Hirst

    148

    PDF
  • Living Up To Expectations: Computing Expert Responses

    Aravind Joshi, Bonnie Webber, Ralph M. Weischedel

    169

    PDF
  • Frame Selection in Parsing

    Steven L. Lytinen

    222

    PDF
  • A Production Rule System for Message Summarization

    Elaine Marsh, Henry Hamburger, Ralph Grishman

    243

    PDF

AI and Education

  • An Interactive Computer-Based Tutor for LISP

    Robert G. Farrell, John R. Anderson, Brian J. Reiser

    106

    PDF
  • Intention-Based Diagnosis of Programming Errors

    Elliot Soloway

    162

    PDF
  • Context-Dependent Transitions in Tutoring Discourse

    David D. McDonald

    355

    PDF

Primary Sidebar