AAAI 1991

159 papers

A Cognitively Plausible Approach to Understanding Complex Syntax Claire Cardie, Wendy G. Lehnert

A Complexity Analysis of Cooperative Mechanisms in Reinforcement Learning Steven D. Whitehead

A Critique of Yoav Shoham's Theory of Causal Reasoning Antony Galton

A Dynamic Organizational Architecture for Adaptive Problem Solving Les Gasser, Toru Ishida

A Fast Path Planner for a Car-like Indoor Mobile Robot Jean-Claude Latombe

A Logic and Time Nets for Probabilistic Inference Keiji Kanazawa

A Logic of Situated Know-How Munindar P. Singh

A Minimal Encoding Approach to Feature Discovery Mark Derthick

A Multilayered Empirical Approach to Multimodality: Towards Mixed Solutions of Natural Language and Graphical Interfaces Jürgen Krause

A New Admissible Heuristic for Minimal-Cost Proofs Eugene Charniak, Saadia Husain

A New Framework for Sensor Interpretation: Planning to Resolve Sources of Uncertainty Norman Carver, Victor R. Lesser

A Probabilistic Model of Plan Recognition Eugene Charniak, Robert P. Goldman

A Quantitative Theory for Plan Merging David E. Foulser, Ming Li, Qiang Yang

A Tabular Method for Island-Driven Context-Free Grammar Parsing Giorgio Satta, Oliviero Stock

A Tool for Achieving Consensus in Knowledge Representation Loren G. Terveen, David A. Wroblewski

ACP: Reason Maintenance and Inference Control for Constraint Propagation over Intervals Walter Hamscher

Adaptive Pattern-Oriented Chess Robert Levinson, Richard Snyder

AGENT0: A Simple Agent Language and Its Interpreter Yoav Shoham

ALFRESCO: Enjoying the Combination of Natural Language Processing and Hypermedia for Information Exploration Oliviero Stock

An Algorithm for Real-Time Tracking of Non-Rigid Objects John Woodfill, Ramin Zabih

An Analysis of Error Recovery and Sensory Integration for Dynamic Planners Bruce Abramson

An Approach to Hypermedia in Diagnostic Systems Suhayya Abu-Hakima, Mike Halasz, Sieu Phan

An Efficient First-Order Horn-Clause Abduction System Based on the ATMS Hwee Tou Ng, Raymond J. Mooney

An Efficient Reactive Planner for Synthesizing Reactive Plans Patrice Godefroid, Froduald Kabanza

An Indexing Vocabulary for Case-Based Explanation David B. Leake

Analyses of Instance-Based Learning Algorithms Marc K. Albert, David W. Aha

Analysis of the Internal Representations in Neural Networks for Machine Intelligence Lai-Wan Chan

Analytic Solution of Qualitative Differential Equations Philip Schaefer

Anytime Problem Solving Using Dynamic Programming Mark S. Boddy

Approximate Reasoning Systems: A Personal Perspective Piero P. Bonissone

Arc-Consistency in Dynamic Constraint Satisfaction Problems Christian Bessière

Augmenting a Nominal Assembly Motion Plan with a Compliant Behavior Gordon A. Dakin, Robin J. Popplestone

Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis Toyoaki Nishida, Kenji Mizutani, Atsushi Kubota, Shuji Doshita

Automatic Generation of Formatted Text Eduard H. Hovy, Yigal Arens

Automatic Generation of Object Class Descriptions Using Symbolic Learning Techniques Robert L. Cromwell, Avinash C. Kak

Automatic Programming of Behavior-Based Robots Using Reinforcement Learning Sridhar Mahadevan, Jonathan Connell

Automating the Generation of Coordinated Multimedia Explanations Steven Feiner, Kathleen R. McKeown

Behavioral Aggregation Within Complex Situations: A Case Study Involving Dynamic Equilibria Shankar A. Rajamoney, Sang Hoe Koo

CATMS: An ATMS Which Avoids Label Explosions John W. Collins, Dennis DeCoste

