AAAI 1984

69 papers

A Forward Inference Engine to Aid in Understanding Specifications Donald Cohen

A General Bottom-up Procedure for Searching And/Or Graphs Vipin Kumar

A Logic of Implicit and Explicit Belief Hector J. Levesque

A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution Christoph Walther

A Model of Lexical Access of Ambiguous Words Garrison W. Cottrell

A Production Rule System for Message Summarization Elaine Marsh, Henry Hamburger, Ralph Grishman

A Representation for Image Curves David H. Marimont

A Self-Modifying Theorem Prover Cynthia A. Brown

A Self-Organizing Retrieval System for Graphs Robert Levinson

A Semantic Process for Syntactic Disambiguation Graeme Hirst

A Set-Theoretic Framework for the Processing of Uncertain Knowledge Shin-Yee Lu, Harry E. Stephanou

A System of Plans for Connected Speech Recognition Renato de Mori, Yu F. Mong

A Theory of Action for MultiAgent Planning Michael P. Georgeff

An Interactive Computer-Based Tutor for LISP Robert G. Farrell, John R. Anderson, Brian J. Reiser

Automated Cognitive Modeling Pat Langley, Stellan Ohlsson

Choices Without Backtracking Johan de Kleer

Classification Problem Solving William J. Clancey

Constraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks Matthew Morgenstern

Constraint Limited Generalization: Acquiring Procedures from Examples Peter M. Andreae

Constraint-Based Generalization: Learning Game-Playing Plans from Single Examples Steven Minton

Context-Dependent Transitions in Tutoring Discourse Beverly Park Woolf, David D. McDonald

Continuous Belief Functions for Evidential Reasoning Thomas M. Strat

D-Node Retargeting in Bidirectional Heuristic Search George Politowski, Ira Pohl

Diagnosing Circuits with State: An Inherently Underconstrained Problem Walter Hamscher, Randall Davis

Domain Independent Object Description and Decomposition Tod S. Levitt

Efficient Multiresolution Algorithms for Computing Lightness, Shape-from-Shading, and Optical Flow Demetri Terzopoulos

Explaining and Arguing with Examples Edwina L. Rissland, Eduardo M. Valcarce, Kevin D. Ashley

Expressiveness of Languages Jock D. Mackinlay, Michael R. Genesereth

Fingerprints Theorems Alan L. Yuille, Tomaso A. Poggio

Five Parallel Algorithms for Production System Execution on the DADO Machine Salvatore J. Stolfo

Focusing in Plan Recognition Norman Carver, Victor R. Lesser, Daniel L. McCue

Frame Selection in Parsing Steven L. Lytinen

Generalization for Explanation-Based Schema Acquisition Paul O'Rorke

Generalization Heuristics for Theorems Related to Recursively Defined Functions S. Kamal Abdali, Jan Vytopil

Hardware and Software Architectures for Efficient AI Michael F. Deering

How to Cope with Anomalies in Parallel Approximate Branch-and-Bound Algorithms Guo-Jie Li, Benjamin W. Wah

Implicit Ordering of Defaults in Inheritance Systems David S. Touretzky

Initial Assessment of Architectures for Production Systems Charles Forgy, Anoop Gupta, Allen Newell, Robert G. Wedig

Intention-Based Diagnosis of Programming Errors W. Lewis Johnson, Elliot Soloway

Knowledge Inversion Yoav Shoham, Drew V. McDermott

Learning About Systems That Contain State Variables Thomas G. Dietterich

Learning Operator Transformations Bruce W. Porter, Dennis F. Kibler

Learning Problem Classes by Means of Experimentation and Generalization Agustin A. Araya

Likelihood, Probability, and Knowledge Joseph Y. Halpern, David A. McAllester

Living up to Expectations: Computing Expert Responses Aravind K. Joshi, Bonnie L. Webber, Ralph M. Weischedel

Maintaining Diversity in Genetic Search Michael L. Mauldin

Meta-Level Control Through Fault Detection and Diagnosis Eva Hudlicka, Victor R. Lesser

Non-Monotonic Reasoning Using Dempster's Rule Matthew L. Ginsberg

Path Relaxation: Path Planning for a Mobile Robot Charles E. Thorpe

Personal Construct Theory and the Transfer of Human Expertise John H. Boose

Phenomenologically Plausible Parsing David L. Waltz, Jordan B. Pollack

Processing Entailments and Accessing Facts in a Uniform Frame System Anthony S. Maida

Qualitative Modeling in the Turbojet Engine Domain Raman Rajagopalan

Qualitative Reasoning with Higher-Order Derivatives Johan de Kleer, Daniel G. Bobrow

Reconstructing a Visible Surface Andrew Blake

Referential Determinism and Computational Efficiency: Posting Constraints from Deep Structure Gavan Duffy, John C. Mallery

Selective Abstraction of AI System Activity Jasmina Pavlin, Daniel D. Corkill

Self-Explanatory Financial Planning Models Donald W. Kosy, Ben P. Wise

Shading into Texture Alex Pentland

Syntax Programming Stefan Feyock

Task Frames in Robot Manipulation Dana H. Ballard

The Shape of Subjective Contours Jon A. Webb, Edward Pervin

The Tractability of Subsumption in Frame-Based Description Languages Ronald J. Brachman, Hector J. Levesque

The Use of Continuity in a Qualitative Physics Brian C. Williams

Three Findpath Problems Richard S. Wallace

Towards a Better Understanding of Bidirectional Search Henry W. Davis, Randy B. Pollack, Thomas A. Sudkamp

Towards Chunking as a General Learning Mechanism John E. Laird, Paul S. Rosenbloom, Allen Newell

Very-High-Level Programming of Knowledge Representation Schemes Stephen J. Westfold

YES/MVS: A Continuous Real Time Expert System James H. Griesmer, Se June Hong, Maurice Karnaugh, John K. Kastner, Marshall I. Schor, Robert L. Ennis, David A. Klein, Keith R. Milliken, Hugo M. Van Woerkom