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

Book One

AI Architectures

  • Recent Developments in Butterfly(TM) Lisp

    Donald C. Allen, Seth A. Steinberg, and Lawrence A. Stabile

    2

    PDF
  • CCLISP(TM) on the iPSC(TM) Concurrent Computer

    David Billstrom, Joseph Brandenburg, John Teeter

    7

    PDF
  • A Parallel Resolution Procedure Based on Connection Graph

    P. Daniel Cheng, J. Y. Juang

    13

    PDF
  • Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures

    Daniel D. Corkill, Kevin Q. Gallagher, Philip M. Johnson

    18

    PDF
  • Forward Chaining Logic Programming with the ATMS

    Nicholas S. Flann, Thomas G. Dietterich, Dan R. Corpron

    24

    PDF
  • Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture

    M. Vaughan Johnson, Jr., Barbara Hayes-Roth

    30

    PDF
  • A Multiprocessor Architecture for Production System Matching

    Michael A. Kelly, Rudolph E. Seviora

    36

    PDF
  • TREAT: A Better Match Algorithm for AI Production Systems

    Daniel P. Miranker

    42

    PDF
  • Joshua: Uniform Access to Heterogeneous Knowledge Structures, or, Why Joshing Is Better than Conniving or Planning

    Steve Rowley, Howard Shrobe, Robert Cassels, Walter Hamscher

    48

    PDF
  • CP as a General-Purpose Constraint-Language

    Vijay A. Saraswat

    53

    PDF
  • Non-Deterministic Lisp with Dependency-Directed Backtracking

    Ramin Zabih, David McAllester, David Chapman

    59

    PDF

AI and Education

  • An Intelligent Tutoring System for Interpreting Ground Tracks

    Kathleen Swigger, Hugh Burns, Harry Loveland, Terresa Jackson

    72

    PDF
  • Plan Inference and Student Modeling in ICAI

    Y. M. Visetti, P. Dague

    77

    PDF
  • Building a Community Memory for Intelligent Tutoring Systems

    Beverly Woolf, Pat Cunningham

    82

    PDF
  • From Intelligent Tutoring to Computerized Psychotherapy

    David Servan-Schreiber

    66

    PDF

Automated Reasoning

  • Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report

    Raymond Reiter, Johan de Kleer

    183

    PDF
  • A Model of Two-Player Evaluation Functions

    Bruce Abramson, Richard E. Korf

    90

    PDF
  • Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It Via Second Order Pattern Matching

    Thierry Boy de la Tour, Ricardo Caferra

    95

    PDF
  • Comparing Minimax and Product in a Variety of Games

    Ping-Ching Chi, Dana S. Nau

    100

    PDF
  • Removing Redundancies in Constraint Networks

    Avi Dechter, Rina Dechter

    105

    PDF
  • Computational Costs versus Benefits of Control Reasoning

    Alan Garvey, Craig Cornelius, Barbara Hayes-Roth

    110

    PDF
  • Filming a Terrain under Uncertainty Using Temporal and Probabilistic Reasoning

    Raymond D. Gumb

    116

    PDF
  • On the Expressiveness of Rule-Based Systems for Reasoning with Uncertainty

    David E. Heckerman, Eric J. Horvitz

    121

    PDF
  • Inferring Formal Software Specifications from Episodic Descriptions

    Van E. Kelly, Uwe Nonnenmann

    127

    PDF
  • Real-Time Heuristic Search: First Results

    Richard E. Korf

    133

    PDF
  • Reasoning in the Presence of Inconsistency

    Fangzhen Lin

    139

    PDF
  • A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts

    Peiya Liu, Ruey-Juin Chang

    144

    PDF
  • Synthesizing Algorithms with Performance Constraints

    Robert D. McCartney

    149

    PDF
  • The Deductive Synthesis of Imperative LISP Programs

    Zohar Manna, Richard Waldinger

    155

    PDF
  • Path Dissolution: A Strongly Complete Rule of Inference

    Neil V. Murray, Erik Rosenthal

    161

    PDF
  • Revised Dependency-directed Backtracking for Default Reasoning

    Charles J. Petrie, Jr.

    167

    PDF
  • Efficiency Analysis of Multiple-Context TMSs in Scene Representation

    Gregory M. Provan

    173

    PDF
  • A Parallel Implementation of Iterative-Deepening-A*

    V. Nageshwara Rao, Vipin Kumar, K. Ramesh

    178

    PDF

