Sponsored by the Association for the Advancement of Artificial Intelligence

Ben Kuipers and Bonnie Webber, Program Cochairs

July 27–31, 1997, Providence, Rhode Island. Published by The AAAI Press, Menlo Park, California. This proceedings is also available in book and CD format.

Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!

Contents

AAAI Organization / xxi

Corporate Sponsors / xxiv

Preface / xxv

AAAI-97 / IAAI-97 Program Committee / xxviii

AAAI-97 Best Paper Awards / xxxi

Agents

Agent Architecture

If at First You Don’t Succeed... / 3
Kentaro Toyama and Gregory D. Hager, Yale University

Modeling Emotions and Other Motivations in Synthetic Agents / 10
Juan D. Velásquez, Massachusetts Institute of Technology

Agent Coordination

Coordinating Agents by Role Based Social Constraints and Conversation Plans / 16
Mihai Barbuceanu, University of Toronto

Agent Architectures for Flexible, Practical Teamwork / 22
Milind Tambe, University of Southern California

Negotiation

Negotiation on Data Allocation in Multi-Agent Environments / 29
Rina Schwartz, Bar-Ilan University and Sarit Kraus, Bar-Ilan University and University of Maryland

Benefits of Learning in Negotiation / 36
Dajun Zeng and Katia Sycara, Carnegie Mellon University

Automated Reasoning

Automated Reasoning/Diagnosis

Representing Actions and State Constraints in Model-Based Diagnosis / 43
Sheila A. McIlraith, Xerox Palo Alto Research Center and Stanford University

Fast Context Switching in Real-Time Propositional Reasoning / 50
P. Pandurang Nayak and Brian C. Williams, NASA Ames Research Center

Automated Reasoning & the User Interface

Visual Prompts and Graphical Design: A Framework for Exploring the Design Space of
2-D Charts and Graphs / 57
Vibhu O. Mittal, University of Pittsburgh

Navigation and Planning in a Mixed-Initiative User Interface / 64
Robert St. Amant, North Carolina State University

Belief and Decision

Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge / 70
Salem Benferhat, Didier Dubois and Henri Prade, CNRS

On the Axiomatization of Qualitative Decision Criteria / 76
Ronen I. Brafman, University of British Columbia and Moshe Tennenholtz, Technion - Israel Institute of Technology

Classification

Symbolic Nearest Mean Classifiers / 82
Piew Datta and Dennis Kibler, University of California, Irvine

Classification and Reductio-ad-Absurdum Optimality Proofs / 88
Haim Schweitzer, The University of Texas at Dallas

Diagnosis

The Effect of Observations on the Complexity of Model-Based Diagnosis / 94
Adnan Darwiche, American University of Beirut and Gregory Provan, Rockwell Science Center

Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems / 100
Pieter J. Mosterman and Gautam Biswas, Vanderbilt University

Modeling for Decision Processes

Model Minimization in Markov Decision Processes / 106
Thomas Dean and Robert Givan, Brown University

Structured Solution Methods for Non-Markovian Decision Processes / 112
Fahiem Bacchus, University of Waterloo; Craig Boutilier, University of British Columbia; Adam Grove,
NEC Research Institute

Qualitative Reasoning

Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm / 118
Daniel J. Clancy and Benjamin Kuipers, University of Texas at Austin

Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation / 125
Daniel J. Clancy and Benjamin Kuipers, University of Texas at Austin

Reasoning about Physical Systems

The "Inverse Hollywood Problem": From Video to Scripts and Storyboards via Causal Analysis / 132
Matthew Brand, Massachusetts Institute of Technology

Qualitative Rigid Body Mechanics / 138
Thomas F. Stahovich, Carnegie Mellon University; Randall Davis and Howard Shrobe,
Massachusetts Institute of Technology

Spatial Uncertainty

Integrating a Spatial Reasoner with a Resolution Theorem-Prover / 145
Thomas R. Ioerger, Texas A&M University

