Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98)

July 26-30, 1998, Madison, Wisconsin
Published by The AAAI Press, Menlo Park, California

This proceedings is also available in book and CD format


Sample Citation

Ben-Eliyahu, Rachel. 1998. On Computing Minimal Models. In Proceedings of the Fifteenth National Conference on Artificial Intelligence,2-8. Menlo Park, Calif.: AAAI Press.

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

Preface / xix

AAAI-98/IAAI-98 Program Committee / xxi

Sponsoring Organizations / Outstanding Papers / xxiv

AAAI-98 Technical Papers

AAAI-98 Outstanding Papers

Learning Evaluation Functions for Global Optimization and Boolean Satisfiability / 3
Justin A. Boyan and Andrew W. Moore, Carnegie Mellon University

The Interactive Museum Tour-Guide Robot / 11
Wolfram Burgard, Armin B. Cremers, Dieter Fox and Dirk Hähnel, University of Bonn; Gerhard Lakemeyer, Aachen University of Technology; Dirk Schulz and Walter Steiner, University of Bonn; Sebastian Thrun, Carnegie Mellon University

Acceleration Methods for Numeric CSPs / 19
Yahia Lebbah and Olivier Lhomme, Ecole des Mines de Nantes - La Chantrerie

Agents

Agent Interaction

Minimal Social Laws / 26
David Fitoussi and Moshe Tennenholtz, Technion-Israel Institute of Technology

Optimal Auctions Revisited / 32
Dov Monderer and Moshe Tennenholtz, Technion-Israel Institute of Technology

Formal Models of Agents’ Commitments

Leveled Commitment Contracts with Myopic and Strategic Agents / 38
Martin R. Andersson and Tuomas W. Sandholm, Washington University

Anytime Coalition Structure Generation with Worst Case Guarantees / 46
Tuomas Sandholm, Kate Larson and Martin Andersson, Washington University; Onn Shehory, Carnegie Mellon University; Fernando Tohmé, Washington University

Motivation and Emotion

A Motivational System for Regulating Human-Robot Interaction / 54
Cynthia Breazeal (Ferrell), Massachusetts Institute of Technology

Emotion Model for Life-Like Agent and Its Evaluation / 62
Hirohide Ushida, Yuji Hirayama and Hiroshi Nakajima, OMRON Corporation

When Robots Weep: Emotional Memories and Decision-Making / 70
Juan D. Velásquez, MIT Artificial Intelligence Laboratory

Parallel AI / Agents and Representation

Natural Language Multiprocessing: A Case Study / 76
Enrico Pontelli, Gopal Gupta, Janyce Wiebe and David Farwell, New Mexico State University

Metacognition in Software Agents Using Classifier Systems / 83
Zhaohua Zhang, Stan Franklin and Dipankar Dasgupta, The University of Memphis

Social Agents

Agents that Work in Harmony by Knowing and Fulfilling their Obligations / 89
Mihai Barbuceanu, University of Toronto

What Is Wrong With Us? Improving Robustness through Social Diagnosis / 97
Gal A. Kaminka and Milind Tambe, University of Southern California

AI and Education

Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model / 106
Abigail S. Gertner, Cristina Conati and Kurt VanLehn, University of Pittsburgh

Generating Coordinated Natural Language and 3D Animations for Complex Spatial Explanations / 112
Stuart G. Towns, Charles B. Callaway and James C. Lester, North Carolina State University

Automated Reasoning

Belief Revision and Inconsistency

Reasoning under Inconsistency Based on Implicitly-Specified Partial Qualitative Probability Relations: A Unified Framework / 121
S. Benferhat, D. Dubois, J. Lang and H. Prade, IRIT, Université Paul Sabatier; A. Saffiotti and P. Smets, IRIDIA,
Université Libre de Bruxelles

Belief Revision with Unreliable Observations / 127
Craig Boutilier, University of British Columbia; Nir Friedman, University of California, Berkeley; Joseph Y. Halpern, Cornell University

Design and Diagnosis

Toward Design as Collaboration / 135
Susan L. Epstein, Hunter College and The Graduate School of The City University of New York

An Architecture for Exploring Large Design Spaces / 143
John R. Josephson, B. Chandrasekaran, Mark Carroll and Naresh Iyer, The Ohio State University; Bryon Wasacz, The Ohio State University and Motorola SPS; Giorgio Rizzoni and Qingyuam Li, The Ohio State University; David A. Erb, The Ohio State University and ERB Professional Services

