9. AAAI 1991: Anaheim, California

Learning

Learning Search Control

• Sanjay Bhansali, Mehdi T. Harandi: Synthesizing UNIX Shell Scripts Using Derivational Analogy: An Empirical Assessment. 521-526
• David Ruby, Dennis F. Kibler: SteppingStone: An Empirical and Analytical Evaluation. 527-532
• Oren Etzioni: STATIC: A Problem-Space Compiler for PRODIGY. 533-540
• Craig A. Knoblock, Steven Minton, Oren Etzioni: Integrating Abstraction and Explanation-Based Learning in PRODIGY. 541-546

Learning Theory and MDL

• Hussein Almuallim, Thomas G. Dietterich: Learning with Many Irrelevant Features. 547-552
• Marc K. Albert, David W. Aha: Analyses of Instance-Based Learning Algorithms. 553-558
• Alexander Botta: Regularity and Structure. 559-564
• Mark Derthick: A Minimal Encoding Approach to Feature Discovery. 565-571

Learning Connectionist Representations

• Thomas G. Dietterich, Ghulum Bakiri: Error-Correcting Output Codes: A General Method for Improving Multiclass Inductive Learning Programs. 572-577
• Lai-Wan Chan: Analysis of the Internal Representations in Neural Networks for Machine Intelligence. 578-583
• Lorien Y. Pratt, Jack Mostow, Candace A. Kamm: Direct Transfer of Learned Information Among Neural Networks. 584-589
• LiMin Fu: Rule Learning by Searching on Adapted Nets. 590-595

Learning and Evaluation Functions

• Paul E. Utgoff, Jeffrey A. Clouse: Two Kinds of Training Information For Evaluation Function Learning. 596-600
• Robert Levinson, Richard Snyder: Adaptive Pattern-Oriented Chess. 601-606
• Steven D. Whitehead: A Complexity Analysis of Cooperative Mechanisms in Reinforcement Learning. 607-613
• James P. Callan, Paul E. Utgoff: Constructive Induction on Domain Information. 614-619

Planning, Perception, and Robotics

Mathematical Foundations of Planning

• Stephen V. Chenoweth: On the NP-Hardness of Blocks World. 623-628
• Naresh Gupta, Dana S. Nau: Complexity Results for Blocks-World Planning. 629-633
• David A. McAllester, David Rosenblitt: Systematic Nonlinear Planning. 634-639
• Patrice Godefroid, Froduald Kabanza: An Efficient Reactive Planner for Synthesizing Reactive Plans. 640-645

Path and Assembly Planning

• Susan N. Gottschlich, Avinash C. Kak: Dealing with Uncertainties in CAD-Based Assembly Motion Planning. 646-652
• Gordon A. Dakin, Robin J. Popplestone: Augmenting a Nominal Assembly Motion Plan with a Compliant Behavior. 653-658
• Jean-Claude Latombe: A Fast Path Planner for a Car-Like Indoor Mobile Robot. 659-665
• Akira Hayashi, Benjamin Kuipers: Path Planning for Highly Redundant Manipulators Using a Continuous Model. 666-672

Hierarchy in Planning

• David E. Foulser, Ming Li, Qiang Yang: A Quantitative Theory for Plan Merging. 673-678
• Subbarao Kambhampati, Smadar Kedar: Explanation-Based Generalization of Partially Ordered Plans. 679-685
• Craig A. Knoblock: Search Reduction in Hierarchical Problem Solving. 686-691
• Craig A. Knoblock, Josh D. Tenenberg, Qiang Yang: Characterizing Abstraction Hierarchies for Planning. 692-697

Representation in Planning

• Michael P. Wellman, Jon Doyle: Preferential Semantics for Goals. 698-703
• Yoav Shoham: AGENT0: A Simple Agent Language and Its Interpreter. 704-709

Vision and Sensor Interpretation

• R. L. Cromwell, Avinash C. Kak: Automatic Generation of Object Class Descriptions Using Symbolic Learning Techniques. 710-717
• John Woodfill, Ramin Zabih: An Algorithm for Real-Time Tracking of Non-Rigid Objects. 718-723
• Norman Carver, Victor R. Lesser: A New Framework for Sensor Interpretation: Planning to Resolve Sources of Uncertainty. 724-731
• Jean-Yves Hervé, Rajeev Sharma, Peter Cucka: The Geometry of Visual Coordination. 732-737

Sensing and Reaction

• Mark S. Boddy: Anytime Problem Solving Using Dynamic Programming. 738-743
• Bruce Abramson: An Analysis of Error Recovery and Sensory Integration for Dynamic Planners. 744-749
• David P. Miller, Marc G. Slack: Global Symbolic Maps from Local Navigation. 750-755
• Lonnie Chrisman, Reid G. Simmons: Sensible Planning: Focusing Perceptual Attention. 756-761

Robot Learning

• Jyh-Shing Roger Jang: Fuzzy Modeling Using Generalized Neural Networks and Kalman Filter Algorithm. 762-767
• Sridhar Mahadevan, Jonathan Connell: Automatic Programming of Behavior-Based Robots Using Reinforcement Learning. 768-773
• Ming Tan: Cost-Sensitive Reinforcement Learning for Adaptive Classification and Control. 774-780
• Long Ji Lin: Programming Robots Using Reinforcement Learning and Teaching. 781-786

Integration and Recovery

• Kristian J. Hammond, Timothy M. Converse: Stabilizing Environments to Facilitate Planning and Activity: An Engineering Argument. 787-793
• R. Peter Bonasso: Underwater Experiments Using a Reactive System for Autonomous Vehicles. 794-800
• Adele E. Howe, Paul R. Cohen: Failure Recovery: A Model and Experiments. 801-808

Reasoning About Physical Systems

Qualitative Analysis

• Toyoaki Nishida, Kenji Mizutani, Atsushi Kubota, Shuji Doshita: Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis. 811-816
• Philippe Rose, Mark A. Kramer: Qualitative Analysis of Causal Feedback. 817-823
• Tom Bylander: The Qualitative Difference Resolution Rule. 824-829
• Philip Schaefer: Analytic Solution of Qualitative Differential Equations. 830-835

Diagnosis

• Judith Crow, John M. Rushby: Model-Based Reconfiguration: Toward an Integration with Diagnosis. 836-841
• Johan de Kleer: Focusing on Probable Diagnoses. 842-848
• Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley: Characterizing Non-Intermittent Faults. 849-854
• Thomas D. Wu: Domain Structure and the Complexity of Diagnostic Problem Solving. 855-861

Aggregation and Geometric Reasoning

• Shankar A. Rajamoney, Sang Hoe Koo: Behavioral Aggregation Within Complex Situations: A Case Study Involving Dynamic Equilibria. 862-867
• Zheng-Yang Liu, Arthur M. Farley: Structural Aggregation in Common-Sense Reasoning. 868-873
• George Turkiyyah, Omar Ghattas: Geometric Reasoning for Shape Design. 874-879
• Andrew Gelsey: The Use of Intelligently Controlled Simulation to Predict a Machine's Long-Term Behavior. 880-887
• Leo Joskowicz, Elisha Sacks: Incremental Configuration Space Construction for Mechanism Analysis. 888-893

Tractable Inference

• James M. Crawford, Benjamin Kuipers: Negation and Proof by Contradiction in Access-Limited Logic. 897-903
• Bart Selman, Henry A. Kautz: Knowledge Compilation using Horn Approximations. 904-909
• David A. McAllester: Observations on Cognitive Judgments. 910-914
• Robert Givan, David A. McAllester, Sameer Shalaby: Natural Language Based Inference Procedures Applied to Schubert's Steamroller. 915-920

Invited Talks

• Piero P. Bonissone: Approximate Reasoning Systems: A Personal Perspective. 923-929
• Drew V. McDermott: Robot Planning. 930-931