Planning

  • Reasoning about Exceptions during Plan Execution Monitoring

    Carol A. Broverman, W. Bruce Croft

    190

    PDF
  • Incremental Causal Reasoning

    Thomas Dean, Mark Boddy

    196

    PDF
  • An Investigation into Reactive Planning in Complex Domains

    R. James Firby

    202

    PDF
  • On Stratified Autoepistemic Theories

    Michael Gelfond

    207

    PDF
  • Possible Worlds and the Qualification Problem

    Matthew L. Ginsberg, David E. Smith

    212

    PDF
  • Simple Causal Minimizations for Temporal Persistence and Projection

    Brian A. Haugh

    218

    PDF
  • Using Goal Interactions to Guide Planning

    Caroline Hayes

    224

    PDF
  • Compiling Plan Operators from Domains Expressed in Qualitative Process Theory

    John C. Hogge

    229

    PDF
  • Models of Axioms for Time Intervals

    Peter Ladkin

    234

    PDF
  • Localized Representation and Planning Methods for Parallel Domains

    Amy L. Lansky, David S. Fogelsong

    240

    PDF
  • A Model for Concurrent Actions Having Temporal Extent

    Richard N. Pelavin, James F. Allen

    246

    PDF
  • The Consistent Labeling Problem in Temporal Reasoning

    Edward P. K. Tsang

    251

    PDF
  • The Satisfiability of Temporal Constraint Networks

    Raúl E. Valdés-Pérez

    256

    PDF
  • Validating Generalized Plans in the Presence of Incomplete Information

    Marianne Winslett

    261

    PDF

Cognitive Modeling

  • Rules for the Implicit Acquisition of Knowledge about the User

    Robert Kass, Tim Finin

    295

    PDF
  • Case-Based Problem Solving with a Large Knowledge Base of Learned Cases

    Wendy G. Lehnert

    301

    PDF
  • Material Handling: A Conservative Domain for Neural Connectivity and Propagation

    H. Van Dyke Parunak, James Kindrick, Bruce Irish

    307

    PDF
  • AQUA: Asking Questions and Understanding Answers

    Ashwin Ram

    312

    PDF
  • Information Retrieval from Never-Ending Stories

    Lisa F. Rau

    317

    PDF
  • Analogical Processing: A Simulation and Empirical Corroboration

    Janice Skorstad, Brian Falkenhainer, Dedre Gentner

    322

    PDF
  • Goal-Based Generation of Motivational Expressions in a Learning Environment

    Ingrid Zukerman

    327

    PDF
  • Pengi: An Implementation of a Theory of Activity

    Philip E. Agre, David Chapman

    268

    PDF
  • Compare and Contrast: A Test of Expertise

    Kevin D. Ashley, Edwina L. Rissland

    273

    PDF
  • Modular Learning in Neural Networks

    Dana H. Ballard

    279

    PDF
  • Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions

    Hsinchun Chen, Vasant Dhar

    285

    PDF
  • A Mechanism for Early Piagetian Learning

    Gary L. Drescher

    290

    PDF

Default Reasoning

  • Incremental Inference: Getting Multiple Agents to Agree on What to Do Next

    Gary C. Borchardt

    334

    PDF
  • An Approach to Default Reasoning Based on a First-Order Conditional Logic

    James P. Delgrande

    340

    PDF
  • Counterfactual Reasoning with Direct Models

    Mark Derthick

    346

    PDF
  • More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance

    David W. Etherington

    352

    PDF
  • A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks

    John F. Horty, Richmond H. Thomason, David S. Touretzky

    358

    PDF
  • Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation, Preliminary Report

    Vladimir Lifschitz

    364

    PDF
  • Embracing Causality in Formal Reasoning

    Judea Pearl

    369

    PDF
  • The Logic of Representing Dependencies by Directed Graphs

    Judea Pearl, Thomas Verma

    374

    PDF
  • Default Reasoning through Belief Revision Strategy

    Chern H. Seet

    380

    PDF
  • A Theory of Default Reasoning

    Wlodek W. Zadrozny

    385

    PDF

Knowledge Representation

  • Intention = Choice + Commitment

    Philip R. Cohen, Hector J. Levesque

    410

    PDF
  • TAXI: A Taxonomic Assistant

    Thomas Y. Galloway

    416

    PDF
  • Complexity in Classificatory Reasoning

    Ashok Goel, N. Soundararajan, B. Chandrasekaran

    421

    PDF
  • All I Know: An Abridged Report

    Hector J. Levesque

    426

    PDF
  • Algorithm Synthesis through Problem Reformulation

    Michael R. Lowry

    432

    PDF
  • Curing Anomalous Extensions

    Paul Morris

    437

    PDF
  • Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults

    Robert Nado, Richard Fikes

    443

    PDF
  • Assimilation: A Strategy for Implementing Self-Reorganizing Knowledge Bases

    Jane Terry Nutter

    449

    PDF
  • The Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring

    James R. Allard, William F. Kaemmerer

    394

    PDF
  • Partial Compilation of Strategic Knowledge

    Russ B. Altman, Bruce G. Buchanan

    399

    PDF
  • Representing Databases in Frames

    Ey-Chih Chow

    405

    PDF

