AAAI 1987

149 papers

A Declarative Approach to Bias in Concept Learning Stuart J. Russell, Benjamin N. Grosof

A KNACK for Knowledge Acquisition Georg Klinker, Casey Boyd, Serge Genetet, John P. McDermott

A Mechanism for Early Piagetian Learning Gary L. Drescher

A Model for Concurrent Actions Having Temporal Extent Richard N. Pelavin, James F. Allen

A Model of Two-Player Evaluation Functions Bruce Abramson, Richard E. Korf

A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits Robert J. Hall, Richard H. Lathrop, Robert S. Kirk

A Multiprocessor Architecture for Production System Matching Michael A. Kelly, Rudolph E. Seviora

A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts Peiya Liu, Ruey-Juin Chang

A Parallel Implementation of Iterative-Deepening-A* V. Nageshwara Rao, Vipin Kumar, K. Ramesh

A Parallel Resolution Procedure Based on Connection Graph P. Daniel Cheng, J. Y. Yuang

A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks John F. Horty, Richmond H. Thomason, David S. Touretzky

A Theory of Default Reasoning Wlodek Zadrozny

Abstraction by Time-Scale in Qualitative Simulation Benjamin Kuipers

Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures Daniel D. Corkill, Kevin Q. Gallagher, Philip M. Johnson

Algorithm Synthesis Through Problem Reformulation Michael R. Lowry

All I Know: An Abridged Report Hector J. Levesque

Ambiguity Procrastination Elaine Rich, Jim Barnett, Kent Wittenburg, David A. Wroblewski

An Approach to Default Reasoning Based on a First-Order Conditional Logic James P. Delgrande

An Architecture for Intelligent Task Automation Jeffrey M. Becker, Fred L. Garrett

An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process William Kaemmerer, James R. Allard

An Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision Analysis Max Henrion, Daniel R. Cooley

An Integrated System That Unifies Multiple Shape from Texture Algorithms Mark L. Moerdler, John R. Kender

An Intelligent Tutoring System for Interpreting Ground Tracks Kathleen M. Swigger, Hugh Burns, Harry Loveland, Terresa Jackson

An Investigation into Reactive Planning in Complex Domains R. James Firby

Analogical Processing: A Simulation and Empirical Corroboration Janice Skorstad, Brian Falkenhainer, Dedre Gentner

AQUA: Asking Questions and Understanding Answers Ashwin Ram

Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base Elliot Soloway, Judy Bachant, Keith Jensen

Assimilation: A Strategy for Implementing Self-Reorganizing Knowledge Bases Jane Terry Nutter

BAGGER: An EBL System That Extends and Generalizes Explanations Jude W. Shavlik, Gerald DeJong

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

Building a Community Memory for Intelligent Tutoring Systems Beverly Park Woolf, Pat Cunningham

CAMEX - An Expert System for Process Planning on CNC Machines O. Eliyahu, Lev Zaidenberg, Moshe Ben-Bassat

Case-Based Problem Solving with a Large Knowledge Base of Learned Cases Wendy G. Lehnert

CCLISP™ on the iPSC™ Concurrent Computer David Billstrom, Joseph Brandenburg, John Teeter

Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation (Preliminary Report) Vladimir Lifschitz

Closed Form Solution to the Structure from Motion Problem from Line Correspondences Minas E. Spetsakis, Yiannis Aloimonos

Compare and Contrast: A Test of Expertise Kevin D. Ashley, Edwina L. Rissland

Comparing Minimax and Product in a Variety of Games Ping-Ching Chi, Dana S. Nau

Compiling Plan Operators from Domains Expressed in Qualitative Process Theory John C. Hogge

Complexity in Classificatory Reasoning Ashok K. Goel, Neelam Soundararajan, B. Chandrasekaran

Computational Costs Versus Benefits of Control Reasoning Alan Garvey, Craig Cornelius, Barbara Hayes-Roth

Counterfactual Reasoning with Direct Models Mark Derthick

CP as a General-Purpose Constraint-Language Vijay A. Saraswat

Critical Hypersurfaces and the Quantity Space Mieczyslaw M. Kokar

Curing Anomalous Extensions Paul Morris

Data Validation During Diagnosis: A Step Beyond Traditional Sensor Validation B. Chandrasekaran, William F. Punch Iii

Default Reasoning Through Belief Revision Strategy Chern H. Seet

Defining Operationality for Explanation-Based Learning Richard M. Keller

