AAAI 1982

104 papers

A Corner Finding Algorithm for Image Analysis and Registration Jia-Qi Fang, Thomas S. Huang

A CSA Model-Based Nuclear Power Plant Consultant W. E. Underwood

A Framework for Distributed Problem Solving David McArthur, Randall Steeb, Stephanie J. Cammarata

A General Paradigm for A.I. Search Procedures Dana S. Nau, Vipin Kumar, Laveen N. Kanal

A Model Based Vision System for Recognition of Machine Parts Katsushi Ikeuchi, Yoshiaki Shirai

A Nonclausal Connection-Graph Resolution Theorem-Proving Program Mark E. Stickel

A Program That Learns to Solve Rubik's Cube Richard E. Korf

A Search Procedure for Perfect Information Games of Chance: Its Formulation and Analysis Bruce W. Ballard

A Synthetic Approach to Temporal Information Processing Mark D. Grover

A System for Reasoning About Time Marc B. Vilain

A Systematic Approach to Continuous Graph Labeling with Application to Computer Vision M. D. Diamond, N. Narasimhamurthi, S. Ganapathy

Acquisition of Appropriate Bias for Inductive Concept Learning Paul E. Utgoff, Tom M. Mitchell

Affect Processing for Narratives Michael G. Dyer

An Efficient Collision Warning Algorithm for Robot Arms E. Gordon Powell

An Expert System for Interpreting Speech Patterns Renato de Mori, Attilio Giordana, Lorenza Saitta, Pietro Laface

An Expert System That Volunteers Advice Jeff Shrager, Timothy W. Finin

An Explanation for Minimal Attachment and Right Association Robert Milne

An Overview of PhiNIX David R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal

ARBY: Diagnosis with Shallow Causal Models Drew V. McDermott, Ruven E. Brooks

ARGOT: The Rochester Dialogue System James F. Allen, Alan M. Frisch, Diane J. Litman

Argument Molecules: A Functional Representation of Argument Structure Lawrence Birnbaum

Automatic Schema Acquisition in a Natural Language Environment Gerald DeJong

Building Expert Systems for Controlling Complex Programs Sholom M. Weiss, Casimir A. Kulikowski, Chidanand Apté, Michael Uschold, Jay Patchett, Robert Brigham, Belynda Spitzer

Circumscription Implies Predicate Completion (Sometimes) Raymond Reiter

Circumscriptive Ignorance Kurt Konolige

Competence in Knowledge Representation Ronald J. Brachman, Hector J. Levesque

Conceptual Dependency and Montague Grammar: A Step Toward Conciliation Mark A. Jones, David Scott Warren

Consistent-Labeling Problems and Their Algorithms Bernard Nudel

DADO: A Tree-Structured Machine Architecture for Production Systems Salvatore J. Stolfo, David Elliot Shaw

Deep Versus Compiled Knowledge Approaches to Diagnostic Problem-Solving B. Chandrasekaran, Sanjay Mittal

Determining Surface Type from Surface Normals Paul Amaranth, William Jaynes

Development of an Overall Direction-of-Action Sensor for Robots Tokuji Okada

Diagnosis Based on Description of Structure and Function Randall Davis, Howard E. Shrobe, Walter Hamscher, Kären Wieckert, Mark Shirley, Steve Polit

Diagnosis Using Hierarchical Design Models Michael R. Genesereth

Dividing up the Question Answering Process Marc Luria

Edge Detection in Optical Flow Fields William B. Thompson, Kathleen M. Mutch, Valdis Berzins

Efficient Minimum Information Updating for Bayesian Inferencing in Expert Systems John F. Lemmer, Stephen W. Barth

Error Detection and Recovery in a Dynamic Planning Environment Blake Ward, Gordon I. McCalla

Evaluating Search Methods Analytically Paul Walton Purdom Jr., Cynthia A. Brown

Event Shape Diagrams David L. Waltz

Experiential Learning in Analogical Problem Solving Jaime G. Carbonell

Expert Systems: A User's Perspective of Some Current Tools Susan P. Ennis

Final Position Control in Planar Horizontal Arm Movements Jonathan Delatizky

Foundations of Envisioning Johan de Kleer, John Seely Brown

Frame-Based Computer Network Monitoring Lawrence A. Stabile

Getting the Envisionment Right Benjamin Kuipers

GIST English Generator William R. Swartout

GLISP: A High-Level Language for A.I. Programming Gordon S. Novak

Graphical Animation from Knowledge Daniel E. Neiman

Heuretics: Theoretical and Experimental Study of Heuristic Rules Douglas B. Lenat

IDT: An Intelligent Diagnostic Tool Hal Shubin, John Wade Ulrich