Noise, Non-Determinism and Spatial Uncertainty / 153
Murray Shanahan, Queen Mary and Westfield College

Projective Relations for 3D Space: Computational Model, Application, and Psychological Evaluation / 159
Constanze Vorwerg, Gudrun Socher, Thomas Fuhr, Gerhard Sagerer and Gert Rickheit, Universität Bielefeld

Techniques for Temporal Reasoning

A New Unification Method for Temporal Reasoning with Constraints / 165
Eddie Schwalb, University of California, Irvine

Connection Based Strategies for Deciding Propositional Temporal Logic / 172
Subash Shankar and James Slagle, University of Minnesota

Constraint Satisfaction and Search

Constraint Satisfaction Problems and Bayes Networks

Bayes Networks for Estimating the Number of Solutions to a CSP / 179
Amnon Meisels, Solomon Eyal Shimony and Gadi Solotorevsky, Ben-Gurion University

A Practical Algorithm for Finding Optimal Triangulations / 185
Kirill Shoikhet and Dan Geiger, Technion

Constraint Satisfaction Problems: Symmetry

Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction / 191
Eugene C. Freuder and Daniel Sabin, University of New Hampshire

Exploiting Symmetry in Lifted CSPs / 197
David Joslin and Amitabha Roy, University of Oregon

Constraint Satisfaction Techniques

Using CSP Look-Back Techniques to Solve Real-World SAT Instances / 203
Roberto J. Bayardo Jr., The University of Texas at Austin and Robert C. Schrag, Information Extraction and Transport, Inc.

Using Branch-and-Bound with Constraint Satisfaction in Optimization Problems / 209
Stephen Beale, New Mexico State University

Detecting Unsatisfiable CSPs by Coloring the Micro-Structure / 215
Daya Ram Gaur, W. Ken Jackson and William S. Havens, Simon Fraser University

Efficient Reasoning

Problem Structure in the Presence of Perturbations / 221
Carla P. Gomes, Rome Laboratory and Bart Selman, AT&T Laboratories

Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP / 227
Rahul Roy-Chowdhury and Mukesh Dalal, Columbia University

Heuristics for Scheduling

Beyond Contention: Extending Texture-Based Scheduling Heuristics / 233
J. Christopher Beck and Andrew J. Davenport, University of Toronto; Edward M. Sitarski, Numetrix Limited; Mark S. Fox, University of Toronto

Texture-Based Heuristics for Scheduling Revisited / 241
J. Christopher Beck and Andrew J. Davenport, University of Toronto; Edward M. Sitarski, Numetrix Limited; Mark S. Fox, University of Toronto

Information Retrieval

Query Optimization Using Local Completeness / 249
Oliver M. Duschka, Stanford University

Template-Based Information Mining from HTML Documents / 256
Jane Yung-jen Hsu and Wen-tau Yih, National Taiwan University

Local Search: Beyond SAT

Local Search Algorithms for Partial MAXSAT / 263
Byungki Cha and Kazuo Iwama, Kyushu University; Yahiko Kambayashi, Kyoto University;
Shuichi Miyazaki, Kyushu University

Solving Linear Pseudo-Boolean Constraint Problems with Local Search / 269
Joachim P. Walser, Universität des Saarlandes

Local Search Techniques

Variable-Selection Heuristics in Local Search for SAT / 275
Alex S. Fukunaga, Jet Propulsion Laboratory/California Institute of Technology

Tabu Search for SAT / 281
Bertrand Mazure, Lakhdar Saïs and Éric Grégoire, CRIL - Université d'Artois

Problem Solving & Computational Resources

Models of Continual Computation / 286
Eric Horvitz, Microsoft Research

Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling / 294
Thomas Wagner, University of Massachusetts; Alan Garvey, Truman State University; Victor Lesser, University of Massachusetts

Scheduling

Effective Redundant Constraints for Online Scheduling / 302
Lise Getoor, Stanford Univeristy; Greger Ottosson, Uppsala University; Markus Fromherz and Björn Carlson, Xerox Palo Alto Research Center