Machine Learning and Knowledge Acquisition

  • Optimizing the Predictive Value of Diagnostic Decision Rules

    Sholom M. Weiss, Robert S. Galen, Prasad V. Tadepalli

    521

    PDF
  • Learning to Control a Dynamic Physical System

    Margaret E. Connell, Paul E. Utgoff

    456

    PDF
  • Improving Inference through Conceptual Clustering

    Douglas Fisher

    461

    PDF
  • Learning Conjunctive Concepts in Structural Domains

    David Haussler

    466

    PDF
  • An Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision Analysis

    Max Henrion, Daniel R. Cooley

    471

    PDF
  • Formulating Concepts According to Purpose

    Smadar T. Kedar-Cabelli

    477

    PDF
  • Defining Operationality for Explanation-Based Learning

    Richard M. Keller

    482

    PDF
  • A KNACK for Knowledge Acquisition

    Georg Klinker, Casey Boyd, Serge Genetet, John McDermott

    488

    PDF
  • PROLEARN: Towards a Prolog Interpreter that Learns

    Armand E. Prieditis, Jack Mostow

    494

    PDF
  • Knowledge Level Learning in Soar

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

    499

    PDF
  • A Declarative Approach to Bias in Concept Learning

    Stuart J. Russell, Benjamin N. Grosof

    505

    PDF
  • Learning and Representation Change

    Jeffrey C. Schlimmer

    511

    PDF
  • BAGGER: An EBL System that Extends and Generalizes Explanations

    Jude W. Shavlik, Gerald F. DeJong

    516

    PDF

Natural Language

  • Interpreting Clues in Conjunction with Processing Restrictions in Arguments and Discourse

    Robin Cohen

    528

    PDF
  • UNITRAN: An Interlingual Approach to Machine Translation

    Bonnie Dorr

    534

    PDF
  • Recovering from Erroneous Inferences

    Kurt P. Eiselt

    540

    PDF
  • Interpretation in Generation

    Eduard H. Hovy

    545

    PDF
  • Word-Order Variation in Natural Language Generation

    Aravind K. Joshi

    550

    PDF
  • Porting and Extensible Natural Language Interface: A Case History

    Candace E. Kalish, Matthew B. Cox

    556

    PDF
  • Inference in Text Understanding

    Peter Norvig

    561

    PDF
  • The Acquisition of Conceptual Structure for the Lexicon

    James Pustejovsky, Sabine Bergler

    566

    PDF
  • Ambiguity Procrastination

    Elaine Rich, Jim Barnett, Kent Wittenburg, David Wroblewski

    571

    PDF
  • Memory-Based Reasoning Applied to English Pronunciation

    Craig W. Stanfill

    577

    PDF
  • Nondestructive Graph Unification

    David A. Wroblewski

    582

    PDF

Engineering Problem Solving

  • Making Partial Choices in Constraint Reasoning Problems

    Sanjay Mittal, Felix Frayman

    631

    PDF
  • PROMPT: An Innovative Design Tool

    Seshashayee S. Murthy, Sanjaya Addanki

    637

    PDF
  • Reasoning about Discontinuous Change

    Toyoaki Nishida, Shuji Doshita

    643

    PDF
  • Hierarchical Reasoning about Inequalities

    Elisha Sacks

    649

    PDF
  • Piecewise Linear Reasoning

    Elisha Sacks

    655

    PDF
  • Probabilistic Semantics for Qualitative Influences

    Michael P. Wellman

    660

    PDF
  • Extracting Qualitative Dynamics from Numerical Experiments

    Kenneth Man-kam Yip

    665

    PDF
  • Reasoning about Fluids via Molecular Collections

    John W. Collins, Kenneth D. Forbus

    590

    PDF
  • Extending the Mathematics in Qualitative Process Theory

    Bruce D'Ambrosio

    595

    PDF
  • Troubleshooting: When Modeling Is the Trouble

    Philippe Dague, Olivier Raiman, Philippe Devès

    600

    PDF
  • Explanation-Based Failure Recovery

    Ajay Gupta

    606

    PDF
  • Shape and Function in Mechanical Devices

    Leo Joskowicz

    611

    PDF
  • Critical Hypersurfaces and the Quantity Space

    Mieczyslaw M. Kokar

    616

    PDF
  • Abstraction by Time-Scale in Qualitative Simulation

    Benjamin Kuipers

    621

    PDF
  • Reasoning with Orders of Magnitude and Approximate Relations

    Michael L. Mavrovouniotis, George Stephanopoulos

    626

    PDF

