Proceedings of the Fourteenth National Conference on Artificial Intelligence
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