Characterizing Abstraction Hierarchies for Planning Craig A. Knoblock, Josh D. Tenenberg, Qiang Yang

Characterizing Non-Intermittent Faults Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley

Combining Opinions About the Order of Rule Execution Jeffrey A. Barnett

Combining Qualitative and Quantitative Constraints in Temporal Reasoning Itay Meiri

Combining Specialized Reasoners and General Purpose Planners: A Case Study Subbarao Kambhampati, Mark R. Cutkosky, Marty Tenenbaum, Soo Hong Lee

Complexity Results for Blocks-World Planning Naresh Gupta, Dana S. Nau

Concept Languages as Query Languages Maurizio Lenzerini, Andrea Schaerf

Conditional Existence of Variables in Generalised Constraint Networks James Bowen, Dennis R. Bahler

Conditions for the Existence of Belief Functions Corresponding to Intervals of Belief John F. Lemmer, Henry E. Kyburg Jr.

Constructive Induction on Domain Information James P. Callan, Paul E. Utgoff

Context Maintenance Charles J. Petrie

Control Issues in Parallel Rule-Firing Production Systems Daniel E. Neiman

Controlling Inequality Reasoning in a TMS-Based Analog Diagnosis System David Jerald Goldstone

Cost-Sensitive Reinforcement Learning for Adaptive Classification and Control Ming Tan

Dealing with Uncertainties in CAD-Based Assembly Motion Planning Susan N. Gottschlich, Avinash C. Kak

Deduction as Parsing: Tractable Classification in the KL-ONE Framework Marc B. Vilain

Default Logic, Propositional Logic, and Constraints Rachel Ben-Eliyahu, Rina Dechter

Default Reasoning from Statistics Fahiem Bacchus

Depth-First Versus Best-First Search Nageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf

Direct Transfer of Learned Information Among Neural Networks Lorien Y. Pratt, Jack Mostow, Candace A. Kamm

Disambiguation of Prepositional Phrases in Automatically Labelled Technical Text Lois C. Boggess, Rajeev Agarwal, Ron Davis

Domain Structure and the Complexity of Diagnostic Problem Solving Thomas D. Wu

Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance System Geneviéve Morgue, Thomas Chehire

Eliminating Interchangeable Values in Constraint Satisfaction Problems Eugene C. Freuder

Error-Correcting Output Codes: A General Method for Improving Multiclass Inductive Learning Programs Thomas G. Dietterich, Ghulum Bakiri

Explanation-Based Generalization of Partially Ordered Plans Subbarao Kambhampati, Smadar Kedar

Explanation, Irrelevance, and Statistical Independence Solomon Eyal Shimony

Failure Recovery: A Model and Experiments Adele E. Howe, Paul R. Cohen

FITS: A Fraction Intelligent Tutoring System Hyacinth S. Nwana

Focusing on Probable Diagnoses Johan de Kleer

Formal Verification of Pure Production System Programs Rose F. Gamble, Gruia-Catalin Roman, William E. Ball

From Syntax to Meaning in Natural Language Processing Alexander G. Hauptmann

Fuzzy Modeling Using Generalized Neural Networks and Kalman Filter Algorithm Jyh-Shing Roger Jang

Generating Adjectives to Express the Speaker's Argumentative Intent Michael Elhadad

Generating Interactive Explanations Alison Cawsey

Geometric Reasoning for Shape Design George Turkiyyah, Omar Ghattas

Global Symbolic Maps from Local Navigation David P. Miller, Marc G. Slack

High Performance Memory-Based Translation on IXM2 Massively Parallel Associative Memory Processor Hiroaki Kitano, Tetsuya Higuchi

Implementation of Multiple Rule Firing Production Systems on Hypercube Steve Kuo, Dan I. Moldovan

Improving Rule-Based Systems Through Case-Based Reasoning Andrew R. Golding, Paul S. Rosenbloom

Incorporating Nonmonotonic Reasoning in Horn Clause Theories James P. Delgrande