Design as Refinement Plus Constraint Propagation: The VEXED Experience Louis I. Steinberg

Detecting Runways in Aerial Images Andres Huertas, William Cole, Ramakant Nevatia

Diagnostic Improvement Through Qualitative Sensitivity Analysis and Aggregation Keith L. Downing

Efficiency Analysis of Multiple-Context TMSs in Scene Representation Gregory M. Provan

Embracing Causality in Formal Reasoning Judea Pearl

Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid Motion Demetri Terzopoulos, Andrew P. Witkin, Michael Kass

Explanation-Based Failure Recovery Ajay Gupta

Extending the Mathematics in Qualitative Process Theory Bruce D'Ambrosio

Extracting Qualitative Dynamics from Numerical Experiments Kenneth Man-kam Yip

Filming a Terrain Under Uncertainty Using Temporal and Probahilistic Reasoning Raymond D. Gumb

Formulating Concepts According to Purpose Smadar T. Kedar-Cabelli

Forward Chaining Logic Programming with the ATMS Nicholas S. Flann, Thomas G. Dietterich, Dan R. Corpon

Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report Raymond Reiter, Johan de Kleer

From Intelligent Tutoring to Computerized Psychotherapy David Servan-Schreiber

Goal-Based Generation of Motivational Expressions in a Learning Environment Ingrid Zukerman

Hierarchical Reasoning About Inequalities Elisha Sacks

Hypothesis Testing in a Computational Theory of Visual Word Recognition Jonathan J. Hull

Improving Inference Through Conceptual Clustering Douglas H. Fisher

Incremental Causal Reasoning Thomas L. Dean, Mark S. Boddy

Incremental Inference: Getting Multiple Agents to Agree on What to Do Next Gary C. Borchardt

Inference in Text Understanding Peter Norvig

Inferring Formal Software Specifications from Episodic Descriptions Van E. Kelly, Uwe Nonnenmann

Information Retrieval from Never-Ending Stories Lisa F. Rau

Insertions Using Geometric Analysis and Hybrid Force-Position Control on a PUMA 560 with VAL II David R. Strip

Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture M. Vaughan Johnson Jr., Barbara Hayes-Roth

Intention = Choice + Commitment Philip R. Cohen, Hector J. Levesque

Interpretation in Generation Eduard H. Hovy

Interpreting Clues in Conjunction with Processing Restrictions in Arguments and Discourse Robin Cohen

Joshua: Uniform Access to Heterogeneous Knowledge Structures, or Why Joshing Is Better than Conniving or Planning Steve Rowley, Howard E. Shrobe, Robert Cassels, Walter Hamscher

KADBASE - A Prototype Expert System-Database Interface for Integrated CAE Environments H. Craig Howard, Daniel R. Rehak

Knowledge Level Learning in Soar Paul S. Rosenbloom, John E. Laird, Allen Newell

Learning and Representation Change Jeffrey C. Schlimmer

Learning Conjunctive Concepts in Structural Domains David Haussler

Learning to Control a Dynamic Physical System Margaret E. Connell, Paul E. Utgoff

Localized Representation and Planning Methods for Parallel Domains Amy L. Lansky, David S. Fogelsong

Making Partial Choices in Constraint Reasoning Problems Sanjay Mittal, Felix Frayman

Material Handling: A Conservative Domain for Neural Connectivity and Propagation H. Van Dyke Parunak, James Kindrick, Bruce W. Irish

Memory-Based Reasoning Applied to English Pronunciation Craig Stanfill

Models of Axioms for Time Intervals Peter B. Ladkin

Modular Learning in Neural Networks Dana H. Ballard

More on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance David W. Etherington

MU: A Development Environment for Prospective Reasoning Systems Paul R. Cohen, Michael Greenberg, Jefferson DeLisio

Non-Deterministic Lisp with Dependency-Directed Backtracking Ramin Zabih, David A. McAllester, David Chapman

Nondestructive Graph Unification David A. Wroblewski

On Stratified Autoepistemic Theories Michael Gelfond

On the Expressiveness of Rule-Based Systems for Reasoning with Uncertainty David Heckerman, Eric Horvitz

Optimizing the Predictive Value of Diagnostic Decision Rules Sholom M. Weiss, Robert S. Galen, Prasad Tadepalli

Partial Compilation of Strategic Knowledge Russ B. Altman, Bruce G. Buchanan

Path Dissolution: A Strongly Complete Rule of Inference Neil V. Murray, Erik Rosenthal

Pengi: An Implementation of a Theory of Activity Philip E. Agre, David Chapman