Constructing the Correct Diagnosis When Symptoms Disappear / 151
Nancy E. Reed, Linköpings Universitet

Graphical Probabilistic Models

Structured Representation of Complex Stochastic Systems / 157
Nir Friedman, University of California, Berkeley; Daphne Koller and Avi Pfeffer, Stanford University

Solving Very Large Weakly Coupled Markov Decision Processes / 165
Nicolas Meuleau, Milos Hauskrecht, Kee-Eung Kim, Leonid Peshkin, Leslie Pack Kaelbling and Thomas Dean, Brown University; Craig Boutilier, University of British Columbia

Speech Recognition with Dynamic Bayesian Networks / 173
Geoffrey Zweig and Stuart Russell , University of California, Berkeley

Model Construction and Analysis

Multimodal Reasoning for Automatic Model Construction / 181
Reinhard Stolle and Elizabeth Bradley, University of Colorado at Boulder

Discovering Admissible Simultaneous Equations of Large Scale Systems / 189
Takashi Washio and Hiroshi Motoda, Osaka University

Decompositional, Model-Based Learning and its Analogy to Diagnosis / 197
Brian C. Williams, NASA Ames Research Center and William Millar, NASA Ames Research Center/Caelum Research Corporation

Modeling the Web

What Can Knowledge Representation Do for Semi-Structured Data? / 205
Diego Calvanese, Giuseppe De Giacomo and Maurizio Lenzerini, Università di Roma "La Sapienza"

Modeling Web Sources for Information Integration / 211
Craig A. Knoblock, Steven Minton, Jose Luis Ambite, Naveen Ashish, Pragnesh Jay Modi, Ion Muslea, Andrew G. Philpot, and Sheila Tejada, University of Southern California

Qualitative Modeling

An Ontology for Transitions in Physical Dynamic Systems / 219
Pieter J. Mosterman, DLR Oberpfaffenhofen; Feng Zhao, The Ohio State University; Gautam Biswas, Vanderbilt University

A New Architecture for Automated Modelling / 225
Neil Smith, De Montfort University

Qualitative Reasoning Techniques

Qualitative Analysis of Distributed Physical Systems with Applications to Control Synthesis / 232
Christopher Bailey-Kellogg and Feng Zhao, Xerox Palo Alto Research Center

Qualitative Simulation as a Temporally-Extended Constraint Satisfaction Problem / 240
Daniel J. Clancy, Caellum/NASA Ames Research Center and Benjamin J. Kuipers, University of Texas at Austin

Temporal Reasoning

Backtracking Algorithms for Disjunctions of Temporal Constraints / 248
Kostas Stergiou and Manolis Koubarakis, UMIST

Fast Transformation of Temporal Plans for Efficient Execution / 254
Ioannis Tsamardinos, University of Pittsburgh; Nicola Muscettola and Paul Morris, NASA Ames Research Center

Theorem Proving

An Algorithm to Evaluate Quantified Boolean Formulae / 262
Marco Cadoli, Andrea Giovanardi and Marco Schaerf, Università di Roma "La Sapienza"

Two Forms of Dependence in Propositional Logic: Controllability and Definability / 268
Jérôme Lang, IRIT-UPS and Pierre Marquis, CRIL/Université d'Artois

Anytime Approximate Modal Reasoning / 274
Fabio Massacci, Università di Roma "La Sapienza"

Tractable Inference

Algorithms for Propositional KB Approximation / 280
Yacine Boufkhad, CRIL Université d'Artois

A Non-Deterministic Semantics for Tractable Inference / 286
James M. Crawford, i2 Technologies and David W. Etherington, University of Oregon

Computing Intersections of Horn Theories for Reasoning with Models / 292
Thomas Eiter, Universität Gießen; Toshihide Ibaraki, Kyoto University; Kazuhisa Makino, Osaka University

Constraint Satisfaction and Search

Analysis of Search

The Branching Factor of Regular Search Spaces / 299
Stefan Edelkamp, Universität Freiburg and Richard E. Korf, University of California, Los Angeles

Complexity Analysis of Admissible Heuristic Search / 305
Richard E. Korf, University of California, Los Angeles and Michael Reid, Brown University

Constraint Satisfaction Problems

On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems / 310
Fahiem Bacchus, University of Waterloo and Peter van Beek, University of Alberta