Induction of Causal Relationships from a Time-Oriented Clinical Database: An Overview of the RX Project Robert L. Blum

Information Acquisition in Diagnosis Ramesh S. Patil, Peter Szolovits, William B. Schwartz

Inheritance of Statistical Properties Neil C. Rowe

Intensity-Based Edge Classification Andrew P. Witkin

Job-Shop Scheduling: An Investigation in Constraint-Directed Reasoning Mark S. Fox, Bradley P. Allen, Gary Strohm

Knowledge Integration in Text Recognition Sargur N. Srihari, Jonathan J. Hull

Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology Charles Kellogg

Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too Charles Rich

Learning by Chunking: Summary of a Task and a Model Paul S. Rosenbloom, Allen Newell

Local Computation of Shape Alex Pentland

Modeling and Using Physical Constraints in Scene Analysis Martin A. Fischler, Stephen T. Barnard, Robert C. Bolles, Michael R. Lowry, L. H. Quam, G. Smith, Andrew P. Witkin

Modeling Motion with Qualitative Process Theory Kenneth D. Forbus

Monitors as Responses to Questions: Determining Competence Eric Mays

Multiple Inheritance in Smalltalk-BO Alan Borning, Daniel H. H. Ingalls

On Being Contradictory Margot Flowers

PANDORA: A Program for Doing Commonsense Planning in Complex Situations Joseph Faletti

Plan Recognition Strategies in Student Modeling: Prediction and Description Bob London, William J. Clancey

Plan Understanding, Narrative Comprehension, and Story Schemas William F. Brewer

Planning Natural-Language Utterances Douglas E. Appelt

PLANT/ds Revisited: Non-Homogeneous Evaluation Schema in Expert Systems Carl T. Uhrik

Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover Mabry Tyson

RABBIT: An Intelligent Database Assistant Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone

REACTOR: An Expert System for Diagnosis and Treatment of Nuclear Reactor Accidents William R. Nelson

Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving Techniques Laurent Siklóssy, Jean-Louis Laurière

Representing Smooth Plane Curves for Recognition: Implications for Figure-Ground Reversal D. D. Hoffman, W. A. Richards

Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach Judea Pearl

Route Finding in Street Maps by Computers and People R. J. Elliott, Michael Lesk

Salience as a Simplifying Metaphor for Natural Language Generation David D. McDonald, E. Jeffrey Conklin

Scenarios as an Aid to Planning Rajendra S. Wall, Edwina L. Rissland

Segmentation of Images into Regions Using Edge Information Gérard G. Medioni

Solving the Find-Path Problem by Good Representation of Free Space Rodney A. Brooks

Spatial and Temporal Reasoning in Geologic mAP Interpretation Reid G. Simmons

SPEX: A Second-Generation Experiment Design System Yumi Iwasaki, Peter Friedland

Stability of Automatic Guidance for a Mobile Robot L. Y. Shih

SWIRL: An Object-Oriented Air Battle Simulator Philip Klahr, David McArthur, Sanjai Narain

Synchronization of Multi-Agent Plans Jeffrey S. Rosenschein

Talking to UNIX in English: An Overview of UC Robert Wilensky

The CMU Rover Hans P. Moravec

The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications Van E. Kelly, Louis I. Steinberg

The QBKG System: Generating Explanations from a Non-Discrete Knowledge Representation Hans J. Berliner, David H. Ackley

The Role of Experience in Development of Expertise Janet L. Kolodner

The Role of Eye Position Information in Algorithms for Stereoscopic Matching K. Prazdny

The Role of Logic in Knowledge Representation and Commonsense Reasoning Robert C. Moore

Toward a Learning of Object Models Using Analogical Objects and Verbal Instruction Norihiro Abe, Fumihide Itoh, Saburo Tsuji

Toward Connectionist Parsing Steven L. Small, Garrison W. Cottrell, Lokendra Shastri

Tracking Known Three-Dimensional Objects Donald B. Gennery

Unifying Data-Directed and Goal-Directed Control: An Example and Experiments Daniel D. Corkill, Victor R. Lesser, Eva Hudlicka

User Participation in the Reasoning Processes of Expert Systems Martha E. Pollack, Julia Hirschberg, Bonnie L. Webber

Using Temporal Abstraction to Understand Recursive Programs Involving Side Effects Joachim H. Laubsch, Marc Eisenstadt

Why Do Children Misunderstand Reversible Passives? the CHILD Program Learns to Understand Passive Sentences Mallory Selfridge

Why Perspective Is Difficult: How Two Algorithms Fail John R. Kender

Word Learning with Hierarchy-Guided Inference David M. Keirsey

Word Sense and Case Slot Disambiguation Graeme Hirst, Eugene Charniak