Robotics

  • An Architecture for Intelligent Task Automation

    Jeffrey M. Becker, Fred L. Garrett

    672

    PDF
  • Reactive Reasoning and Planning

    Michael P. Georgeff, Amy L. Lansky

    677

    PDF
  • Visual Grammars for Visual Languages

    Fred Lakin

    683

    PDF
  • Qualitative Landmark-Based Path Planning and Following

    Tod S. Levitt, Daryl T. Lawton, David M. Chelberg, Philip C. Nelson

    689

    PDF
  • Insertions Using Geometric Analysis and Hybrid Force-Position Control on a PUMA 560 with VAL II

    David R. Strip

    695

    PDF

Vision

  • Bounds on Translational and Angular Velocity Components from First Order Derivatives of Image Flow

    Muralidhara Subbarao

    744

    PDF
  • Regularization Uses Fractal Priors

    Richard Szeliski

    749

    PDF
  • Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid Motion

    Demetri Terzopoulos, Andrew Witkin, Michael Kass

    755

    PDF
  • Shadow Stereo–Locating Object Boundaries Using Shadows

    William B. Thompson, Michael T. Checky, William F. Kaemmerer

    761

    PDF
  • Perceptual Significance Hierarchy: A Computer Vision Theory for Color Separation

    Deborah Walters, Ganapathy Krishnan

    767

    PDF
  • Visual Estimation of 3-D Line Segments from Motion–A Mobile Robot Vision System

    William M. Wells III

    772

    PDF
  • The Sensitivity of Motion and Structure Computations

    John L. Barron, Allan D. Jepson, John K. Tsotsos

    700

    PDF
  • Using Generic Geometric Models for Intelligent Shape Extraction

    Pascal Fua, Andrew J. Hanson

    706

    PDF
  • Detecting Runways in Aerial Images

    A. Huertas, W. Cole, R. Nevatia

    712

    PDF
  • Hypothesis Testing in a Computational Theory of Visual Word Recognition

    Jonathan J . Hull

    718

    PDF
  • An Integrated System that Unifies Multiple Shape from Texture Algorithms

    Mark L. Moerdler, Mark L. Moerdler

    723

    PDF
  • Similitude-lnvariant Pattern Recognition Using Parallel Distributed Processing

    K. Prazdny

    728

    PDF
  • Range Image Interpretation of Mail Pieces with Superquadrics

    Franc Solina, Ruzena Bajcsy

    733

    PDF
  • Closed Form Solution to the Structure from Motion Problem from Line Correspondences

    Minas E. Spetsakis, John (Yiannis) Aloimonos

    738

    PDF

Expert Systems

  • Data Validation during Diagnosis: A Step beyond Traditional Sensor Validation

    B. Chandrasekaran, W. F. Punch III

    778

    PDF
  • MU: A Development Environment for Prospective Reasoning Systems

    Paul R. Cohen, Michael Greenberg, Jefferson DeLisio

    783

    PDF
  • Diagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation

    Keith L. Downing

    789

    PDF
  • CAMEX–An Expert System for Process Planning on CNC Machines

    O. Eliyahu, L. Zaidenberg, M. Ben-Bassat

    794

    PDF
  • A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits

    Robert J. Hall, Richard H. Lathrop, Robert S. Kirk

    799

    PDF
  • KADBASE–A Prototype Expert System-Database Interface for Integrated CAE Environments

    H. Craig Howard, Daniel R. Rehak

    804

    PDF
  • An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process

    William F. Kaemmerer, James R. Allard

    809

    PDF
  • TEST: A Model-Driven Application Shell

    Gary S. Kahn, AI Kepner, Jeff Pepper

    814

    PDF
  • Script-Based Reasoning for Situation Monitoring

    Sharon J. Laskowski, Emily J. Hofmann

    819

    PDF
  • Assessing the Maintainability of XCON-in-RlME: Coping with the Problems of a VERY Large Rule-Base

    Elliot Soloway, Judy Bachant, Keith Jensen

    824

    PDF
  • Design as Refinement Plus Constraint Propagation: The VEXED Experience

    Louis I. Steinberg

    830

    PDF

Primary Sidebar