Stochastic Procedures for Generating Feasible Schedules / 308
Angelo Oddi, Università di Roma "La Sapienza" and Stephen F. Smith, Carnegie Mellon University

Search (Cost)

The Scaling of Search Cost / 315
Ian P. Gent, Ewan MacIntyre, Patrick Prosser and Toby Walsh, University of Strathclyde

Evidence for Invariants in Local Search / 321
David McAllester, Bart Selman and Henry Kautz, AT&T Laboratories

Structure of Constraint Satisfaction Problems

Summarizing CSP Hardness with Continuous Probability Distributions / 327
Daniel Frost, Irina Rish and Lluís Vila, University of California, Irvine

Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers / 334
Tad Hogg, Xerox Palo Alto Alto Research Center

Clustering at the Phase Transition / 340
Andrew J. Parkes, University of Oregon

Education and Evaluation

Computational Systems for Education

Realtime Generation of Customized 3D Animated Explanations for Knowledge-Based Learning Environments / 347
William H. Bares and James C. Lester, North Carolina State University

The Sounds of Silence: Towards Automated Evaluation of Student Learning in a Reading Tutor that Listens / 355
Jack Mostow and Gregory Aist, Carnegie Mellon University

Experimental Methodology

Presenting and Analyzing the Results of AI Experiments: Data Averaging and Data Snooping / 362
C. Lee Giles and Steve Lawrence, NEC Research Institute

Knowledge Representation

Building and Modifying Knowledge Bases

Building Concept Representations from Reusable Components / 369
Peter Clark, Boeing Company and Bruce Porter, University of Texas at Austin

A Script-Based Approach to Modifying Knowledge Bases / 377
Yolanda Gil and Marcelo Tallis, University of Southern California

Description Logics

Representing Sequences in Description Logics / 384
Haym Hirsh and Daniel Kudenko, Rutgers University

P-classIC: A Tractable Probablistic Description Logic / 390
Daphne Koller, Stanford University; Alon Levy, AT&T Labs; Avi Pfeffer, Stanford University

Knowledge Representation for Automated Reasoning

A Reflective Proof System for Reasoning in Contexts / 398
Pierre E. Bonzon, University of Lausanne

Obvious Properties of Computer Programs / 404
Robert Givan, Brown University

Knowledge Representation: Expert Systems

Applications of Rule-Base Coverage Measures to Expert System Evaluation / 411
Valerie Barr, Hofstra University

Detecting Redundant Production Rules / 417
James G. Schmolze, Tufts University and Wayne Snyder, Boston University

Knowledge Representation: Nonmonotonic Logic

A Comparison of Two Approaches to Splitting Default Theories / 424
Grigoris Antoniou, Griffith University

Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity / 430
Riccardo Rosati, Università di Roma "La Sapienza"

Knowledge Representation: Ontologies

Tools for Assembling Modular Ontologies in Ontolingua / 436
Richard Fikes, Adam Farquhar and James Rice, Stanford University

Efficient Management of Very Large Ontologies / 442
Kilian Stoffel, Merwyn Taylor and Jim Hendler, University of Maryland

Knowledge Representation: Reasoning about Action

Beyond Minimizing Change / 448
Tom Costello, Stanford University

Adding Knowledge to the Action Description Language A / 454
Jorge Lobo, University of Illinois at Chicago; Gisela Mendez, Universidad Central de Venezuela; Stuart R. Taylor, University of Illinois at Chicago

Causal Theories of Action and Change / 460
Norman McCain and Hudson Turner, University of Texas at Austin

Qualified Ramifications / 466
Michael Thielscher, FG Intellektik

Knowledge Representation: Theorem Proving

Ordered Semantic Hyper Linking / 472
David A. Plaisted and Yunshan Zhu, University of North Carolina

Extending the Regular Restriction of Resolution to Non-Linear Subdeductions / 478
Bruce Spencer and J. D. Horton, University of New Burnswick

Learning

Formal Analyses of Learning