Generalizing Partial Order and Dynamic Backtracking / 319
Christian Bliek, Swiss Federal Institute of Technology

On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems / 326
Berthe Y. Choueiry, Stanford University and Guevara Noubir, Centre Suisse d'Electronique et de Microtechnique

Supermodels and Robustness / 334
Matthew L. Ginsberg, Andrew J. Parkes and Amitabha Roy, University of Oregon

"Squeaky Wheel" Optimization / 340
David E. Joslin, i2 Technologies and David P. Clements, University of Oregon

Reversible DAC and Other Improvements for Solving Max-CSP / 347
Javier Larrosa, Univ. Pol. de Catalunya; Pedro Meseguer, IIIA-CSIC; Thomas Schiex, INRA; Gérard Verfaillie, ONERA-CERT

Branch and Bound Algorithm Selection by Performance Prediction / 353
Lionel Lobjois and Michel Lemaître, ONERA-CERT

A Fast Algorithm for the Bound Consistency of Alldiff Constraints / 359
Jean-Francois Puget, ILOG

Using Arc Weights to Improve Iterative Repair / 367
John Thornton, Griffith University Gold Coast and Abdul Sattar, Griffith University

An Integer Local Search Method with Application to Capacitated Production Planning / 373
Joachim P. Walser, Universität des Saarlandes; Ramesh Iyer and Narayan Venkatasubramanyan, i2 Technologies

Extending GENET to Solve Fuzzy Constraint Satisfaction Problems / 380
Jason H. Y. Wong and Ho-fung Leung, The Chinese University of Hong Kong

Constraint Satisfaction Problems--Local Search

Local Search for Statistical Counting / 386
Olivier Bailleux, CRIL Université d'Artois

A Tractable Walsh Analysis of SAT and its Implications for Genetic Algorithms / 392
Soraya Rana, Robert B. Heckendorn and Darrell Whitley, Colorado State University

Constraint Satisfaction Problems--Understanding Intractability

Hard Problems for CSP Algorithms / 398
David G. Mitchell, University of Toronto

The Constrainedness Knife-Edge / 406
Toby Walsh, University of Strathclyde

Heuristic Search

Heuristic Search in Cyclic AND / OR Graphs / 412
Eric A. Hansen and Shlomo Zilberstein, University of Massachusetts

Single-Agent Search in the Presence of Deadlocks / 419
Andreas Junghanns and Jonathan Schaeffer, University of Alberta

Complete Anytime Beam Search / 425
Weixiong Zhang, University of Southern California

Random Approaches to Search

Boosting Combinatorial Search through Randomization / 431
Carla P. Gomes, and Bart Selman, Cornell University; Henry Kautz, AT&T Labs

Which Search Problems Are Random? / 438
Tad Hogg, Xerox Palo Alto Research Center

Search and Limited Resources

A* with Bounded Costs / 444
Brian Logan and Natasha Alechina, University of Birmingham

Stochastic Node Caching for Memory-Bounded Search / 450
Teruhisa Miura and Toru Ishida, Kyoto University

Search Control in Theorem Proving

A Feature-Based Learning Method for Theorem Proving / 457
Matthias Fuchs, Australian National University

Learning Investment Functions for Controlling the Utility of Control Knowledge / 463
Oleg Ledeniov and Shaul Markovitch, Technion

Uncertainty Search and Optimization

Fast Probabilistic Modeling for Combinatorial Optimization / 469
Shumeet Baluja, Justsystem Pittsburgh Research Center and Carnegie Mellon University and Scott Davies, Carnegie Mellon University

Highest Utility First Search Across Multiple Levels of Stochastic Design / 477
Louis Steinberg, J. Storrs Hall and Brian D. Davison, Rutgers University

Evolvable Hardware

Evolvable Hardware Chip for High Precision Printer Image Compression / 486
Hidenori Sakanashi, Mehrdad Salami and Masaya Iwata, Electrotechnical Laboratory; Shogo Nakaya, Tsukasa Yamauchi, Takeshi Inuo, and Nobuki Kajihara, RWCP Adaptive Device NEC Laboratory; Tetsuya Higuchi, Electrotechnical Laboratory

Game Playing

Opponent Modeling in Poker / 493
Darse Billings, Denis Papp, Jonathan Schaeffer and Duane Szafron, University of Alberta

