AAAI 1983

92 papers

A Chess Program That Chunks Murray Campbell, Hans J. Berliner

A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF Nelleke Aiello

A Design Method for Relaxation Labeling Applications Robert A. Hummel

A Doubly Layered, Genetic Penetrance Learning System Larry A. Rendell

A Model of Learning by Incremental Analogical Reasoning and Debugging Mark H. Burstein

A New Inference Method for Frame-Based Expert Systems James A. Reggia, Dana S. Nau, Pearl Y. Wang

A Problem-Solver for Making Advice Operational Jack Mostow

A Production System for Learning Plans from an Expert D. Paul Benjamin, Malcolm C. Harrison

A Rule-Based Approach to Information Retrieval: Some Results and Comments Richard M. Tong, Daniel G. Shapiro, Brian P. McCune, Jeffrey S. Dean

A Theorem-Prover for a Decidable Subset of Default Logic Philippe Besnard, Rene Quiniou, Patrice Quinton

A Theory of Game Trees Chun-Hung Tzeng, Paul Walton Purdom Jr.

A Variational Approach to Edge Detection John F. Canny

Abstract Explanations of Strategy in a Diagnostic Consultation System Diane Warner Hasling

An Analysis of a Welfare Eligibility Determination Interview: A Planning Approach Eswaran Subrahmanian

An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation Elaine Pettit, Kathleen M. Swigger

An Automatic Algorithm Designer: An Initial Implementation Elaine Kant, Allen Newell

An Intelligent Aid for Circuit Redesign Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey S. Shulman, Timothy Weinrich

An Iterative Method for Reconstructing Convex Polyhedra from External Guassian Images James J. Little

An Object-Oriented Simulator for the Apiary Henry Lieberman

An Overview of Meta-Level Architecture Michael R. Genesereth

An Overview of the Penman Text Generation System William C. Mann

Analysis of Physiological Behavior Using a Causal Model Based on First Principles John C. Kunz

Analyzing the Roles of Descriptions and Actions in Open Systems Carl Hewitt, Peter de Jong

Appropriate Lengths Between Phalanges of Multijointed Fingers for Stable Grasping Tokuji Okada, Takeo Kanade

Communication and Interaction in Multi-Agent Planning Michael P. Georgeff

Constraining a Deterministic Parser Joan Bachenko, Donald Hindle, Eileen Fitzpatrick

Data Dependencies on Inequalities Drew V. McDermott

Default Reasoning as Likelihood Reasoning Elaine Rich

Default Reasoning Using Monotonic Logic: A Modest Proposal Jane Terry Nutter

Derivational Analogy and Its Role in Problem Solving Jaime G. Carbonell

Deterministic and Bottom-up Parsing in Prolog Edward P. Stabler Jr.

Diagnosis via Causal Reasoning: Paths of Interaction and the Locality Principle Randall Davis

Episodic Learning Dennis F. Kibler, Bruce W. Porter

Expert System Consultation Control Strategy James R. Slagle, Michael W. Gaynor

Find-Path for a PUMA-Class Robot Rodney A. Brooks

Finding All of the Solutions to a Problem David E. Smith

Generating Hypotheses to Explain Prediction Failures Steven Salzberg

Human Procedural Skill Acquisition: Theory, Model and Psychological Validation Kurt VanLehn

Improving the Expressiveness of Many Sorted Logic Anthony G. Cohn

IMPULSE: A Display Oriented Editor for STROBE Eric Schoen, Reid G. Smith

Inference-Driven Semantic Analysis Martha Stone Palmer

Intelligent Control Using Integrity Constraints Madhur Kohli, Jack Minker

Interactive Script Instantiation Michael J. Pazzani

Knowledge-Based Programming Using Abstract Data Types Gordon S. Novak

KRYPTON: Integrating Terminology and Assertion Ronald J. Brachman, Hector J. Levesque, Richard Fikes

Learning by Re-Expressing Concepts for Efficient Recognition Richard M. Keller

Learning Operator Semantics by Analogy Sarah A. Douglas, Thomas P. Moran

Learning Physical Descriptions from Functional Definitions, Examples, and Precedents Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry

Learning: The Construction of a Posteriori Knowledge Structures Paul D. Scott

Mapping Between Semantic Representations Using Horn Clauses Ralph M. Weischedel

Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines Scott E. Fahlman, Geoffrey E. Hinton, Terrence J. Sejnowski

MCHART: A Flexible, Modular Chart Parsing System Henry S. Thompson

Model-Based Interpretation of Range Imagery Darwin T. Kuan, Robert J. Drazovich

Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation Benjamin Kuipers

Non-Minimax Search Strategies for Use Against Fallible Opponents Andrew L. Reibman, Bruce W. Ballard

On Inheritance Hierarchies with Exceptions David W. Etherington, Raymond Reiter

Operator Decomposability: A New Type of Problem Structure Richard E. Korf

Perceptual Organization as a Basis for Visual Recognition David G. Lowe, Thomas O. Binford

Phonotactic and Lexical Constraints in Speech Recognition Daniel P. Huttenlocher, Victor W. Sue

Planning and Goal Interaction: The Use of past Solutions in Present Situations Kristian J. Hammond

Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach Jasmina Pavlin

Proving the Correctness of Digital Hardware Designs Harry G. Barrow

QE-III: A Formal Approach to Natural Language Ouerying James Clifford

Reasoning About State from Causation and Time in a Medical Domain William J. Long

Reasons for Beliefs in Understanding: Applications of Non-Monotonic Dependencies to Story Processing Paul O'Rorke

Recursion in TEXT and Its Use in Language Generation Kathleen R. McKeown

Repairing Miscommunication: Relaxation in Reference Bradley A. Goodman

RESEARCHER: An Overview Michael Lebowitz

Rule Based Strategies for Image Interpretation Terry E. Weymouth, J. S. Griffith, Allen R. Hanson, Edward M. Riseman

Schema Selection and Stochastic Inference in Modular Environments Paul Smolensky

Six Problems for Story Understanders Peter Norvig

Solving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and Their Expected Complexities Bernard Nudel

Specification-Based Computing Environments Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches

STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior Richard H. Granger, Kurt P. Eiselt, Jennifer K. Holbrook

Surface Constraints from Linear Extents John R. Kender

TALIB: An IC Layout Design Assistant Jin Kim, John P. McDermott

The Advantages of Abstract Control Knowledge in Expert System Design William J. Clancey

The Bayesian Basis of Common Sense Medical Diagnosis Eugene Charniak

The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound Procedures Vipin Kumar, Laveen N. Kanal

The Decomposition of a Large Domain: Reasoning About Machines Craig Stanfill

The Denotational Semantics of Horn Clauses as a Production System Jean-Louis Lassez, Michael J. Maher

The Design of a Legal Analysis Program Anne v. d. L. Gardner

The GIST Behavior Explainer William R. Swartout

The Optimality of A* Revisited Rina Dechter, Judea Pearl

The Use of Qualitative and Quantitative Simulations Reid G. Simmons

Theory Resolution: Building in Nonequational Theories Mark E. Stickel

Three Dimensions of Design Development Neil M. Goldman

Tracking User Goals in an Information-Seeking Environment Sandra Carberry

Two Results Concerning Ambiguity in Shape from Shading Michael J. Brooks

Using Structural and Functional Information in Diagnostic Design Walter Hamscher

Why AM and Eurisko Appear to Work Douglas B. Lenat, John Seely Brown

YAPS: A Production Rule System Meets Objects Elizabeth Allen