Worst-Case Absolute Loss Bounds for Linear Learning Algorithms / 485
Tom Bylander, The University of Texas at San Antonio

Version Spaces without Boundary Sets / 491
Haym Hirsh, Rutgers University; Nina Mishra and Leonard Pitt, University of Illinois at Urbana

Representation, Search and Genetic Algorithms / 497
Darrell Whitley and Soraya B. Rana, Colorado State University

Knowledge Discovery in Databases

Pattern Discovery in Distributed Databases/ 503
Raj Bhatnagar and Sriram Srinivasan, University of Cincinnati

More Efficient Windowing / 509
Johannes Fürnkranz, Austrian Research Institute for Artificial Intelligence

Learning In Linguistic Domains

Maximally Parsimonious Discrimination: A Generic Task from Linguistic Discovery / 515
Raúl Valdes-Pérez, Carnegie Mellon University and Vladimir Pericliev, Bulgarian Academy of Science

Sparse Representations for Fast, One-Shot Learning / 521
Kenneth Yip and Gerald Jay Sussman, Massachusetts Institute of Technology

Machine Learning (Probabilistic)

Intelligent Methods for File System Optimization / 528
Leo Kuvayev, University of Massachusetts; C. L. Giles, J. Philbin and H. Cejtin, NEC Research Institute

Learning Bayesian Networks from Incomplete Data / 534
Moninder Singh, University of Pennsylvania

Model Selection and Overfitting

Lessons in Neural Network Training: Overfitting May be Harder than Expected / 540
Steve Lawrence and C. Lee Giles, NEC Research; Ah Chung Tsoi, University of Wollongong

An Empirical Evaluation of Bagging and Boosting / 546
Richard Maclin, University of Minnesota-Duluth and David Opitz, University of Montana

A New Metric-Based Approach to Model Selection/ 552
Dale Schuurmans, University of Pennsylvania and NEC Research Institute

Parallelism in Learning

Maximizing the Benefits of Parallel Search Using Machine Learning / 559
Diane J. Cook and R. Craig Varnell, University of Texas at Arlington

Generating C4.5 Production Rules in Parallel/ 565
Richard Kufrin, University of Illinois at Urbana-Champaign

Reactive Behavior

Detecting and Reacting to Unplanned-for World States / 571
Ella M. Atkins, Edmund H. Durfee, and Kang G. Shin, University of Michigan

Reinforcement Learning with Time / 577
Daishi Harada, University of California, Berkeley

Text Retrieval and Learning

Transferring and Retraining Learned Information Filters / 583
William W. Cohen, AT&T Labs-Research and Daniel Kudenko, Rutgers University

Active Learning with Committees for Text Categorization / 591
Ray Liere and Prasad Tadepalli, Oregon State University

Natural Language

Language and Learning

Statistical Parsing with a Context-Free Grammar and Word Statistics / 598
Eugene Charniak, Brown University

A New Supervised Learning Algorithm for Word Sense Disambiguation / 604
Ted Pedersen and Rebecca Bruce, Southern Methodist University

Natural Language

A Pragmatic Treatment of Quantification in Natural Language / 610
Walid S. Saba and Jean-Pierre Corriveau, Carleton University

Comparatives in Context / 616
Steffen Staab and Udo Hahn, Freiburg University

Natural Language Generation

Multi-Document Summarization by Graph Search and Matching / 622
Inderjeet Mani and Eric Bloedorn, The MITRE Corporation

From Local to Global Coherence: A Bottom-Up Approach to Text Planning / 629
Daniel Marcu, University of Toronto

Perception and Behavior

Multi-Agent Systems

Interference as a Tool for Designing and Evaluating Multi-Robot Controllers / 637
Dani Goldberg and Maja J. Mataric, Brandeis University

Using Communication to Reduce Locality in Multi-Robot Learning / 643
Maja J. Mataric, Brandeis University

Navigation & Perception

Spatial Navigation with Uncertain Deviations/ 649
Michel de Rougemont, University Paris-II and Christoph Schlieder, Universität Freiburg