Finding Optimal Strategies for Imperfect Information Games / 500
Ian Frank, Electrotechnical Laboratory; David Basin, Universität Freiburg; Hitoshi Matsubara, Electrotechnical Laboratory

Information Extraction

Learning to Extract Symbolic Knowledge from the World Wide Web / 509
Mark Craven, Dan DiPasquo and Dayne Freitag, Carnegie Mellon University; Andrew McCallum, Just Research and Carnegie Mellon University; Tom Mitchell, Kamal Nigam and Seán Slattery, Carnegie Mellon University

Information Extraction from HTML: Application of a General Machine Learning Approach / 517
Dayne Freitag, Carnegie Mellon University

Towards Text Knowledge Engineering / 524
Udo Hahn and Klemens Schnattinger, Freiburg University

Answering Questions for an Organization Online / 532
Vladimir A. Kulyukin, Kristian J. Hammond and Robin D. Burke, University of Chicago

Integrated AI Systems

BIG: A Resource-Bounded Information Gathering Agent / 539
Victor Lesser, Bryan Horling, Frank Klassner, Anita Raja, Thomas Wagner and Shelley XQ. Zhang, University of Massachusetts, Amherst

Intelligent Environments

Design Principles for Intelligent Environments / 547
Michael H. Coen, MIT Artificial Intelligence Lab

Cooperating with People: The Intelligent Classroom / 555
David Franklin, University of Chicago

Planning and Problem Solving

Integrating AI Components for a Military Planning Application / 561
Marie A. Bienkowski, SRI International and Louis J. Hoebel, General Electric CRD

TRIPS: An Integrated Intelligent Problem-Solving Assistant / 567
George Ferguson and James F. Allen, University of Rochester

Knowledge Representation

Concepts and Context

Knowledge Intensive Exception Spaces / 574
Sarabjot S. Anand, David W. Patterson and John G. Hughes, University of Ulster at Jordanstown

Probabilistic Frame-Based Systems / 580
Daphne Koller and Avi Pfeffer, Stanford University

Fuzzy Logic

Logical Representation and Computation of Optimal Decisions in a Qualitative Setting / 588
Didier Dubois, Daniel Le Berre, Henri Prade, and Régis Sabbadin, IRIT - Université Paul Sabatier

A Fuzzy Description Logic / 594
Umberto Straccia, I.E.I. - C.N.R.

Knowledge Base Design

OKBC: A Programmatic Foundation for Knowledge Base Interoperability / 600
Vinay K. Chaudhri, SRI International; Adam Farquhar and Richard Fikes, Stanford University; Peter D. Karp, Pangea Systems; James P. Rice, Stanford University

Usability Issues in Knowledge Representation Systems / 608
Deborah L. McGuinness, AT&T Labs--Research and Peter F. Patel-Schneider, Bell Labs Research

Representing Scientific Experiments: Implications for Ontology Design and Knowledge Sharing / 615
Natalya Fridman Noy and Carole D. Hafner, Northeastern University

Representation of Action

An Action Language Based on Causal Explanation: Preliminary Report / 623
Enrico Giunchiglia, DIST - Università di Genova and Vladimir Lifschitz, University of Texas at Austin

Abductive Planning with Sensing / 631
Matthew Stone, University of Pennsylvania

Robotics

A Formal Methodology for Verifying Situated Agents / 637
Phan Minh Dung, Asian Institute of Technology

An Algebra for Cyclic Ordering of 2D Orientations / 643
Amar Isli and Anthony G. Cohn, University of Leeds

Time and Representation

The Temporal Analysis of Chisholm’s Paradox / 650
Leendert W. N. van der Torre, Paul Sabatier University and Yao-Hua Tan, Erasmus University

Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations / 656
Rattana Wetprasit and Abdul Sattar, Griffith University

Learning

Iterated Phantom Induction: A Little Knowledge Can Go a Long Way / 665
Mark Brodie and Gerald DeJong, University of Illinois at Urbana-Champaign

SUSTAIN: A Model of Human Category Learning / 671
Bradley C. Love and Douglas L. Medin, Northwestern University

Genetic Algorithm Applications

Optimal 2D Model Matching Using a Messy Genetic Algorithm / 677
J. Ross Beveridge, Colorado State University

Learning Cooperative Lane Selection Strategies for Highways / 684
David E. Moriarty, University of Southern California and Pat Langley, Daimler-Benz Research & Technology Center

Inductive Learning