Incremental Configuration Space Construction for Mechanism Analysis Leo Joskowicz, Elisha Sacks

Indexing Stories as Social Advice Eric A. Domeshek

Integrating Abstraction and Explanation-Based Learning in PRODIGY Craig A. Knoblock, Steven Minton, Oren Etzioni

Integrating Metric and Qualitative Temporal Reasoning Henry A. Kautz, Peter B. Ladkin

Integrating Rules in Term Subsumption Knowledge Representation Servers Brian R. Gaines

Integrating Simultaneous Input from Speech, Gaze, and Hand Gestures David B. Koons, Carlton J. Sparrell, Kristinn R. Thórisson

Intelligent Multimedia Interfaces - Introduction Mark T. Maybury

Intelligent Multimedia Presentation Systems: Research and Principles Steven F. Roth, William E. Hefley

Interpreting Prepositions Physically Jugal K. Kalita, Norman I. Badler

Is There Any Need for Domain-Dependent Control Information? Matthew L. Ginsberg, Donald F. Geddis

IXM2: A Parallel Associative Processor for Knowledge Processing Tetsuya Higuchi, Hiroaki Kitano, Tatsumi Furuya, Ken'ichi Handa, Akio Kokubu, Naoto Takahashi

Knowledge Compilation Using Horn Approximations Bart Selman, Henry A. Kautz

Learning Meta Knowledge for Database Checking Jeffrey C. Schlimmer

Learning with Many Irrelevant Features Hussein Almuallim, Thomas G. Dietterich

Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics Ricardo Caferra, Stéphane Demri, Michel Herment

Making Design Objects Relevant to the Task at Hand Gerhard Fischer, Kumiyo Nakakoji

Mechanization of Analytic Reasoning About Sets Alan F. McMichael

Metric Constraints for Maintaining Appointments: Dates and Repeated Activities Massimo Poesio, Ronald J. Brachman

Model-Based Reconfiguration: Toward an Integration with Diagnosis Judith Crow, John M. Rushby

Modeling Issues in Multimedia Car-Driver Interaction Andrea Bonarini

Multimedia Explanations for Intelligent Training Systems Bradley A. Goodman

Natural Language Based Inference Procedures Applied to Schubert's Steamroller Robert Givan, David A. McAllester, Sameer Shalaby

Negation and Proof by Contradiction in Access-Limited Logic James M. Crawford, Benjamin Kuipers

Observations on Cognitive Judgments David A. McAllester

On Generalized Interval Calculi Gerard Ligozat

On the Knowledge Underlying Multimedia Presentations Yigal Arens, Eduard H. Hovy, Mira Vossers

On the NP-Hardness of Blocks World Stephen V. Chenoweth

Optimal Satisficing Tree Searches Dan Geiger, Jeffrey A. Barnett

Path Planning for Highly Redundant Manipulators Using a Continuous Model Akira Hayashi, Benjamin Kuipers

Piction: A System That Uses Captions to Label Human Faces in Newspaper Photographs Rohini K. Srihari

Planning Multimedia Explanations Using Communicative Acts Mark T. Maybury

Preferential Semantics for Goals Michael P. Wellman, Jon Doyle

Programming Robots Using Reinforcement Learning and Teaching Long Ji Lin

Prototype-Based Reasoning: An Integrated Approach to Solving Large Novel Problems Shankar A. Rajamoney, Hee-Youn Lee

Provably Correct Theories of Action (Preliminary Report) Fangzhen Lin, Yoav Shoham

Qualitative Analysis of Causal Feedback Philippe Rose, Mark A. Kramer

Regularity and Structure Alexander Botta

Robot Planning Drew V. McDermott

Rule Learning by Searching on Adapted Nets LiMin Fu

Rules and Precedents as Complementary Warrants Karl Branting, Bruce W. Porter

Search Reduction in Hierarchical Problem Solving Craig A. Knoblock

