Proceedings of the Sixteenth National Conference on Artificial Intelligence
Sponsored by the Association for the Advancement of Artificial Intelligence
Jim Hendler and Devika Subramanian, Program Cochairs
July 18-22, 1999, Orlando, Florida. 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 / xv
AAAI-99/IAAI-99 Program Committee / xvii
Sponsoring Organizations / xxi
Preface / xxii
Invited Talks / xxiii
Technical Papers
Time-Quality Tradeoffs in Reallocative Negotiation with Combinatorial Contract Types / 3
Martin Andersson and Tuomas Sandholm, Washington University
Power, Dependence and Stability in Multiagent Plans / 11
Sviatoslav Brainov and Tuomas Sandholm, Washington University
Combatting Maelstroms in Networks of Communicating Agents / 17
James E. Hanson and Jeffrey O. Kephart, IBM Thomas J. Watson Research Center
Learning Quantitative Knowledge for Multiagent Coordination / 24
David Jensen, Michael Atighetchi, Régis Vincent, and Victor Lesser, University of Massachusetts at Amherst
Distributed Games: From Mechanisms to Protocols / 32
Dov Monderer and Moshe Tennenholtz, Technion - Israel Institute of Technology
Evolutionary Economic Agents / 38
Fergus Nolan, Jarek Wilkiewicz, Dipankar Dasgupta, and Stan Franklin, The University of Memphis
Bargaining with Deadlines / 44
Tuomas Sandholm, Washington University, and Nir Vulkan, University of Bristol
Verifying that Agents Implement a Communication Language / 52
Michael Wooldridge, Queen Mary & Westfield College
Recognizing Structure in Web Pages Using Similarity Queries / 59
William W. Cohen, AT&T Labs - Research
Navigational Plans for Data Integration / 67
Marc Friedman, Alon Levy, and Todd Millstein, University of Washington
Regression Testing for Wrapper Maintenance / 74
Nicholas Kushmerick, University College Dublin
A Knowledge-Based Approach to Organizing Retrieved Documents / 80
Wanda Pratt, University of California, Irvine; Marti A. Hearst, University of California, Berkeley; Lawrence M. Fagan, Stanford University
A Limitation of the Generalized Vickrey Auction in Electronic Commerce: Robustness against False-Name Bids / 86
Yuko Sakurai, Makoto Yokoo, and Shigeo Matsubara, NTT Communication Science Laboratories
Hybrid Neural Plausibility Networks for News Agents / 93
Stefan Wermter, Christo Panchev, and Garen Arevian, University of Sunderland
Cognitive Systems
Cognitive Classification / 100
Janet Aisbett and Greg Gibbon, The University of Newcastle
What Are Contentful Mental States? Dretske’s Theory of Mental Content Viewed in the Light of Robot Learning and Planning Algorithms / 108
Paul Cohen, University of Massachusetts, and Mary Litch, University of Alabama
Student-Sensitive Multimodal Explanation Generation for 3D Learning Environments / 114
Brent H. Daniel, North Carolina State University; William H. Bares, University of Southwestern Louisiana; Charles B. Callaway and James C. Lester, North Carolina State University
Moving Right Along: A Computational Model of Metaphoric Reasoning about Events / 121
Srinivas Narayanan, University of California, Berkeley
Delivering Hints in a Dialogue-Based Intelligent Tutoring System / 128
Yujian Zhou, Illinois Institute of Technology; Reva Freedman, University of Pittsburgh; Michael Glass, Illinois Institute of Technology; Joel A. Michael and Allen A. Rovick, Rush Medical College; Martha W. Evens, Illinois Institute of Technology
Constraint Satisfaction Problems
On Integrating Constraint Propagation and Linear Programming for Combinatorial Optimization / 136
John N. Hooker, Carnegie Mellon University; Greger Ottosson, Uppsala University; Erlendur S. Thorsteinsson and Hak-Jin Kim, Carnegie Mellon University
Hierarchical Constraint Satisfaction in Spatial Databases / 142
Dimitris Papadias, Panos Kalnis, and Nikos Mamoulis, Hong Kong University of Science and Technology
A Constraint-Based Model for Cooperative Response Generation in Information Dialogues / 148
Yan Qu, CLARITECH Corporation, and Steve Beale, New Mexico State University
Solving Crossword Puzzles as Probabilistic Constraint Satisfaction / 156
Noam M. Shazeer, Michael L. Littman, and Greg A. Keim, Duke University
Encodings of Non-Binary Constraint Satisfaction Problems / 163
Kostas Stergiou and Toby Walsh, University of Strathclyde
A Generic Customizable Framework for Inverse Local Consistency / 169
Gérard Verfaillie and David Martinez, ONERA-CERT; Christian Bessière, LIRMM-CNRS
Functional Elimination and 0/1/All Constraints / 175
YuanLin Zhang, Roland H. C. Yap, and Joxan Jaffar, National University of Singapore
Hybrid Methods
An Evolvable Hardware Chip and Its Application as a Multi-Function Prosthetic Hand Controller / 182
Isamu Kajitani and Tsutomu Hoshino, University of Tsukuba; Nobuki Kajihara, Adaptive Devices NEC Laboratory, RWCP; Masaya Iwata and Tetsuya Higuchi, Electrotechnical Laboratory
Initializing RBF-Networks with Small Subsets of Training Examples / 188
Miroslav Kubat and Martin Cooperson, Jr., University of Southwestern Louisiana
A Neural Network Model of Dynamically Fluctuating Perception of Necker Cube as well as Dot Patterns / 194
Hiroaki Kudo, Nagoya University; Tsuyoshi Yamamura, Aichi Prefectural University; Noboru Ohnishi, Nagoya University; Shin Kobayashi and Noboru Sugie, Meijo University
What’s in a Fuzzy Set? / 200
Marco Piastra, Universitè degli Studi di Pavia
ARGUS: An Automated Multi-Agent Visitor Identification System / 208
Rahul Sukthankar, Just Research and Carnegie Mellon University; and Robert G. Stockton, Just Research
Implicative and Conjunctive Fuzzy Rules - A Tool for Reasoning from Knowledge and Examples / 214
Laurent Ughetto, IRISA, IUT de Lannion; Didier Dubois and Henri Prade, IRIT - CNRS Université Paul Sabatier
Knowledge Acquisition
Does Prior Knowledge Facilitate the Development of Knowledge-Based Systems? / 221
Paul Cohen, University of Massachusetts; Vinay Chaudhri, SRI International; Adam Pease, Teknowledge; Robert Schrag, IET Inc.
Representing Problem-Solving for Knowledge Refinement / 227
Susan Craw and Robin Boswell, The Robert Gordon University
Deriving Expectations to Guide Knowledge Base Creation / 235
Jihie Kim and Yolanda Gil, University of Southern California
Designing Scripts to Guide Users in Modifying Knowledge-Based Systems / 242
Marcelo Tallis and Yolanda Gil, University of Southern California
An Integrated Shell and Methodology for Rapid Development of Knowledge-Based Agents / 250
Gheorghe Tecuci, Mihai Boicu, Kathryn Wright, Seok Won Lee, Dorin Marcu, and Michael Bowman, George Mason University
Knowledge Representation
A New Method for Consequence Finding and Compilation in Restricted Languages / 259
Alvaro del Val, Universidad Autènoma de Madrid
Constraint-Based Integrity Checking in Abductive and Nonmonotonic Extensions of Constraint Logic Programming / 265
Aditya K. Ghose, University of Wollongong and Srinivas Padmanabhuni, University of Alberta, Edmonton
Partonomic Reasoning as Taxonomic Reasoning in Medicine / 271
Udo Hahn, Freiburg University; Stefan Schulz and Martin Romacker, Freiburg University and Freiburg University Hospital
Verbalization of High-Level Formal Proofs / 277
Amanda M. Holland-Minkley, Cornell University; Regina Barzilay, Columbia University; Robert L. Constable, Cornell University
On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences / 285
Jaap Kamps, University of Amsterdam
A Policy Description Language / 291
Jorge Lobo, Randeep Bhatia and Shamim Naqvi, Bell Labs
A Semantic Decomposition of Defeasible Logics / 299
M. J. Maher and G. Governatori, Griffith University
Sacre: A Constraint Satisfaction Problem Based Theorem Prover / 306
Jean-Michel Richer and Jean-Jacques Chabrier, LIRSIA, Université de Bourgogne
Learning
Exploiting the Architecture of Dynamic Systems / 313
Xavier Boyen and Daphne Koller, Stanford University
Estimating Generalization Error Using Out-of-Bag Estimates / 321
Tom Bylander and Dennis Hanzlik, University of Texas at San Antonio
Relational Learning of Pattern-Match Rules for Information Extraction / 328
Mary Elaine Califf, Illinois State University, and Raymond J. Mooney, University of Texas at Austin
A Simple, Fast, and Effective Rule Learner / 335
William W. Cohen and Yoram Singer, AT&T Labs - Research
Monte Carlo Localization: Efficient Position Estimation for Mobile Robots / 343
Dieter Fox, Carnegie Mellon University; Wolfram Burgard, University of Bonn; Frank Dellaert and Sebastian Thrun, Carnegie Mellon University
Detecting Feature Interactions from Accuracies of Random Feature Subsets / 350
Thomas R. Ioerger, Texas A&M University
Simulation-Based Inference for Plan Monitoring / 358
Neal Lesh, MERL - A Mitsubishi Electric Research Laboratory, and James Allen, University of Rochester
Selective Sampling for Nearest Neighbor Classifiers / 366
Michael Lindenbaum, Shaul Markovich, and Dmitry Rusakov, Technion - Israel Institute of Technology
Toward a Theoretical Understanding of Why and When Decision Tree Pruning Algorithms Fail / 372
Tim Oates and David Jensen, University of Massachusetts
Feature Selection for Ensembles / 379
David W. Opitz, University of Montana
Efficient Exploration for Optimizing Immediate Reward / 385
Dale Schuurmans, University of Waterloo and Lloyd Greenwald, Drexel University
Model-Based Reasoning
Towards Diagram Processing: A Diagrammatic Information System / 394
Michael Anderson, University of Hartford
Influence-Based Model Decomposition / 402
Christopher Bailey-Kellogg, Dartmouth College, and Feng Zhao, Xerox Palo Alto Research Center
Model-Based Support for Mutable Parametric Design Optimization / 410
Ravi Kapadia and Gautam Biswas, Vanderbilt University
Qualifying the Expressivity/Efficiency Tradeoff: Reformation-Based Diagnosis / 416
Helmut Prendinger and Mitsuru Ishizuka, University of Tokyo
Natural Language and Information Retrieval
The Role of Lexicalization and Pruning for Base Noun Phrase Grammars / 423
Claire Cardie and David Pierce, Cornell University
Two Dimensional Generalization in Information Extraction / 431
Joyce Yue Chai, IBM T. J. Watson Research Center; Alan W. Biermann, Duke University; Curry I. Guinn,
Research Triangle Institute
Combining Collaborative Filtering with Personal Agents for Better Recommendations / 439
Nathaniel Good, J. Ben Schafer, Joseph A. Konstan, Al Borchers, Badrul Sarwar, Jon Herlocker, and John Riedl, University of Minnesota
Application-Embedded Retrieval from Distributed Free-Text Collections / 447
Vladimir A. Kulyukin, DePaul University
Towards Multidocument Summarization by Reformulation: Progress and Prospects / 453
Kathleen R. McKeown, Judith L. Klavans, Vasileios Hatzivassiloglou, Regina Barzilay, and Eleazar Eskin, Columbia University
An Automatic Method for Generating Sense Tagged Corpora / 461
Rada Mihalcea and Dan I. Moldovan, Southern Methodist University
Selecting Text Spans for Document Summaries: Heuristics and Metrics / 467
Vibhu Mittal and Mark Kantrowitz, Just Research; Jade Goldstein and Jaime Carbonell, Carnegie Mellon University
Learning Dictionaries for Information Extraction by Multi-Level Bootstrapping / 474
Ellen Riloff, University of Utah and Rosie Jones, Carnegie Mellon University
Feature Selection in SVM Text Categorization / 480
Hirotoshi Taira, NTT Communication Science Labs, and Masahiko Haruno, ATR Human Information Processing Research Labs
Automatic Construction of Semantic Lexicons for Learning Natural Language Interfaces / 487
Cynthia A. Thompson, Stanford University and Raymond J. Mooney, University of Texas
Planning
Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information / 495
Bradley J. Clement and Edmund H. Durfee, University of Michigan
Fast Planning through Greedy Action Graphs / 503
Alfonso Gerevini and Ivan Serina, Univeritá di Brescia
Control Knowledge in Planning: Benefits and Tradeoffs / 511
Yi-Cheng Huang and Bart Selman, Cornell University; Henry Kautz, AT&T Labs - Research
A Framework for Recognizing Multi-Agent Action from Visual Evidence / 518
Stephen S. Intille and Aaron F. Bobick, MIT Media Laboratory
State-Space Planning by Integer Optimization / 526
Henry Kautz, AT&T Shannon Labs; Joachim P. Walser, AT&T Shannon Labs and i2 Technologies
Using Planning Graphs for Solving HTN Planning Problems / 534
Amnon Lotem, Dana S. Nau, and James A. Hendler, University of Maryland
On the Undecidability of Probabilistic Planning and Infinite-Horizon Partially Observable Markov Decision Problems / 541
Omid Madani, University of Washington; Steve Hanks, Harlequin Inc; Anne Condon, University of Wisconsin
Contingent Planning Under Uncertainty via Stochastic Satisfiability / 549
Stephen M. Majercik and Michael L. Littman, Duke University
On the Utility of Plan-Space (Causal) Encodings / 557
Amol D. Mali and Subbarao Kambhampati, Arizona State University
Anytime Coordination for Progressive Planning Agents / 564
Abdel-Illah Mouaddib, CRIL-IUT de Lens-Université d'Artois
Generating Qualitatively Different Plans through Metatheoretic Biases / 570
Karen L. Myers and Thomas J. Lee, SRI International
Conditional, Probabilistic Planning: A Unifying Algorithm and Effective Search Control Mechanisms / 577
Nilufer Onder and Martha E. Pollack, University of Pittsburgh
CPlan: A Constraint Programming Approach to Planning / 585
Peter van Beek and Xinguang Chen, University of Alberta
Total Order Planning Is More Efficient than We Thought / 591
Vincent Vidal and Pierre Régnier, IRIT, Paul Sabatier University
Cooperative Plan Identification: Constructing Concise and Effective Plan Descriptions / 597
R. Michael Young, North Carolina State University
Exploiting Symmetry in the Planning-Graph via Explanation-Guided Search / 605
Terry Zimmerman and Subbarao Kambhampati, Arizona State University
Robotics
An Integrated System for Multi-Rover Scientific Exploration / 613
Tara Estlin, Alexander Gray, Tobias Mann, Gregg Rabideau, Rebecca Castaño, Steve Chien, and Eric Mjolsness, Jet Propulsion Laboratory
Integrated Natural Spoken Dialogue System of Jijo-2 Mobile Robot for Office Services / 621
Toshihiro Matsui and Hideki Asoh, Electrotechnical Laboratory; John Fry, Stanford University; Youichi Motomura, Futoshi Asano, Takio Kurita, Isao Hara, and Nobuyuki Otsu, Electrotechnical Laboratory
Gesture-Based Interaction with a Pet Robot / 628
Milyn C. Moy, MIT Artificial Intelligence Laboratory / Oracle Corporation
Continuous Categories for a Mobile Robot / 634
Michael T. Rosenstein and Paul R. Cohen, University of Massachusetts
Satisfiability
Distance-sat: Complexity and Algorithms / 642
Olivier Bailleux and Pierre Marquis, CRIL, Université d'Artois
Beyond NP: The QSAT Phase Transition / 648
Ian P. Gent and Toby Walsh, University of Strathclyde
Morphing: Combining Structure and Randomness / 654
Ian P. Gent, University of Strathclyde; Holger H. Hoos, University of British Columbia; Patrick Prosser and Toby Walsh, University of Strathclyde
On the Run-Time Behaviour of Stochastic Local Search Algorithms for SAT / 661
Holger H. Hoos, University of British Columbia
Initial Experiments in Stochastic Satisfiability / 667
Michael L. Littman, Duke University
Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability Problems / 673
Zhe Wu and Benjamin W. Wah, University of Illinois, Urbana Champaign
Scheduling
Scheduling Alternative Activities / 680
J. Christopher Beck, ILOG, S.A. and Mark S. Fox, University of Toronto
Algorithms Performance and Problem Structure for Flow-Shop Scheduling / 688
Jean-Paul Watson, Laura Barbulescu, Adele E. Howe, and L. Darrell Whitley, Colorado State University
Search
Using Probabilistic Knowledge and Simulation to Play Poker / 697
Darse Billings, Lourdes Peña, Jonathan Schaeffer, and Duane Szafron, University of Alberta
A Space-Time Tradeoff for Memory-Based Heuristics / 704
Robert C. Holte and István T. Hernádvölgyi, University of Ottawa
Proverb: The Probabilistic Cruciverbalist / 710
Greg A. Keim, Noam M. Shazeer, Michael L. Littman, Sushant Agarwal, Catherine M. Cheves, Joseph Fitzgerald, Jason Grosland, Fan Jiang, Shannon Pollard, and Karl Weinmeister, Duke University
Value-Update Rules for Real-Time Search / 718
Sven Koenig, Georgia Institute of Technology and Boleslaw Szymanski, Rensselaer Polytechnic Institute
Transposition Table Driven Work Scheduling in Distributed Search / 725
John W. Romein, Aske Plaat, and Henri E. Bal, Vrije Universiteit; Jonathan Schaeffer, University of Alberta
Tractable Reasoning
A Sequential Reversible Belief Revision Method Based on Polynomials / 733
Salem Benferhat and Didier Dubois, IRIT, Université Paul Sabatier; Odile Papini, LIM, Université de la Méditerranée
Point-Based Approaches to Qualitative Temporal Reasoning / 739
J. Delgrande and A. Gupta, Simon Fraser University; T. Van Allen, University of Alberta
Querying Temporal Constraint Networks in PTIME / 745
Manolis Koubarakis, University of Athens and Spiros Skiadopoulos, National Technical University of Athens
Polarity Guided Tractable Reasoning / 751
Zbigniew Stachniak, York University
Vision
Content-Based Retrieval from Medical Image Databases: A Synergy of Human Interaction, Machine Learning and Computer Vision / 760
C. Brodley, A. Kak, C. Shyu, and J. Dy, Purdue University; L. Broderick, University of Wisconsin Hospital; A. M. Aisen, Indiana University Medical Center
Using Vision to Improve Sound Source Separation / 768
Yukiko Nakagawa and Hiroshi G. Okuno, Japan Science and Technology Corporation; Hiroaki Kitano, Japan Science and Technology Corporation and Sony Computer Science
AAAI-99 Intelligent Systems Demos
Sensible Agents: Demonstration of Dynamic Configuration of Agent Organizations for Responsive Planning Operations / 898
K. S. Barber, A. Goel, D. Han, J. Kim, T. H. Liu, C. E. Martin, and R. McKay, The University of Texas
The Disciple Integrated Shell and Methodology for Rapid Development of Knowledge-Based Agents / 900
Mihai Boicu, Kathryn Wright, Dorin Marcu, Seok Won Lee, Michael Bowman, and Gheorghe Tecuci, George Mason University
SMILE: Structural Modeling, Inference, and Learning Engine and GeNIe: A Development Environment for Graphical Decision-Theoretic Models / 902
Marek J. Druzdzel, University of Pittsburgh
Knowledge Base Discovery Tool / 904
Erik Eilerts, Kathleen Lossau, and Christopher York, Austin Info Systems, Inc.
TRIPS: The Rochester Interactive Planning System / 906
George Ferguson and James F. Allen, University of Rochester
A Natural-Language Speech Interface Constructed Entirely as a Set of Executable Specifications / 908
R. A. Frost, University of Windsor
A System for the Semantic Interpretation of Unrestricted Domains using WordNet / 910
Fernando Gomez, University of Central Florida and Carlos Segami, Barry University
DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce Applications / 912
Benjamin N. Grosof, IBM T.J. Watson Research Center
Solving Crosswords with Proverb / 914
Michael L. Littman, Greg A. Keim, and Noam M. Shazeer, Duke University
Worldwide Aeronautical Route Planner / 916
Charles B. McVey, David P. Clements, Barton C. Massey, and Andrew J. Parkes, University of Oregon
Authoring New Material in a Reading Tutor that Listens / 918
Jack Mostow and Gregory Aist, Carnegie Mellon University
Demonstration of Rational Communicative Behavior in Coordinated Defense / 920
Sanguk Noh and Piotr J. Gmytrasiewicz, University of Texas at Arlington
Automated Team Analysis / 922
Taylor Raines, Milind Tambe, and Stacy Marsella, University of Southern California
eMediator: A Next Generation Electronic Commerce Server / 923
Tuomas Sandholm, Washington University
MailCat: An Intelligent Assistant for Organizing E-Mail / 925
Richard B. Segal and Jeffrey O. Kephart, IBM T.J. Watson Research Center
HIKE (HPKB Integrated Knowledge Environment)--A Query Interface and Integrated Knowledge Environment for HPKB / 927
Barbara H. Starr, Science Applications International Corporation; Vinay K. Chaudhri, SRI International; Boris Katz, Massachusetts Institute of Technology; Benjamin Good, Science Applications International Corporation; Jerome Thomere, SRI International
Intelligent Agents in Computer Games / 929
Michael van Lent, John Laird, Josh Buckman, Joe Hartford, Steve Houchard, Kurt Steinkraus, and Russ Tedrake, University of Michigan
Robot Competition and Exhibition
Sensor Based Coverage of Unknown Environment for Land Mine Detection / 932
Ercan Acar, Morgan Simmons, Michael Rosenblatt, Maayan Roth, Mary Berna, Yonatan Mittlefehldt and Howie Choset, Carnegie Mellon University
A Natural Interface and Unified Skills for a Mobile Robot / 934
William Adams, Dennis Perzanowski, and Alan C. Schultz, Naval Research Laboratory
Kansas State Robotics / 936
Frank Blecha, Tim Beese, Damon Kuntz, Jonathan Cameron, David Sexton, and David Gustafson, Kansas State University
Web-Based Mobile Robot Simulator / 937
Dan Stormont, Utah State University
1999 SIGART/AAAI Doctoral Consortium
Elaboration Tolerance of Logical Theories / 940
Eyal Amir, Stanford University
Approximation Algorithms for Solving Cost Observable Markov Decision Processes / 941
Valentina Bayer, Oregon State University
Using Formal Meta-Data Descriptions for Automated Ecological Modeling / 942
Virginia V. B. Biris Brilhante, University of Edinburgh
Modeling Higher Cognitive Functions with Hebbian Cell Assemblies / 943
Marcin Chady, University of Birmingham
Learning Form-Meaning Mappings for Language / 944
Nancy Chang, University California, Berkeley and International Computer Science Institute
Development of a Methodology and Software Shell for the Automatic Generation of Intelligent Tutoring Systems from Existing Generic Task-Based Expert Systems / 945
Eman M. El-Sheikh, Michigan State University
Towards Bounded Optimal Meta-Level Control: A Case Study / 946
Daishi Harada, University of California, Berkeley
Execution Monitoring and Diagnosis in Multi-Agent Environments / 947
Gal A. Kaminka, University of Southern California
Corpus-Based Induction of Lexical Representation and Meaning / 948
Maria Lapata, University of Edinburgh
Data Driven Profiling of Dynamic System Behavior Using Hidden Markov Model Based Combined Unsupervised and Supervised Classification / 949
Cen Li, Vanderbilt University
Planning under Uncertainty via Stochastic Satisfiability / 950
Stephen M. Majercik, Duke University
Applying Supervised Learning to Real-World Problems / 951
Dragos D. Margineantu, Oregon State University
Modeling Prosody Automatically in Concept-to-Speech Generation / 952
Shimei Pan, Columbia University
A Bayesian Approach to Object Identification / 953
Hanna Pasula, University of California, Berkeley
Over-Constrained Systems / 954
Hana Rudová, Masaryk University
Reasoning about Sensing Actions and Reactivity / 955
Son Cao Tran, University of Texas at El Paso
Student Abstracts
Applying Genetic Algorithms to Pronoun Resolution / 957
Donna K. Byron and James F. Allen, University of Rochester
Automatic Sample-by-Sample Model Selection Between Two Off-the-Shelf Classifiers / 958
Steve P. Chadwick, University of Texas at Dallas
Structural Knowledge Discovery in Chemical and Spatio-Temporal Databases / 959
Ravindra N. Chittimoori, Jesus A. Gonzalez, and Lawrence B. Holder, University of Texas at Arlington
Learning Design Guidelines by Theory Refinement / 960
Jacob Eisenstein, Stanford University
Using Neural Networks in Agent Teams to Speed Up Solution Discovery for Hard Multi-Criteria Problems / 961
Shaun Gittens, University of Maryland; Richard Goodwin, Jayant Kalagnanam, and Sesh Murthy, IBM T.J. Watson Research Center
OBDD-Based Planning with Real-Valued Variables in Non-Deterministic Environments / 962
A. Goel and K. S. Barber, University of Texas at Austin
Expectation-Based Learning in Design / 963
Dan L. Grecu and David C. Brown, Worcester Polytechnic Institute
A Framework for Problem Solving Activities in Multi-Agent Systems / 964
D. C. Han, T. H. Liu, and K. S. Barber, University of Texas at Austin
Robot Navigation with a Polar Neural Map / 965
Michail G. Lagoudakis, Duke University, and Anthony S. Maida, University of Southwestern Louisiana
Comparison of Clustering Metrics and Unsupervised Learning Algorithms on Genome-Wide Gene Expression Level Data / 966
Sonia Leach, Brown University; Lawrence Hunter, National Cancer Institute;
David Landsman, National Center for Biotechnology Information
Knowledge Base Revision through Exception-Driven Discovery and Learning / 967
Seok Won Lee and Gheorghe Tecuci, George Mason University
Autonomous Discovery in Empirical Domains / 968
Gary Livingston and Bruce G. Buchanan, University of Pittsburgh
Learning in Broker Agent / 969
Xiaocheng Luan, Yun Peng, and Timothy Finin, University of Maryland Baltimore County
Text Compression as a Test for Artificial Intelligence / 970
Matthew V. Mahoney, Florida Institute of Technology
Externalizing Internal State / 971
Amol D. Mali, Arizona State University
Hybrid Propositional Encodings of Planning / 972
Amol D. Mali, Arizona State University
Causal Discovery from Population-Based Infant Birth and Death Records / 973
Subramani Mani and Gregory F. Cooper, University of Pittsburgh
Interacting with a Pet Robot Using Hand Gestures / 974
Milyn C. Moy, MIT Artificial Intelligence Lab and Oracle Corporation
Active Learning for Hierarchical Wrapper Induction / 975
Ion Muslea, Steve Minton, and Craig Knoblock, University of Southern California
Decision-Theoretic Layered Robotic Control Architecture / 976
Gilbert Peterson and Diane J. Cook, University of Texas at Arlington
Learning of Compositional Hierarchies by Data-Driven Chunking / 977
Karl Pfleger, Stanford University
A Representation Reducing Approach to Scientific Discovery / 978
Joseph Phillips, University of Michigan
Minimal Cost Complexity Pruning of Meta-Classifiers / 979
Andreas L. Prodromidis and Salvatore J. Stolfo, Columbia University
Comparison of Second-Order Polynomial Model Selection Methods: An Experimental Survey / 980
Grace W. Rumantir, Monash University
Learning State Features from Policies to Bias Exploration in Reinforcement Learning / 981
Bryan Singer and Manuela Veloso, Carnegie Mellon University
Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning / 982
Biplav Srivastava, Arizona State University
Learning to Handle Inconsistency for Multi-Source Integration / 983
Sheila Tejada, Craig A. Knoblock, and Steven Minton, University of Southern California
Learning Rewrite Rules to Improve Plan Quality / 984
Muhammad Afzal Upal, University of Alberta
Word Sense Disambiguation for Information Retrieval / 985
Ozlem Uzuner, Boris Katz, and Deniz Yuret, MIT Artificial Intelligence Laboratory
Invited Talk
Game Playing: The Next Moves / 987
Susan L. Epstein, Hunter College and Graduate School of the City University of New York
Index / 994