Boosting in the Limit: Maximizing the Margin of Learned Ensembles / 692
Adam J. Grove and Dale Schuurmans, NEC Research Institute

Boosting Classifiers Regionally / 700
Richard Maclin, University of Minnesota-Duluth

Robust Classification Systems for Imprecise Environments / 706
Foster Provost and Tom Fawcett, Bell Atlantic Science and Technology

Learning about People

Recommendation as Classification: Using Social and Content-Based Information in Recommendation / 714
Chumki Basu, Bell Communications Research and Rutgers University; Haym Hirsh, Rutgers University; William Cohen, AT&T Laboratories

Learning to Predict User Operations for Adaptive Scheduling / 721
Melinda T. Gervasio, Wayne Iba and Pat Langley, Institute for the Study of Learning and Expertise

Adaptive Web Sites: Automatically Synthesizing Web Pages / 727
Mike Perkowitz and Oren Etzioni, University of Washington

Learning from Sequences

Feature Generation for Sequence Categorization / 733
Daniel Kudenko and Haym Hirsh, Rutgers University

Concepts from Time Series / 739
Michael T. Rosenstein and Paul R. Cohen, University of Massachusetts

Reinforcement Learning

The Dynamics of Reinforcement Learning in Cooperative Multiagent Systems / 746
Caroline Claus and Craig Boutilier, University of British Columbia

Applying Online Search Techniques to Continuous-State Reinforcement Learning / 753
Scott Davies, Carnegie Mellon University; Andrew Y. Ng, Massachusetts Institute of Technology; Andrew Moore,
Carnegie Mellon University

Bayesian Q-Learning / 761
Richard Dearden, University of British Columbia; Nir Friedman and Stuart Russell, University of California, Berkeley

Tree Based Discretization for Continuous State Space Reinforcement Learning / 769
William R. B. Uther and Manuela M. Veloso, Carnegie Mellon University

Natural Language

Grammar and Language

A Sampling-Based Heuristic for Tree Search Applied to Grammar Induction / 776
Hugues Juillé and Jordan B. Pollack, Brandeis University

Ambiguity and Constraint in Mathematical Expression Recognition / 784
Erik G. Miller and Paul A. Viola, Massachusetts Institute of Technology

Learning in Natural Language

Learning to Classify Text from Labeled and Unlabeled Documents / 792
Kamal Nigam, Carnegie Mellon University; Andrew McCallum, Just Research and Carnegie Mellon University; Sebastian Thrun and Tom Mitchell, Carnegie Mellon University

Knowledge Lean Word--Sense Disambiguation / 800
Ted Pedersen, Southern Methodist University and Rebecca Bruce, University of North Carolina at Asheville

Learning to Resolve Natural Language Ambiguities: A Unified Approach / 806
Dan Roth, University of Illinois at Urbana-Champaign

Natural Language Generation

Generating Inference-Rich Discourse through Revisions of RST-Trees / 814
Helmut Horacek, Universität des Saarlandes

Machine Learning of Generic and User-Focused Summarization / 821
Inderjeet Mani and Eric Bloedorn, The MITRE Corporation

Natural Language Generation--Argumentation

Hermes: Supporting Argumentative Discourse in Multi-Agent Decision Making / 827
Nikos Karacapilidis, Swiss Federal Institute of Technology and Dimitris Papadias, Hong Kong University of Science and Technology

Bayesian Reasoning in an Abductive Mechanism for Argument Generation and Analysis / 833
Ingrid Zukerman, Richard McConachy and Kevin B. Korb, Monash University

Nonmonotonic Reasoning

Fixpoint 3-Valued Semantics for Autoepistemic Logic / 840
Marc Denecker, K. U. Leuven; Victor Marek and Miroslaw Truszczynski, University of Kentucky

Experimenting with Power Default Reasoning / 846
Eric Klavins and William C. Rounds, University of Michigan; Guo-Qiang Zhang, University of Georgia

Reducing Query Answering to Satisfiability in Nonmonotonic Logics / 853
Riccardo Rosati, Università di Roma "La Sapienza"

Planning

Improving Big Plans / 860
Neal Lesh, Nathaniel Martin and James Allen, University of Rochester

Controlling Communication in Distributed Planning Using Irrelevance Reasoning / 868
Michael Wolverton and Marie desJardins, SRI International

Frameworks for Plan Generation

Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains / 875
Alessandro Cimatti, Marco Roveri and Paolo Traverso, IRST

Hybrid Planning for Partially Hierarchical Domains / 882
Subbarao Kambhampati, Amol Mali and Biplav Srivastava, Arizona State University

Graph Plan

Conformant Graphplan / 889
David E. Smith, NASA Ames Research Center and Daniel S. Weld, University of Washington

Extending Graphplan to Handle Uncertainty & Sensing Actions / 897
Daniel S. Weld and Corin R. Anderson, University of Washington; David E. Smith, NASA Ames Research Center

Plan Efficiency

Inferring State Constraints for Domain-Independent Planning / 905
Alfonso Gerevini, Università di Brescia and Lenhart Schubert, University of Rochester

Analyzing External Conditions to Improve the Efficiency of HTN Planning / 913
Reiko Tsuneto, James Hendler and Dana Nau, University of Maryland

Plan Execution

Managing Multiple Tasks in Complex, Dynamic Environments / 921
Michael Freed, NASA Ames Research Center

Maintaining Consistency in Hierarchical Reasoning / 928
Robert E. Wray, III and John Laird, The University of Michigan

Plan Recognition

Acquisition of Abstract Plan Descriptions for Plan Recognition / 936
Mathias Bauer, German Research Center for Artificial Intelligence

Needles in a Haystack: Plan Recognition in Large Spatial Domains Involving Multiple Agents / 942
Mark Devaney and Ashwin Ram, Georgia Institute of Technology

Planning as Satisfiability

Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability / 948
Enrico Giunchiglia and Alessandro Massarotto, DIST - Università di Genova; Roberto Sebastiani, IRST

Using Caching to Solve Larger Probabilistic Planning Problems / 954
Stephen M. Majercik and Michael L. Littman, Duke University

Robotics

Human-Robot Interaction

Alternative Essences of Intelligence / 961
Rodney A. Brooks, Cynthia Breazeal (Ferrell), Robert Irie, Charles C. Kemp, Matthew Marjanovic, Brian Scassellati and Matthew M. Williamson, MIT Artificial Intelligence Lab

Eye Finding via Face Detection for a Foveated Active Vision System / 969
Brian Scassellati, MIT Artificial Intelligence Laboratory

Template-Based Recognition of Pose and Motion Gestures on a Mobile Robot / 977
Stefan Waldherr, Sebastian Thrun, Roseli Romero and Dimitris Margaritis, Carnegie Mellon University

Robot Navigation

Position Estimation for Mobile Robots in Dynamic Environments / 983
Dieter Fox and Wolfram Burgard, University of Bonn; Sebastian Thrun, Carnegie Mellon University; Armin B. Cremers, University of Bonn

Integrating Topological and Metric Maps for Mobile Robot Navigation: A Statistical Approach / 989
Sebastian Thrun, Carnegie Mellon University; Jens-Steffen Gutmann, Universität Freiburg; Dieter Fox and Wolfram Burgard, University of Bonn; Benjamin J. Kuipers, University of Texas at Austin

Sound Understanding

The Role of Data Reprocessing in Complex Acoustic Environments / 997
Frank Klassner, Villanova University; Victor Lesser, University of Massachusetts, Amherst; Hamid Nawab, Boston University

Sound Ontology for Computational Auditory Scence Analysis / 1004
Tomohiro Nakatani and Hiroshi G. Okuno, NTT Basic Research Laboratories

SIGART / AAAI Doctoral Consortium Abstracts

Optimizing Information Agents by Selectively Materializing Data / 1168
Naveen Ashish, University of Southern California

Generating Adequate Instructions: Knowing When to Stop / 1169
Juliet C. Bourne, University of Pennsylvania

HR - Automatic Concept Formation in Finite Algebras / 1170
Simon Colton, University of Edinburgh

Optimizing Initial Configurations of Neural Networks for the Task of Natural Language Learning / 1171
Jaime J. Dávila, City University of New York

Pragmatic Multi-Agent Learning / 1172
Andrew Garland, Brandeis University

Perception, Memory, and the Field of View Problem / 1173
William S. Gribble, University of Texas at Austin

Exploiting Diversity for Natural Language Processing / 1174
John C. Henderson, Johns Hopkins University

Multimodal, Multilevel Selective Attention / 1175
Micheal Hewett, University of Texas at Austin

Learning in Markov Games with Incomplete Information / 1176
Junling Hu, University of Michigan