A Color Interest Operator for Landmark-Based Navigation / 655
Zachary Dodds and Gregory D. Hager, Yale University

Combining Approximate Front End Signal Processing with Selective Reprocessing in Auditory Perception / 661
Frank Klassner and Victor Lesser, University of Massachusetts; Hamid Nawab, Boston University

Planning

Case-Based Reasoning and Planning

Analogical Replay for Efficient Conditional Planning / 668
Jim Blythe and Manuela Veloso, Carnegie Mellon University

Case-Based Similarity Assessment: Estimating Adaptability from Experience / 674
David B. Leake, Andrew Kinley and David Wilson, Indiana University

Flexible Hierarchical Planning

Dynamic Abstraction Planning / 680
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach and Mark S. Boddy, Honeywell Technology Center

Abductive Completion of Plan Sketches / 687
Karen L. Myers, SRI International

Optimal Planning

A Linear Programming Heuristic for Optimal Planning / 694
Tom Bylander, The University of Texas at San Antonio

Finding Optimal Solutions to Rubik’s Cube Using Pattern Databases / 700
Richard E. Korf, University of California, Los Angeles

Plan Generation

Planning by Rewriting: Efficiently Generating High-Quality Plans / 706
José Luis Ambite and Craig A. Knoblock, University of Southern California

A Robust and Fast Action Selection Mechanism for Planning / 714
Blai Bonet, Gábor Loerincs and Héctor Geffner, Universidad Simón Bolívar

Planning with Concurrent Interacting Actions / 720
Craig Boutilier and Ronen I. Brafman, University of British Columbia

Planning Under Uncertainty

A Heuristic Variable Grid Solution Method for POMDPs / 727
Ronen I. Brafman, University of British Columbia

Incremental Methods for Computing Bounds in Partially Observable Markov Decision Processes / 734
Milos Hauskrecht, Massachusetts Institute of Technology

Probability and Planning

Effective Bayesian Inference for Stochastic Programs / 740
Daphne Koller, Stanford University; David McAllester, AT&T Research; Avi Pfeffer, Stanford University

Probabilistic Propositional Planning: Representations and Complexity / 748
Michael L. Littman, Duke University

Invited Talks

The AAAI-97 Mobile Robot Competition: Martians, Remotes, Hors d'oeuvres, and Cleaning Up the Mess Afterwards / 748
Ronald C. Arkin, Georgia Institute of Technology; R. James Firby, University of Chicago

The Emergence of Spacecraft Autonomy / 756
Richard J. Doyle, Jet Propulsion Laboratory, California Institute of Technology

What Does Knowledge Representation Have to Say to Artificial Intelligence? / 762
David W. Etherington, University of Oregon

Machine Learning for Intelligent Systems / 763
Pat Langley, Daimler-Benz Research and Technology Center

James Bond and Michael Ovitz: The Secret Life of Agents / 770
Katia P. Sycara, Carnegie Mellon University

Market-Oriented Programming (Abstract) / 774
Michael P. Wellman, University of Michigan

Mobile Robot Competition Abstracts

Hack and Kluge / 776
CPT Pete Beim, Ian Horswill and Ivan Yen, Northwestern University

Learning in a Fuzzy Logic Robot Controller / 778
Douglas S. Blank and J. Oliver Ross, University of Arkansas

Autonomous Exploration: An Integrated Systems Approach / 779
Marc Bolduc, Eric Bourque, Gregory Dudek, Nicholas Roy, and Robert Sim, McGill University

ServerDroid: A MultiMedia Service Robot / 781
Pete Bonasso, Texas Robotics & Automation Center Laboratories

A Situated Vacuuming Robot / 783
D. Bruemmer, R. Dickson, J. Dilatush, D. Lewis, H. Mateyak, M. Mirarchi, M. Morton, J. Tracy, A. Vorobiev, and L. Meeden, Swarthmore College

