Proceedings of the Eighteenth National Conference on Artificial Intelligence
Sponsored by the Association for the Advancement of Artificial Intelligence
Rina Dechter and Richard Sutton, Program Cochairs
July 28 – August 1, 2002, Edmonton, Alberta, Canada. 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 / xix
Conference Program Committees / xxi
Outstanding Paper Award / xxiv
Sponsoring Organizations / xxv
Preface / xxvi
Invited Talks / xxvii
Constraint Satisfaction
The Yard Allocation Problem / 3
Ping Chen, Zhaohui Fu, and Andrew Lim, National University of Singapore
Integrating Local Search and Network Flow to Solve the Inventory Routing Problem / 9
Hoong Chuin Lau, National University of Singapore; Qizhang Liu, ASPrecise Pte Ltd; Hirotaka Ono, Kyushu University
Generating Random Solutions for Constraint Satisfaction Problems / 15
Rina Dechter and Kalev Kask, University of California, Irvine; Eyal Bin and Roy Emek, IBM Research Laboratory in Haifa
Graph Coloring with Quantum Heuristics / 22
Alex Fabrikant, University of California, Berkeley; Tad Hogg, HP Labs
Reducing Search Space in Local Search for Constraint Satisfaction / 28
H. Fang, Yale University; Y. Kilani and J.H.M. Lee, The Chinese University of Hong Kong; P.J. Stuckey, University of Melbourne
Preference-Based Search and Multi-Criteria Optimization / 34
Ulrich Junker, ILOG iii
Human-Guided Tabu Search / 41
Gunnar W. Klau, Vienna University of Technology; Neal Lesh and
Joe Marks, Mitsubishi Electric Research Laboratories; Michael Mitzenmacher, Harvard University
Node and Arc Consistency in Weighted CSP / 48
Javier Larrosa, Universitat Politecnica de Catalunya
Model Induction: A New Source of CSP Model Redundancy / 54
Y. C. Law and J. H. M. Lee, The Chinese University of Hong Kong
Knowledge Representation
On Computing all Abductive Explanations / 62
Thomas Eiter, Technische Universität Wien; Kazuhisa Makino, Osaka University
Measuring Inconsistency in Knowledge via Quasi-Classical Models / 68
Anthony Hunter, University College London
A Hoare-Style Proof System for Robot Programs / 74
Yongmei Liu, University of Toronto
Representing and Reasoning about Mappings between Domain Models / 80
Jayant Madhavan, University of Washington; Philip A. Bernstein, Microsoft Research; Pedro Domingos and Alon Y. Halevy, University of Washington
A Regression Based Adaptation Strategy for Case-Based Reasoning / 87
David Patterson, Niall Rooney, and Mykola Galushka, University of Ulster at Jordanstown
Cluster Ensembles - A Knowledge Reuse Framework for Combining Partitionings / 93
Alexander Strehl and Joydeep Ghosh, The University of Texas at Austin Logic Programming
Logic Programming with Ordered Disjunction / 100
Gerhard Brewka, Universität Leipzig
A Three-Valued Characterization for Strong Equivalence of Logic Programs / 106
Pedro Cabalar, University of Corunna
ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers / 112
Fangzhen Lin and Yuting Zhao, Hong Kong University of Science and Technology
Learning
State Abstraction for Programmable Reinforcement Learning Agents / 119
David Andre and Stuart J. Russell, University of California, Berkeley
Contentful Mental States for Robot Baby / 126
Paul R. Cohen, University of Massachusetts; Tim Oates, University of Maryland; Carole R. Beal, University of Massachusetts; Niall Adams, Imperial College, London
Data Perturbation for Escaping Local Maxima in Learning / 132
Gal Elidan, Matan Ninio, and Nir Friedman, Hebrew University; Dale Shuurmans, University of Waterloo
Progressive Rademacher Sampling / 140
Tapio Elomaa and Matti Kääriäinen, University of Helsinki iv
Pruning and Dynamic Scheduling of Cost-Sensitive Ensembles / 146
Wei Fan, IBM T.J. Watson Research; Fang Chu, University of California, Los Angeles; Haixun Wang and Philip S. Yu, IBM T.J. Watson Research
Specific-to-General Learning for Temporal Events / 152
Alan Fern, Robert Givan, and Jeffrey Mark Siskind, Purdue University
Learning Temporal, Relational, Force-Dynamic Event Definitions from Video / 159
Alan Fern, Jeffrey Mark Siskind, and Robert Givan, Purdue University
Structural Extension to Logistic Regression: Discriminative Parameter Learning of Belief Net Classifiers / 167
Russell Greiner, University of Alberta; Wei Zhou, University of Waterloo
Bootstrap Learning for Place Recognition / 174
Benjamin Kuipers and Patrick Beeson, The University of Texas at Austin
Minimum Majority Classification and Boosting / 181
Philip M. Long, Genome Institute of Singapore
Content-Boosted Collaborative Filtering for Improved Recommendations / 187
Prem Melville, Raymond J. Mooney, and Ramadass Nagarajan, University of Texas at Austin
Constructive Adaptive User Interfaces - Composing Music Based on Human Feelings / 193
Masayuki Numao, Shoichi Takagi, and Keisuke Nakamura, Tokyo Institute of Technology
Reinforcement Learning for POMDPs Based on Action Values and Stochastic Optimization / 199
Theodore J. Perkins, University of Massachusetts Amherst
Polynomial-Time Reinforcement Learning of Near-Optimal Policies / 205
Karèn Pivazyan and Yoav Shoham, Stanford University
Constrained Formulations and Algorithms for Stock-Price Predictions Using Recurrent FIR Neural Networks / 211
Benjamin W. Wah and Minglun Qian, University of Illinois, Urbana-Champaign
Rule-Based Anomaly Pattern Detection for Detecting Disease Outbreaks / 217
Weng-Keen Wong and Andrew Moore, Carnegie Mellon University; Gregory Cooper and Michael Wagner, University of Pittsburgh
Extended Isomap for Pattern Classification / 224
Ming-Hsuan Yang, Honda Fundamental Research Labs
Hierarchical Latent Class Models for Cluster Analysis / 230
Nevin L. Zhang, Hong Kong University of Science and Technology
Markov Decision Processes
A POMDP Formulation of Preference Elicitation Problems / 239
Craig Boutilier, University of Toronto
Segmenting Time Series with a Hybrid Neural Networks - Hidden Markov Model / 247
Laura Firoiu and Paul R. Cohen, University of Massachusetts Amherst
Context-Specific Multiagent Coordination and Planning with Factored MDPs / 253
Carlos Guestrin, Shobha Venkataraman, and Daphne Koller, Stanford University
Nearly Deterministic Abstractions of Markov Decision Processes / 260
Terran Lane and Leslie Pack Kaelbling, MIT Artificial Intelligence Laboratory
The Size of MDP Factored Policies / 267
Paolo Liberatore, Università di Roma "La Sapienza"
On Policy Iteration as a Newton’s Method and Polynomial Policy Iteration Algorithms / 273
Omid Madani, University of Alberta
Efficient Utility Functions for Ceteris Paribus Preferences / 279
Michael McGeachie, Massachusetts Institute of Technology; Jon Doyle, North Carolina State University
Greedy Linear Value-Approximation for Factored Markov Decision Processes / 285
Relu Patrascu, University of Waterloo; Pascal Poupart, University of Toronto; Dale Schuurmans, University of Waterloo; Craig Boutilier, University of Toronto; Carlos Guestrin, Stanford University
Piecewise Linear Value Function Approximation for Factored MDPs / 292
Pascal Poupart and Craig Boutilier, University of Toronto; Relu Patrascu and Dale Schuurmans, University of Waterloo
Bayesian Networks for Speech and Image Integration / 300
Sven Wachsmuth and Gerhard Sagerer, Bielefeld University
Value Iteration Working with Belief Subsets / 307
Weihong Zhang, Washington University; Nevin L. Zhang, Hong Kong University of Science and Technology
Multiagent Systems
Complexity of Manipulating Elections with Few Candidates / 314
Vincent Conitzer and Tuomas Sandholm, Carnegie Mellon University
A Logic-Based Model of Intentions for Multi-Agent Subcontracting / 320
John Grant, Towson University; Sarit Kraus, Bar-Ilan University and University of Maryland; Donald Perlis, University of Maryland
Reinforcement Learning of Coordination in Cooperative Multi-Agent Systems / 326
Spiros Kapetanakis and Daniel Kudenko, University of York
The Design of Collectives of Agents to Control Non-Markovian Systems / 332
John W. Lawson and David H. Wolpert, NASA Ames Research Center
(Im)possibility of Safe Exchange Mechanism Design / 338
Tuomas Sandholm and XiaoFeng Wang, Carnegie Mellon University
Multi-Agent Algorithms for Solving Graphical Games / 345
David Vickrey and Daphne Koller, Stanford University
Distributed Breakout Revisited / 352
Weixiong Zhang and Lars Wittenburg, Washington University
Auctions
Solving Concisely Expressed Combinatorial Auction Problems / 359
Craig Boutilier, University of Toronto
Partial-Revelation VCG Mechanism for Combinatorial Auctions / 367
Wolfram Conen, XONAR GmbH; Tuomas Sandholm, Carnegie Mellon University
Bidding Clubs in First-Price Auctions / 373
Kevin Leyton-Brown, Yoav Shoham, and Moshe Tennenholtz, Stanford University
Truthful Approximation Mechanisms for Restricted Combinatorial Auctions / 379
Ahuva Mu'alem and Noam Nisan, The Hebrew University of Jerusalem vi
Structural Leverage and Fictitious Play in Sequential Auctions / 385
Weili Zhu and Peter R. Wurman, North Carolina State University
Game Theory
Vote Elicitation: Complexity and Strategy-Proofness / 392
Vincent Conitzer and Tuomas Sandholm, Carnegie Mellon University
Dispersion Games: General Definitions and Some Specific Learning Results / 398
Trond Grenager, Rob Powers, and Yoav Shoham, Stanford University
Competitive Safety Analysis / 404
Moshe Tennenholtz, Stanford University
Natural Language Processing
Learning Pattern Rules for Chinese Named Entity Extraction / 411
Tat-Seng Chua and Jimin Liu, National University of Singapore
Language Modeling for Soft Keyboards / 419
Joshua Goodman and Gina Venolia, Microsoft Research; Keith Steury, Microsoft Corporation; Chauncey Parker, University of Washington
CobotDS: A Spoken Dialogue System for Chat / 425
Michael Kearns, University of Pennsylvania; Charles Isbell, Georgia Institute of Technology; Satinder Singh, Syntek Capital; Diane Litman, University of Pittsburgh; Jessica Howe, Massachussetts Institute of Technology
Exploiting Auditory Fovea in Humanoid-Human Interaction / 431
Kazuhiro Nakadai, Kitano Symbiotic Systems Project, ERATO; Hiroshi G. Okuno, Kitano Symbiotic Systems Project, ERATO and Kyoto University; Hiroaki Kitano, Kitano Symbiotic Systems Project, ERATO and Sony Computer Science Laboratories, Inc.
Towards CST-Enhanced Summarization / 439
Zhu Zhang, Sasha Blair-Goldensohn, and Dragomir R. Radev, University of Michigan
Planning
Planning with a Language for Extended Goals / 447
Ugo Dal Lago, Marco Pistore, and Paolo Traverso, ITC-IRST
Symbolic Heuristic Search for Factored Markov Decision Processes / 455
Zhengzhu Feng, University of Massachusetts; Eric A. Hansen, Mississippi State University
Plan Evaluation with Incomplete Action Descriptions / 461
Andrew Garland and Neal Lesh, Cambridge Research Laboratory, MERL
Algorithms for a Temporal Decoupling Problem in Multi-Agent Planning / 468
Luke Hunsberger, Harvard University
D*Lite / 476
Sven Koenig, Georgia Institute of Technology; Maxim Likhachev, Carnegie Mellon University
Speeding Up the Calculation of Heuristics for Heuristic Search-Based Planning / 484
Yaxin Liu, Sven Koenig and David Furcy, Georgia Institute of Technology
Iterative-Refinement for Action Timing Discretization / 492
Todd W. Neller, Gettysburg College vii
A Logical Measure of Progress for Planning / 498
Aarati Parmar, Stanford University
Actions and Temporal Reasoning
Reasoning about Actions in a Probabilistic Setting / 507
Chitta Baral, Nam Tran, and Le-Chi Tuan, Arizona State University
A Method for Metric Temporal Reasoning / 513
Mathias Broxvall, Linköpings Universitet
Non-Markovian Control in the Situation Calculus / 519
Alfredo Gabaldon, University of Toronto
Probabilistic and Causal Reasoning
Visual Exploration and Incremental Utility Elicitation / 526
Jim Blythe, USC Information Sciences Institute
A Graphical Criterion for the Identification of Causal Effects in Linear Models / 533
Carlos Brito and Judea Pearl, University of California, Los Angeles
A Distance Measure for Bounding Probabilistic Belief Change / 539
Hei Chan and Adnan Darwiche, University of California, Los Angeles
Strategies for Determining Causes of Events / 546
Mark Hopkins, University of California, Los Angeles
Tree Approximation for Belief Updating / 553
Robert Mateescu, Rina Dechter, and Kalev Kask, University of California, Irvine
Accuracy Versus Efficiency Trade-offs in Probabilistic Diagnosis / 560
Irina Rish, Mark Brodie, and Sheng Ma, IBM T.J. Watson Research Center
A General Identification Condition for Causal Effects / 567
Jin Tian and Judea Pearl, University of California, Los Angeles
A New Characterization of the Experimental Implications of Causal Bayesian Networks / 574
Jin Tian and Judea Pearl, University of California, Los Angeles
Robotics
Robust Global Localization Using Clustered Particle Filtering / 581
Adam Milstein, Javier Nicolás Sánchez, and Evan Tang Williamson, Stanford University
Experiences with a Mobile Robotic Guide for the Elderly / 587
Michael Montemerlo, Joelle Pineau, Nicholas Roy, Sebastian Thrun, and Vandi Verma, Carnegie Mellon University
FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem / 593
Michael Montemerlo and Sebastian Thrun, Carnegie Mellon University; Daphne Koller and Ben Wegbreit, Stanford University
Watch Their Moves: Applying Probabilistic Multiple Object Tracking to Autonomous Robot Soccer / 599
Thorsten Schmitt, Michael Beetz, Robert Hanek, and Sebastian Buck, Munich University of Technology
CD*: A Real-Time Resolution Optimal Re-Planner for Globally Constrained Problems / 605
Anthony Stentz, Carnegie Mellon University
Satisfiability
Enhancing Davis Putnam with Extended Binary Clause Reasoning / 613
Fahiem Bacchus, University of Toronto
Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems / 620
Delbert D. Bailey, Víctor Dalmau, and Phokion G. Kolaitis, University of California, Santa Cruz
A Compiler for Deterministic, Decomposable Negation Normal Form / 627
Adnan Darwiche, University of California, Los Angeles
Inference Methods for a Pseudo-Boolean Satisfiability Solver / 635
Heidi E. Dixon and Matthew L. Ginsberg, CIRL / University of Oregon
Automated Discovery of Composite SAT Variable-Selection Heuristics / 641
Alex Fukunaga, University of California, Los Angeles
Learning for Quantified Boolean Logic Satisfiability / 649
Enrico Giunchiglia, Massimo Narizzano, and Armando Tacchella, DIST - Università di Genova
An Adaptive Noise Mechanism for WalkSAT / 655
Holger H. Hoos, University of British Columbia
A Mixture-Model for the Behaviour of SLS Algorithms for SAT / 661
Holger H. Hoos, University of British Columbia
SetA*: An Efficient BDD-Based Heuristic Search Algorithm / 668
Rune M. Jensen, Randal E. Bryant, and Manuela M. Veloso, Carnegie Mellon University
Dynamic Restart Policies / 674
Henry Kautz, University of Washington; Eric Horvitz, Microsoft Research; Yongshao Ruan, University of Washington; Carla Gomes and Bart Selman, Cornell University
Using Weighted MAX-SAT Engines to Solve MPE / 682
James D. Park, University of California, Los Angeles
Easy Predictions for the Easy-Hard-Easy Transition / 688
Andrew J. Parkes, CIRL / University of Oregon
The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT / 695
Toby Walsh, University College Cork
Search
Scheduling Contract Algorithms on Multiple Processors / 702
Daniel S. Bernstein, Theodore J. Perkins, and Shlomo Zilberstein, University of Massachusetts; Lev Finkelstein, Technion - Israel Institute of Technology
Searching for Backbones and Fat: A Limit-Crossing Approach with Applications / 707
Sharlee Climer and Weixiong Zhang, Washington University
Multiple-Goal Search Algorithms and their Application to Web Crawling / 713
Dmitry Davidov and Shaul Markovitch, Technion
Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Independent Processes / 719
Lev Finkelstein, Shaul Markovitch, and Ehud Rivlin, Technion
Optimal Depth-First Strategies for And-Or Trees / 725
Russell Greiner and Ryan Hayward, University of Alberta; Michael Molloy, University of Toronto
A New Algorithm for Optimal Bin Packing / 731
Richard E. Korf, University of California, Los Angeles
Memory-Efficient A* Heuristics for Multiple Sequence Alignment / 737
Matthew McNaughton, Paul Lu, Jonathan Schaeffer, and Duane Szafron, University of Alberta
PROMPTDIFF: A Fixed-Point Algorithm for Comparing Ontology Versions / 744
Natalya F. Noy and Mark A. Musen, Stanford University
On Preference-Based Search in State Space Graphs / 751
Patrice Perny, LIP6 - University of Paris VI; Olivier Spanjaard, LAMSADE - University of Paris IX
An Average-Case Analysis of Graph Search / 757
Anup K. Sen, Indian Institute of Management Calcutta; Amitava Bagchi, University of Texas at Dallas; Weixiong Zhang, Washington University
Vision
Detection and Classification of Motion Boundaries / 764
Richard Mann, University of Waterloo; Allan D. Jepson, University of Toronto
Recognizing Multitasked Activities from Video Using Stochastic Context-Free Grammar / 770
Darnell Moore, Texas Instruments; Irfan Essa, Georgia Institute of Technology
The OD Theory of TOD: The Use and Limits of Temporal Information for Object Discovery / 777
Brandon C. S. Sanders and Randal C. Nelson, University of Rochester; Rahul Sukthankar, Compaq Research (CRL)
Web and Information Extraction
A Maximum Entropy Approach to Information Extraction from Semi-Structured and Free Text / 786
Hai Leong Chieu, DSO National Laboratories; Hwee Tou Ng, National University of Singapore
Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web / 792
Ian Horrocks, University of Manchester; Peter F. Patel-Schneider, Bell Labs Research; Frank van Harmelen, Vrije Universiteit
Stochastic Link and Group Detection / 798
Jeremy Kubica, Andrew Moore, Jeff Schneider, and Yiming Yang, Carnegie Mellon University
Innovative Applications of Artificial Intelligence Papers
Deployed Applications
MiTAP, Text and Audio Processing for Bio-Security: A Case Study / 807
Laurie Damianos, Jay Ponte, Steve Wohlever, Florence Reeder, David Day, George Wilson, and Lynette Hirschman, The MITRE Coporation
RightNow eService Center: Internet Customer Service Using a Self-Learning Knowledge Base / 815
Stephen D. Durbin, Doug Warner, J. Neal Richter, and Zuzana Gedeon, RightNow Technologies, Inc.
Staff Scheduling for Inbound Call Centers and Customer Contact Centers / 822
Alex Fukunaga, Ed Hamilton, Jason Fama, David Andre, Ofer Matan, and Illah Nourbakhsh, Blue Pumpkin Software
A Decision-Support System for Quote Generation / 830
Richard Goodwin, Rama Akkiraju, and Fred Wu, IBM T.J. Watson Research Center
UTTSExam: A Campus-Wide University Exam-Timetabling System / 838
Andrew Lim, Juay-Chin Ang, Wee-Kit Ho, and Wee-Chong Oon, National University of Singapore
A Structure Based Configuration Tool: Drive Solution Designer - DSD / 845
Christoph Ranze, encoway GmbH and Co KG; Thorsten Scholz and Thomas Wagner, University of Bremen, TZI; Andreas Günter, University of Hamburg; Otthein Herzog, University of Bremen, TZI; Oliver Hollmann, encoway GmbH and Co Inc.; Christoph Schlieder, University of Bremen, TZI; Volker Arlt, Lenze AG
Development and Deployment of a Disciple Agent for Center of Gravity Analysis / 853
Gheorghe Tecuci, George Mason University and US Army War College; Mihai Boicu, Dorin Marcu, Bogdan Stanescu, and Cristina Boicu, George Mason University; Jerry Comello and Antonio Lopez, US Army War College; James Donlon, George Mason University and US Army War College; William Cleckner, US Army War College
Emerging Applications
Getting from Here to There: Interactive Planning and Agent Execution for Optimizing Travel / 862
José Luis Ambite, Greg Barish, Craig A. Knoblock, Maria Muslea, and Jean Oh, University of Southern California; Steven Minton, Fetch Technologies
WhyNot: Debugging Failed Queries in Large Knowledge Bases / 870
Hans Chalupsky and Thomas A. Russ, University of Southern California
An Analogy Ontology for Integrating Analogical Processing and First-Principles Reasoning / 878
Kenneth D. Forbus and Thomas Mostek, Northwestern University; Ron Ferguson, Georgia Institute of Technology
Applying Perceptually Driven Cognitive Mapping to Virtual Urban Environments / 886
Randall W. Hill, Jr., Changhee Han, and Michael van Lent, USC Institute for Creative Technologies
Toward Practical Knowledge-Based Tools for Battle Planning and Scheduling / 894
Alexander Kott, Larry Ground, and Ray Budd, BBN Technologies; Lakshmi Rebbapragada, U.S. Army CECOM/RDEC/C2D; John Langston, Austin Information Systems
Knowledge Formation and Dialogue Using the KRAKEN Toolset / 900
Kathy Panton, Pierluigi Miraglia, Nancy Salay, Robert C. Kahlert, David Baxter, and Roland Reagan, Cycorp, Inc.
AI on the Battlefield: An Experimental Exploration / 906
Robert Rasch, Battle Command Battle Lab; Alexander Kott, BBN Technologies; Kenneth D. Forbus, Northwestern University
Intelligent Control of Auxiliary Ship Systems / 913
David Scheidt, Christopher McCubbin, Michael Pekala, Shon Vick, and David Alger, The Johns Hopkins University
Computational Vulnerability Analysis for Information Survivability / 919
Howard Shrobe, Massachusetts Institute of Technology
A Web-Based Ontology Browsing and Editing System / 927
Jérôme Thoméré, SRI International; Ken Barker, University of Texas at Austin; Vinay Chaudhri, SRI International; Peter Clark, Boeing Research and Technology; Michael Eriksen and Sunil Mishra, SRI International; Bruce Porter, University of Texas at Austin; Andres Rodriguez, SRI International
The 2001 Trading Agent Competition / 935
Michael P. Wellman, University of Michigan; Amy Greenwald, Brown University; Peter Stone, AT&T Labs - Research; Peter R. Wurman, North Carolina State University
Student Abstracts
Multiple Instance Learning with Generalized Support Vector Machines / 943
Stuart Andrews, Thomas Hofmann, and Ioannis Tsochantaridis, Brown University
Toward a Framework for Assembling Broken Pottery Vessels / 945
Stuart Andrews and David H. Laidlaw, Brown University
Mixed-Initiative Exception-Based Learning for Knowledge Base Refinement / 947
Cristina Boicu, Gheorghe Tecuci, and Mihai Boicu, George Mason University
Fuzzy Numbers for the Improvement of Causal Knowledge Representation in Fuzzy Cognitive Maps / 949
Otto X. Cordero and Enrique Peláez, Information Technology Center - ESPOL
A Genetic Algorithm for Tuning Variable Orderings in Bayesian Network Structure Learning / 951
Haipeng Guo, Benjamin B. Perry, Julie A. Stilson, and William H. Hsu, Kansas State University
A Model Checker for Verifying ConGolog Programs / 953
Leila Kalantari and Eugenia Ternovska, Simon Fraser University
Analogical Inference over a Common Sense Database / 955
Thomas Lin, MIT Media Laboratory
MAKEBELIEVE: Using Commonsense Knowledge to Generate Stories / 957
Hugo Liu and Push Singh, MIT Media Laboratory
Localizing while Mapping: A Segment Approach / 959
Andrew J. Martignoni III and William D. Smart, Washington University
Multi-Player Game Approach to Solving Multi-Entity Problems / 961
Wee-Chong Oon and Andrew Lim, National University of Singapore
BN-Tools: A Software Toolkit for Experimentation in BBNs / 963
Benjamin Perry and Julie Stilson, Kansas State University
Optimizing Parameter Learning Using Temporal Differences / 965
James F. Swafford II, East Carolina University
Student Modeling for a Web-Based Learning Environment: A Data Mining Approach / 967
Tiffany Y. Tang and Gordon McCalla, University of Saskatchewan
An Extended Alternating-Offers Bargaining Protocol for Automated Negotiation in Multi-Agent Systems / 969
Pinata Winoto, Gordon McCalla, and Julita Vassileva, University of Saskatchewan
Consistency and Set Intersection / 971
Yuanlin Zhang and Roland H.C. Yap, National University of Singapore
Incrementally Solving Functional Constraints / 973
Yuanlin Zhang and Roland H.C. Yap, National University of Singapore
Multiple Sequence Alignment Using Anytime A* / 975
Rong Zhou and Eric A. Hansen, Mississippi State University
SIGART/AAAI Doctoral Consortium
Decision-Theoretic Planning for Intelligent User Interfaces / 978
Thorsten Bohnenberger, Saarland University
Efficient Modeling of Temporally Variable User Properties with Dynamic Bayesian Networks / 979
Boris Brandherm, Saarland University
Learning in Open-Ended Dynamic Distributed Environments / 980
Doina Caragea, Iowa State University
Dynamic Bayesian Networks for Automatic Speech Recognition / 981
Murat Deviren, INRIA-LORIA
Combining Inference and Search for the Propositional Satisfiability Problem / 982
Lyndon Drake and Alan Frisch, University of York; Toby Walsh, University College Cork
A Bayesian Metareasoner for Algorithm Selection for Real-Time Bayesian Network Inference Problems / 983
Haipeng Guo, Kansas State University
An Agent Approach to Security in Pervasive Environments / 984
Lalana Kagal, University of Maryland Baltimore County
Generalized Features: Their Application to Classification / 985
Svetlana Kiritchenko and Stan Matwin, SITE, University of Ottawa
Organizations of Self-Interested Agents / 986
Foster McGeary, University of Delaware
Distributed Constraint Optimization and Its Application to Multiagent Resource Allocation / 987
Pragnesh Jay Modi, University of Southern California/Information Sciences Institute
Generating Trading Agent Strategies / 988
Daniel Reeves, University of Michigan
A Reputation-Oriented Reinforcement Learning Approach for Agents in Electronic Marketplaces / 989
Thomas Tran, University of Waterloo
A Dialogue System with Digression Handling - An Ontology-Based Approach / 990
Tzong-Han Tsai, National Taiwan University
Intelligent Systems Demonstrations
Disciple-RKF/COG: Agent Teaching by Subject Matter Experts / 992
Mihai Boicu, George Mason University; Gheorghe Tecuci, George Mason University and US Army War College; Dorin Marcu, Bogdan Stanescu, Cristina Boicu, Catalin Balan, Marcel Barbulescu, and Xianjun Hao, George Mason University
JYAG and IDEY: A Template-Based Generator and Its Authoring Tool / 994
Songsak Channarukul, Susan W. McRoy, and Syed S. Ali, University of Wisconsin - Milwaukee
Research Applications of the MAGNET Multi-Agent Contracting Testbed / 996
John Collins and Maria Gini, University of Minnesota
SpeechWeb: A Web of Natural-Language Speech Applications / 998
R. A. Frost, University of Windsor
An Automated Negotiator for an International Crisis / 1174
Penina Hoz-Weiss, Bar-Ilan University; Sarit Kraus, Bar-Ilan University and University of Maryland; Jonathan Wilkenfeld and Tara E. Santmire, University of Maryland
FlexBot, Groo, Patton and Hamlet: Research Using Computer Games as a Platform / 1002
Aaron Khoo, Robin Hunicke, Greg Dunham, Nick Trienens, and Muon Van, Northwestern University
UTTSExam: A University Examination Timetable Scheduler / 1004
Andrew Lim, Juay-Chin Ang, Wee-Kit Ho, and Wee-Chong Oon, National University of Singapore
Multi-ViewPoint Clustering Analysis (MVP-CA) Tool / 1006
Mala Mehrotra, Pragati Synergetic Research Inc.; Dmitri Bobrovnikoff, Intelligent Software Solutions
Fuzzy Neural Networks in a Palm Environment / 1008
Samuel Moyle and Michael Watts, University of Otago School of Business
CAUI Demonstration -- Composing Music Based on Human Feelings / 1010
Masayuki Numao, Shoichi Takagi, and Keisuke Nakamura, Tokyo Institute of Technology
Invited Talks
Perspectives on Artificial Intelligence Planning / 1013
Héctor Geffner, Universitat Pompeu Fabra - ICREA
Most Informative Dimension Reduction / 1024
Amir Globerson and Naftali Tishby, The Hebrew University
Index / 1030