Extending the Classification Paradigm to Temporal Domains / 1177
Mohammed Waleed Kadous, University of New South Wales

Data Mining for Maintenance of Complex Systems / 1178
Sylvain Létourneau, University of Ottawa

Empirical Acquisition of Word-Sense Distinctions / 1179
Tom O'Hara, New Mexico State University

Neural Approaches to Blind Separation and Cumulant Analysis and Its Application to Diagnostics of Nuclear Power Plants / 1180
Alexei Ourmanov, Institute of Physics and Power Engineering

Bayesian Reasoning for Tropical Cyclone Intensity Forecasting and Risk Analysis / 1181
Grace W. Rumantir, Monash University

Rational Multiagent Organization and Reorganization / 1182
Wayne A. Smith, University of South Carolina

A Script-Based Approach to Modifying Knowledge-Based Systems / 1183
Marcelo Tallis, University of Southern California

Student Abstracts

Learning to Teach with a Reinforcement Learning Agent / 1185
Joseph E. Beck, University of Massachusetts, Amherst

Genetic Search for Accurate Feature Sets / 1186
Brendan Burns, Williams College

A First Analysis of Qualitative Influences and Synergies / 1187
Jesús Cerquides and Ramon López de Màntaras, Spanish Council for Scientific Research

A New Approach to Rule Interest Measures / 1188
Jesús Cerquides and Ramon López de Màntaras, Spanish Council for Scientific Research

Classification Using an Online Genetic Algorithm / 1189
Brian D. Davison, Rutgers, The State University of New Jersey

Plan Recognition in Complex Spatial Domains / 1190
Mark Devaney, Georgia Institute of Technology

Nested Joint Probability Model for Morphological Analysis and its Grid Pruning / 1191
Koji Fujimoto, Nobuo Inui and Yoshiyuki Kotani, Tokyo University of Agriculture and Technology

Generalized A* for Cyclic AND/OR Graphs / 1192
Supriyo Ghose, Price Waterhouse Associates Pvt. Ltd.

Selection of Conflict Resolution Strategies in Dynamically Organized Sensible Agent-Based Systems / 1193
T. H. Liu and K. S. Barber, The University of Texas at Austin

Refinement-Based Planning as Satisfiability / 1194
Amol D. Mali, Arizona State University

Goal and Responsibility Allocation in Sensible Agent-Based Systems / 1195
Ryan McKay and K. S. Barber, The University of Texas at Austin

Tutorial Response Generation in a Writing Tool for Deaf Learners of English / 1196
Lisa N. Michaud, University of Delaware

Dependent Bigram Identification / 1197
Ted Pedersen, Southern Methodist University

Raw Corpus Word Sense Disambiguation / 1198
Ted Pedersen, Southern Methodist University

Discourse learning: Dialogue Act Tagging with Transformation-Based Learning / 1199
Ken Samuel, The University of Delaware

Estimating the Expected Error of Empirical Minimizers for Model Selection / 1200
Tobias Scheffer, Technische Universität Berlin and Thorsten Joachims, Uni Dortmund

Pluto: Managing Multistrategy Learning through Planning / 1201
Gordon T. Shippey, J. William Murdock and Ashwin Ram, Georgia Institute of Technology

A Framework for Reinforcement Learning on Real Robots / 1202
William D. Smart and Leslie Pack Kaelbling, Brown University

Handling Inconsistency for Multi-Source Integration / 1203
Sheila Tejada, Craig A. Knoblock and Steven Minton, University of Southern California/ISI

Emotion-Based Agents / 1204
Rodrigo M. M. Ventura and Carlos A. Pinto-Ferreira, Instituto Superior Técnico

DL-$elect: A Decision-List-Based Data-Mining System / 1205
Karl Weinmeister, Duke University

Ensuring Reasoning Consistency in Hierarchical Architectures / 1206
Robert E. Wray, III and John Laird, The University of Michigan

Building Agents from Shared Ontologies through Apprenticeship Multistrategy Learning / 1207
Kathryn Wright, Mihai Boicu, Seok Won Lee and Gheorghe Tecuci, George Mason University

Development of Outdoor Navigation for a Robotic Wheelchair System / 1208
Holly A. Yanco, MIT Artificial Intelligence Laboratory

Invited Talk

Structured Probabilistic Models: Bayesian Networks and Beyond / 1210
Daphne Koller, Stanford University

Index / 1212