Teaming Up: Georgia Tech’s Multi-Robot Competition Teams / 785
Thomas R. Collins and Tucker R. Balch, Georgia Institute of Technology

The Dartmouth Mobile Robot: SK / 787
William Garner, Gregory Friedland, Artyom Lifshits, Daniela Rus, Keith Kotay and Jon Howell, Dartmouth College

LOBOtomous: An Autonomous Platform for Indoor Environments / 789
Ales V. Hvezda, John J. Garcia, Paul R. Klarer, Raymond H. Byrne, Gregory L. Heileman, and Chaouki T. Abdallah, University of New Mexico

Finding Life on Mars, and Other Tasks for NCSU’s Mobile Robots / 791
Jason A. Janét, Bruce R. Linnell, Sean M. Scoggins, et al., North Carolina State University

Are You Being Served? / 793
David P. Miller and Cathryne Stein, KISS Institute for Practical Robotics; Anne Wright and Randy Sargent, Newton Reseach Labs

Intelligent Sensor Fusion for the 1997 AAAI Mobile Robot Competition / 795
Robin R. Murphy, Colorado School of Mines

Kansas State Robotics / 797
Todd Prater, Michael Novak, Brian Rectanus, Steven Gustafson and David A. Gustafson, Kansas State University

A Cooperative Multi-Robot Approach to the Mapping and Exploration of Mars / 798
Paul Rybski, Sascha Stoeter, Chris Wyman and Maria Gini, University of Minnesota

Lobokhod: The University of New Mexico’s Robotic Mars Rover / 800
Dan Stormont, Jane Canulette, Timothy Eyring, Jose Juste, Salamon Quintana, Chaouki Abdallah, Ray Byrne and Greg Heileman, University of New Mexico

Multiple Agents from the Bottom Up: The Interaction Lab’s Robot Competition Effort / 802
Barry Brian Werger, Miguel Schneider Fontan, Dani Goldberg, Greg Hornby, Maja Mataric and Sen Song, Brandeis University

ARIEL: Autonomous Robot for Integrated Exploration and Localization / 804
Brian Yamauchi, Alan Schultz, William Adams, Kevin Graves, John Grefenstette and Dennis Perzanowski, Naval Research Laboratory

Doctorial Consortium Abstracts

Pragmatic Question Answering: Generic versus Specific Responses / 807
Debra T. Burhans, State University of New York at Buffalo

Adaptive Hybrid System Architecture for Forecasting / 808
Juan M. Corchado, University of Paisley

Iterative Refinement of Knowledge Bases with Consistency Guarantees / 809
Stephen F. Correl, University of Texas at Austin

Probabilistic Learning in Bayesian and Stochastic Neural Networks / 810
William H. Hsu, University of Illinois at Urbana-Champaign

Unified Hardware and Software Models for Smart System Design / 811
Ravi Kapadia, Vanderbilt University

Evaluating the Role of Background Knowledge in Enhancing Knowledge Discovery in Databases / 812
Venkateswarlu Kolluri, University of Pittsburgh

Belief Network Inference in Dynamic Environments / 813
Ole J. Mengshoel, University of Illinois at Urbana-Champaign

Knowledge Lean Word Sense Disambiguation / 814
Ted Pedersen, Southern Methodist University

Dynamic Organization of Search Results Using a Taxonomic Domain Model / 815
Wanda Pratt, Stanford University

Applications of Machine Learning to Information Access / 816
Mehran Sahami, Stanford University

Computing Discourse Information with Statistical Methods / 817
Kenneth B. Samuel, University of Delaware

An Information-Based Approach to Punctuation / 818
Bilge Say, Bilkent University

Layered Learning in Multiagent Systems / 819
Peter Stone, Carnegie Mellon University

Student Abstracts

Avoiding Failure via Pre-Planned Responses and Time-Bounded Planning / 821
Ella M. Atkins, Edmund H. Durfee and Kang G. Shin, University of Michigan

Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems / 822
Aaron A. Armstrong and Edmund H. Durfee, University of Michigan