Semantics-First Natural Language Processing Steven L. Lytinen

Sensible Planning: Focusing Perceptual Attention Lonnie Chrisman, Reid G. Simmons

Some Variations on Default Logic Piotr Rychlik

Sophisticated Cooperation in FA/C Distributed Problem Solving Systems Norman Carver, Zarko Cvetanovic, Victor R. Lesser

Stabilizing Environments to Facilitate Planning and Activity: An Engineering Argument Kristian J. Hammond, Timothy M. Converse

STATIC: A Problem-Space Compiler for PRODIGY Oren Etzioni

Step-Logic and the Three-Wise-Men Problem Jennifer J. Elgot-Drapkin

SteppingStone: An Empirical and Analytical Evaluation David Ruby, Dennis F. Kibler

Strong Introspection Michael Gelfond

Structural Aggregation in Common-Sense Reasoning Zheng-Yang Liu, Arthur M. Farley

Student Modelling with Confluences Daniel Baril, Jim E. Greer, Gordon I. McCalla

Synthesizing UNIX Shell Scripts Using Derivational Analogy: An Empirical Assessment Sanjay Bhansali, Mehdi T. Harandi

System-Z+: A Formalism for Reasoning with Variable-Strength Defaults Moisés Goldszmidt, Judea Pearl

Systematic Nonlinear Planning David A. McAllester, David Rosenblitt

Teaching Diagnostic Skills Using AI: An Architecture Suitable for Students and Teachers Joël Courtois

Temporal Reasoning During Plan Recognition Fei Song, Robin Cohen

Tense Interpretation in the Context of Narrative Fei Song, Robin Cohen

The Application of Natural Language Models to Intelligent Multimedia John D. Burger, Ralph J. Marshall

The Clarke Tax as a Consensus Mechanism Among Automated Agents Eithan Ephrati, Jeffrey S. Rosenschein

The Common Order-Theoretic Structure of Version Spaces and ATMS's Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian

The Design of Illustrated Documents as a Planning Task Elisabeth André, Thomas Rist

The Function of Time in Cooperative Negotiations Sarit Kraus, Jonathan Wilkenfeld

The Geometry of Visual Coordination Jean-Yves Hervé, Rajeev Sharma, Peter Cucka

The P-Systems: A Systematic Classification of Logics of Nonmonotonicity Wolfgang Nejdl

The Qualitative Difference Resolution Rule Tom Bylander

The Roles of Adaptation in Case-Based Design Thomas R. Hinrichs, Janet L. Kolodner

The Use of Intelligently Controlled Simulation to Predict a Machine's Long-Term Behavior Andrew Gelsey

The Utility of Communication in Coordinating Intelligent Agents Piotr J. Gmytrasiewicz, Edmund H. Durfee, David K. Wehe

Toward an Intelligent Agent Flamework for Enterprise Integration Jeff Yung-Choa Pan, Jay M. Tenenbaum

Towards Coordinated Temporal Multimedia Presentations Steven Feiner, Diane J. Litman, Kathleen R. McKeown, Rebecca J. Passonneau

Two Kinds of Training Information for Evaluation Function Learning Paul E. Utgoff, Jeffrey A. Clouse

ULINK: A Semantics-Driven Approach to Understanding Ungrammatical Input Jeffrey D. Kirtner, Steven L. Lytinen

Underwater Experiments Using a Reactive System for Autonomous Vehicles R. Peter Bonasso

Using "Live Information" in a Multimedia Framework Matthew Cornell, Beverly Park Woolf, Daniel D. Suthers

Using Abstraction to Automate Program Improvement by Transformation Ian Green

Using Attention in Belief Revision Xueming Huang, Gordon I. McCalla, Eric Neufeld

Verification of Multi-Level Rule-Based Expert Systems Pedro Meseguer

WIP: The Automatic Synthesis of Multimodal Presentations Elisabeth André, Wolfgang Finkler, Winfried Graf, Thomas Rist, Anne Schauder, Wolfgang Wahlster