Perceptual Significance Hierarchy: A Computer Vision Theory for Color Separation Deborah Walters, Ganapathy Krishnan

Piecewise Linear Reasoning Elisha Sacks

Plan Inference and Student Modeling in ICAI Y. M. Visetti, Philippe Dague

Porting and Extensible Natural Language Interface: A Case History Candace E. Kalish, Matthew B. Cox

Possible Worlds and the Qualification Problem Matthew L. Ginsberg, David E. Smith

Probabilistic Semantics for Qualitative Influences Michael P. Wellman

PROLEARN: Towards a Prolog Interpreter That Learns Armand Prieditis, Jack Mostow

PROMPT: An Innovative Design Tool Seshashayee S. Murthy, Sanjaya Addanki

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

Qualitative Landmark-Based Path Planning and Following Tod S. Levitt, Daryl T. Lawton, David M. Chelberg, Philip C. Nelson

Range Image Interpretation of Mail Pieces with Superquadrics Franc Solina, Ruzena Bajcsy

Reactive Reasoning and Planning Michael P. Georgeff, Amy L. Lansky

Real-Time Heuristic Search: First Results Richard E. Korf

Reasoning About Discontinuous Change Toyoaki Nishida, Shuji Doshita

Reasoning About Exceptions During Plan Execution Monitoring Carol A. Broverman, W. Bruce Croft

Reasoning About Fluids via Molecular Collections John W. Collins, Kenneth D. Forbus

Reasoning in the Presence of Inconsistency Fangzhen Lin

Reasoning with Orders of Magnitude and Approximate Relations Michael L. Mavrovouniotis, George Stephanopoulos

Recent Developments in Butterfly™ Lisp Donald C. Allen, Seth A. Steinberg, Lawrence A. Stabile

Recovering from Erroneous Inferences Kurt P. Eiselt

Reducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions Hsinchun Chen, Vasant Dhar

Regularization Uses Fractal Priors Richard Szeliski

Removing Redundancies in Constraint Networks Avi Dechter, Rina Dechter

Representing Databases in Frames Ey-Chih Chow

Revised Dependencydirected Backtracking for Default Reasoning Charles J. Petrie

Rules for the Implicit Acquisition of Knowledge About the User Robert Kass, Tim Finin

Script-Based Reasoning for Situation Monitoring Sharon J. Laskowski, Emily J. Hofmann

Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults Robert Nado, Richard Fikes

Shadow Stereo-Locating Object Boundaries Using Shadows William B. Thompson, Michael T. Checky, William Kaemmerer

Shape and Function in Mechanical Devices Leo Joskowicz

Similitude-Invariant Pattern Recognition Using Parallel Distributed Processing K. Prasdny

Simple Causal Minimizations for Temporal Persistence and Projection Brian A. Haugh

Synthesizing Algorithms with Performance Constraints Robert McCartney

TAXI: A Taxonomic Assistant Thomas Y. Galloway

TEST: A Model-Driven Application Shell Gary S. Kahn, Al Kepner, Jeff Pepper

The Acquisition of Conceptual Structure for the Lexicon James Pustejovsky, Sabine Bergler

The Consistent Labeling Problem in Temporal Reasoning Edward P. K. Tsang

The Deductive Synthesis of Imperative LISP Programs Zohar Manna, Richard J. Waldinger

The Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring James R. Allard, William Kaemmerer

The Logic of Representing Dependencies by Directed Graphs Judea Pearl, Thomas Verma

The Satisfiability of Temporal Constraint Networks Raúl E. Valdés-Pérez

The Sensitivity of Motion and Structure Computations John L. Barron, Allan D. Jepson, John K. Tsotsos

TREAT: A Better Match Algorithm for AI Production System Matching Daniel P. Miranker

Troubleshooting: When Modeling Is the Trouble Philippe Dague, Olivier Raiman, Philippe Deves

UNITRAN: An Interlingual Approach to Machine Translation Bonnie J. Dorr

Using Generic Geometric Models for Intelligent Shape Extraction Pascal Fua, Andrew J. Hanson

Using Goal Interactions to Guide Planning Caroline C. Hayes

Validating Generalized Plans in the Presence of Incomplete Information Marianne Winslett

Visual Estimation of 3-D Line Segments from Motion - A Mobile Robot Vision System William M. Wells Iii

Visual Grammars for Visual Languages Fred Lakin

Word-Order Variation in Natural Language Generation Aravind K. Joshi