An Efficient Heuristic Search in a Large Multi-Agent System / 823
Cheng-Gang Bian, Wen Cao and Gunnar Hartvigsen, University of Tromsø

Summarizing Time-Varying Data / 824
Sarah Boyd, Macquarie University

Efficient Production Match Algorithm and Its Implication for Dynamic Constraint Satisfaction Problems / 825
Bonghan Cho, Paul Rosenbloom and Milind Tambe, University of Southern California

Applying Clustering to the Classification Problem / 826
Piew Datta, University of California, Irvine

Experiments in UNIX Command Prediction / 827
Brian D. Davison and Haym Hirsch, Rutgers University

A Comparison of Model Averaging Methods in Foreign Exchange Prediction / 828
Pedro Domingos, University of California, Irvine

Learning Multiple Models without Sacrificing Comprehensibility / 829
Pedro Domingos, University of California, Irvine

Stratification for Variants of Default Logic / 830
Jörg Ernst, Kiel University and Grigoris Antoniou, Griffith University

Speeding Safely: Multi-Criteria Optimization in Probabilistic Planning / 831
Michael S. Fulkerson, Michael L. Littman and Greg A. Keim, Duke University

Information Routing Using a Corpus Distribution / 832
Jeffrey A. Goldman, University of California, Los Angeles

Althea: Minimalist Representation for Robot Assembly Tasks / 833
Jonathan B. Handler, Northwestern University

Social Comparison for Failure Detection and Recovery in Multi-Agent Settings / 834
Gal A. Kaminka and Milind Tambe, University of Southern California

Smart System Design Using Hybrid Models / 835
Ravi Kapadia, Vanderbilt University

Learning to Play Hearts / 836
Leo Kuvayev, University of Massachusetts

Predicting Resource Use with Case-Based Plan Recognition / 837
Jung-Jin Lee and Robert McCartney, University of Connecticut

Active Learning with Committees / 838
Ray Liere and Prasad Tadepalli, Oregon State University

Development of Iterative Scheduler to Planner Feedback / 839
Charles B. McVey, Ella M. Atkins, Edmund H. Durfee and Kang G. Shin, University of Michigan

A Stochastic Strategy for Multiagent Contracts and the Impact of Deliberation Overhead / 840
Sunju Park and Edmund H. Durfee, University of Michigan

Naive Mixes for Word Sense Disambiguation / 841
Ted Pedersen, Southern Methodist University

On the Discovery of Patterns in Medical Data / 842
Jorge C. G. Ramirez, University of Texas at Arlington and University of Texas Southwestern Medical Center; Lynn L. Peterson, University of Texas at Arlington; Dolores M. Peterson, University of Texas Southwestern Medical Center; Gretchen K. Cormier, Computer Consulting Specialists

Learning Goal-Decomposition Rules Using Exercises / 843
Chandra Reddy and Prasad Tadepalli, Oregon State University

Quantification and Commonsense Reasoning / 844
Walid S. Saba and Jean-Pierre Corriveau, Carleton University

Real-Time Full-Text Clustering of Networked Documents / 845
Mehran Sahami, Salim Yusufali and Michelle Q. W. Baldonado, Stanford University

A Model of Invention / 846
Marin Simina, Ashwin Ram and Janet Kolodner, Georgia Institute of Technology; Michael Gorman, University of Virginia

Modifying Knowledge Bases Using Scripts / 847
Marcelo Tallis and Yolanda Gil, University of Southern California

Noise Sensitivity Analysis for Shape from Focus Methods / 848
Jenn-Kwei Tyan, State University of New York

Analyzing Agents that Learn about Agents / 849
José M. Vidal and Edmund H. Durfee, University of Michigan

Matching Requests for Agent Services with Differentiated Vocabulary / 850
Peter Weinstein and William P. Birmingham, University of Michigan

AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.

AI Magazine Articles

Conference Proceedings Papers

Funding Tutorial

Presidential Addresses

Policy Reports

Symposia Papers

Workshop Papers

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops