Table of Contents

• The Yard Allocation ProblemPing Chen, Zhaohui Fu, Andrew Lim. 3-8
• Integrating Local Search and Network Flow to Solve the Inventory Routing ProblemHoong Chuin Lau, Qi Zhang Liu, Hirotaka Ono. 9-14
• Generating Random Solutions for Constraint Satisfaction ProblemsRina Dechter, Kalev Kask, Eyal Bin, Roy Emek. 15-21
• Graph Coloring with Quantum HeuristicsAlex Fabrikant, Tad Hogg. 22-27
• Reducing Search Space in Local Search for Constraint SatisfactionHai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey. 28-33
• Preference-Based Search and Multi-Criteria OptimizationUlrich Junker. 34-40
• Human-Guided Tabu SearchGunnar W. Klau, Neal Lesh, Joe Marks, Michael Mitzenmacher. 41-47
• Node and Arc Consistency in Weighted CSPJavier Larrosa. 48-53
• Model Induction: A New Source of CSP Model RedundancyYat Chiu Law, Jimmy Ho-Man Lee. 54
• On Computing all Abductive ExplanationsThomas Eiter, Kazuhisa Makino. 62-67
• Measuring Inconsistency in Knowledge via Quasi-Classical ModelsAnthony Hunter. 68-73
• A Hoare-Style Proof System for Robot ProgramsYongmei Liu. 74-79
• Representing and Reasoning about Mappings between Domain ModelsJayant Madhavan, Philip A. Bernstein, Pedro Domingos, Alon Y. Halevy. 80-86
• A Regression Based Adaptation Strategy for Case-Based ReasoningDavid W. Patterson, Niall Rooney, Mykola Galushka. 87-92
• Cluster Ensembles A Knowledge Reuse Framework for Combining PartitioningsAlexander Strehl, Joydeep Ghosh. 93
• Logic Programming with Ordered DisjunctionGerhard Brewka. 100-105
• A Three-Valued Characterization for Strong Equivalence of Logic ProgramsPedro Cabalar. 106-111
• ASSAT: Computing Answer Sets of a Logic Program by SAT SolversFangzhen Lin, Yuting Zhao. 112
• State Abstraction for Programmable Reinforcement Learning AgentsDavid Andre, Stuart J. Russell. 119-125
• Contentful Mental States for Robot BabyPaul R. Cohen, Tim Oates, Carole R. Beal, Niall M. Adams. 126-131
• Data Perturbation for Escaping Local Maxima in LearningGal Elidan, Matan Ninio, Nir Friedman, Dale Shuurmans. 132-139
• Progressive Rademacher SamplingTapio Elomaa, Matti Kääriäinen. 140-145
• Pruning and Dynamic Scheduling of Cost-Sensitive EnsemblesWei Fan, Fang Chu, Haixun Wang, Philip S. Yu. 146-151
• Specific-to-General Learning for Temporal EventsAlan Fern, Robert Givan, Jeffrey Mark Siskind. 152-158
• Learning Temporal, Relational, Force-Dynamic Event Definitions from VideoAlan Fern, Jeffrey Mark Siskind, Robert Givan. 159-166
• Structural Extension to Logistic Regression: Discriminative Parameter Learning of Belief Net ClassifiersRussell Greiner, Wei Zhou. 167-173
• Bootstrap Learning for Place RecognitionBenjamin Kuipers, Patrick Beeson. 174-180
• Minimum Majority Classification and BoostingPhilip M. Long. 181-186
• Content-Boosted Collaborative Filtering for Improved RecommendationsPrem Melville, Raymond J. Mooney, Ramadass Nagarajan. 187-192
• Constructive Adaptive User Interfaces - Composing Music Based on Human FeelingsMasayuki Numao, Shoichi Takagi, Keisuke Nakamura. 193-198
• Reinforcement Learning for POMDPs Based on Action Values and Stochastic OptimizationTheodore J. Perkins. 199-204
• Polynomial-Time Reinforcement Learning of Near-Optimal PoliciesKarèn Pivazyan, Yoav Shoham. 205-210
• Constrained Formulations and Algorithms for Stock-Price Predictions Using Recurrent FIR Neural NetworksBenjamin W. Wah, Minglun Qian. 211-216
• Rule-Based Anomaly Pattern Detection for Detecting Disease OutbreaksWeng-Keen Wong, Andrew W. Moore, Gregory F. Cooper, Michael Wagner. 217-223
• Extended Isomap for Pattern ClassificationMing-Hsuan Yang. 224-229
• Hierarchical Latent Class Models for Cluster AnalysisNevin Lianwen Zhang. 230-237
• A POMDP Formulation of Preference Elicitation ProblemsCraig Boutilier. 239-246
• Segmenting Time Series with a Hybrid Neural Networks - Hidden Markov ModelLaura Firoiu, Paul R. Cohen. 247-252
• Context-Specific Multiagent Coordination and Planning with Factored MDPsCarlos Guestrin, Shobha Venkataraman, Daphne Koller. 253-259
• Nearly Deterministic Abstractions of Markov Decision ProcessesTerran Lane, Leslie Pack Kaelbling. 260-266
• The Size of MDP Factored PoliciesPaolo Liberatore. 267-272
• On Policy Iteration as a Newton s Method and Polynomial Policy Iteration AlgorithmsOmid Madani. 273-278
• Efficient Utility Functions for Ceteris Paribus PreferencesMichael McGeachie, Jon Doyle. 279-284
• Greedy Linear Value-Approximation for Factored Markov Decision ProcessesRelu Patrascu, Pascal Poupart, Dale Schuurmans, Craig Boutilier, Carlos Guestrin. 285-291
• Piecewise Linear Value Function Approximation for Factored MDPsPascal Poupart, Craig Boutilier, Relu Patrascu, Dale Schuurmans. 292-299
• Bayesian Networks for Speech and Image IntegrationSven Wachsmuth, Gerhard Sagerer. 300-306
• Value Iteration Working with Belief SubsetWeihong Zhang, Nevin Lianwen Zhang. 307
• Complexity of Manipulating Elections with Few CandidatesVincent Conitzer, Tuomas Sandholm. 314-319
• A Logic-Based Model of Intentions for Multi-Agent SubcontractingJohn Grant, Sarit Kraus, Donald Perlis. 320-325
• Reinforcement Learning of Coordination in Cooperative Multi-Agent SystemsSpiros Kapetanakis, Daniel Kudenko. 326-331
• The Design of Collectives of Agents to Control Non-Markovian SystemsJohn W. Lawson, David Wolpert. 332-337
• (Im)possibility of Safe Exchange Mechanism DesignTuomas Sandholm, Xiao Feng Wang. 338-344
• Multi-Agent Algorithms for Solving Graphical GamesDavid Vickrey, Daphne Koller. 345-351
• Solving Concisely Expressed Combinatorial Auction ProblemsCraig Boutilier. 359-366
• Partial-Revelation VCG Mechanism for Combinatorial AuctionsWolfram Conen, Tuomas Sandholm. 367-372
• Bidding Clubs in First-Price AuctionsKevin Leyton-Brown, Yoav Shoham, Moshe Tennenholtz. 373-378
• Truthful Approximation Mechanisms for Restricted Combinatorial AuctionsAhuva Mu alem, Noam Nisan. 379-384
• Structural Leverage and Fictitious Play in Sequential AuctionsWeili Zhu, Peter R. Wurman. 385
• Vote Elicitation: Complexity and Strategy-ProofnessVincent Conitzer, Tuomas Sandholm. 392-397
• Dispersion Games: General Definitions and Some Specific Learning ResultsTrond Grenager, Rob Powers, Yoav Shoham. 398-403
• Competitive Safety AnalysisMoshe Tennenholtz. 404
• Learning Pattern Rules for Chinese Named Entity ExtractionTat-Seng Chua, Jimin Liu. 411-418
• Language Modeling for Soft KeyboardsJoshua Goodman, Gina Danielle Venolia, Keith Steury, Chauncey Parker. 419-424
• CobotDS: A Spoken Dialogue System for ChatMichael J. Kearns, Charles Lee Isbell Jr., Satinder P. Singh, Diane J. Litman, Jessica Howe. 425-430
• Exploiting Auditory Fovea in Humanoid-Human InteractionKazuhiro Nakadai, Hiroshi G. Okuno, Hiroaki Kitano. 431-438
• Towards CST-Enhanced SummarizationZhu Zhang, Sasha Blair-Goldensohn, Dragomir R. Radev. 439-446
• Planning with a Language for Extended GoalsUgo Dal Lago, Marco Pistore, Paolo Traverso. 447-454
• Symbolic Heuristic Search for Factored Markov Decision ProcessesZhengzhu Feng, Eric A. Hansen. 455-460
• Plan Evaluation with Incomplete Action DescriptionsAndrew Garland, Neal Lesh. 461-467
• Algorithms for a Temporal Decoupling Problem in Multi-Agent PlanningLuke Hunsberger. 468-475
• D*LiteSven Koenig, Maxim Likhachev. 476-483
• Speeding Up the Calculation of Heuristics for Heuristic Search-Based PlanningYaxin Liu, Sven Koenig, David Furcy. 484-491
• Iterative-Refinement for Action Timing DiscretizationTodd W. Neller. 492-497
• A Logical Measure of Progress for PlanningAarati Parmar. 498
• Reasoning about Actions in a Probabilistic SettingChitta Baral, Nam Tran, Le-Chi Tuan. 507-512
• A Method for Metric Temporal ReasoningMathias Broxvall. 513-518
• Non-Markovian Control in the Situation CalculusAlfredo Gabaldon. 519
• A Graphical Criterion for the Identification of Causal Effects in Linear ModelsCarlos Brito, Judea Pearl. 533-538
• A Distance Measure for Bounding Probabilistic Belief ChangeHei Chan, Adnan Darwiche. 539-545
• Strategies for Determining Causes of EventsMark Hopkins. 546-552
• Tree Approximation for Belief UpdatingRobert Mateescu, Rina Dechter, Kalev Kask. 553-559
• Accuracy vs. Efficiency Trade-offs in Probabilistic DiagnosisIrina Rish, Mark Brodie, Sheng Ma. 560-566
• A General Identification Condition for Causal EffectsJin Tian, Judea Pearl. 567-573
• A New Characterization of the Experimental Implications of Causal Bayesian NetworksJin Tian, Judea Pearl. 574
• Robust Global Localization Using Clustered Particle FilteringAdam Milstein, Javier Nicolás Sánchez, Evan Tang Williamson. 581-586
• Experiences with a Mobile Robotic Guide for the ElderlyMichael Montemerlo, Joelle Pineau, Nicholas Roy, Sebastian Thrun, Vandi Verma. 587-592
• FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping ProblemMichael Montemerlo, Sebastian Thrun, Daphne Koller, Ben Wegbreit. 593-598
• Watch Their Moves: Applying Probabilistic Multiple Object Tracking to Autonomous Robot SoccerThorsten Schmitt, Michael Beetz, Robert Hanek, Sebastian Buck. 599-604
• CD*: A Real-Time Resolution Optimal Re-Planner for Globally Constrained ProblemsAnthony Stentz. 605
• Enhancing Davis Putnam with Extended Binary Clause ReasoningFahiem Bacchus. 613-619
• Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability ProblemsDelbert D. Bailey, Víctor Dalmau, Phokion G. Kolaitis. 620-626
• Inference Methods for a Pseudo-Boolean Satisfiability SolverHeidi E. Dixon, Matthew L. Ginsberg. 635-640
• Automated Discovery of Composite SAT Variable-Selection HeuristicsAlex S. Fukunaga. 641-648
• Learning for Quantified Boolean Logic SatisfiabilityEnrico Giunchiglia, Massimo Narizzano, Armando Tacchella. 649-654
• An Adaptive Noise Mechanism for WalkSATHolger H. Hoos. 655-660
• A Mixture-Model for the Behaviour of SLS Algorithms for SATHolger H. Hoos. 661-667
• SetA*: An Efficient BDD-Based Heuristic Search AlgorithmRune M. Jensen, Randal E. Bryant, Manuela M. Veloso. 668-673
• Dynamic Restart PoliciesHenry A. Kautz, Eric Horvitz, Yongshao Ruan, Carla P. Gomes, Bart Selman. 674-681
• Easy Predictions for the Easy-Hard-Easy TransitionAndrew J. Parkes. 688-694
• The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SATToby Walsh. 695
• Scheduling Contract Algorithms on Multiple ProcessorsDaniel S. Bernstein, Theodore J. Perkins, Shlomo Zilberstein, Lev Finkelstein. 702-706
• Searching for Backbones and Fat: A Limit-Crossing Approach with ApplicationsSharlee Climer, Weixiong Zhang. 707-712
• Multiple-Goal Search Algorithms and their Application to Web CrawlingDmitry Davidov, Shaul Markovitch. 713-718
• Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Independent ProcessesLev Finkelstein, Shaul Markovitch, Ehud Rivlin. 719-724
• Optimal Depth-First Strategies for And-Or TreesRussell Greiner, Ryan Hayward, Michael Molloy. 725-730
• A New Algorithm for Optimal Bin PackingRichard E. Korf. 731-726
• Memory-Efficient A* Heuristics for Multiple Sequence AlignmentMatthew McNaughton, Paul Lu, Jonathan Schaeffer, Duane Szafron. 737-743
• PROMPTDIFF: A Fixed-Point Algorithm for Comparing Ontology VersionsNatalya Fridman Noy, Mark A. Musen. 744-750
• On Preference-Based Search in State Space GraphsPatrice Perny, Olivier Spanjaard. 751-756
• An Average-Case Analysis of Graph SearchAnup K. Sen, Amitava Bagchi, Weixiong Zhang. 757
• Detection and Classification of Motion BoundariesRichard Mann, Allan D. Jepson. 764-769
• Recognizing Multitasked Activities from Video Using Stochastic Context-Free GrammarDarnell J. Moore, Irfan A. Essa. 770-776
• The OD Theory of TOD: The Use and Limits of Temporal Information for Object DiscoveryBrandon C. S. Sanders, Randal C. Nelson, Rahul Sukthankar. 777
• A Maximum Entropy Approach to Information Extraction from Semi-Structured and Free TextHai Leong Chieu, Hwee Tou Ng. 786-791
• Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic WebIan Horrocks, Peter F. Patel-Schneider, Frank van Harmelen. 792-797
• Stochastic Link and Group DetectionJeremy Kubica, Andrew W. Moore, Jeff G. Schneider, Yiming Yang. 798
• MiTAP, Text and Audio Processing for Bio-Security: A Case StudyLaurie E. Damianos, Jay M. Ponte, Steve Wohlever, Florence Reeder, David S. Day, D. George Wilson, Lynette Hirschman. 807-814
• RightNow eService Center: Internet Customer Service Using a Self-Learning Knowledge BaseStephen D. Durbin, Doug Warner, J. Neal Richter, Zuzana Gedeon. 815-821
• Staff Scheduling for Inbound Call Centers and Customer Contact CentersAlex S. Fukunaga, Ed Hamilton, Jason Fama, David Andre, Ofer Matan, Illah R. Nourbakhsh. 822-829
• UTTSExam: A Campus-Wide University Exam-Timetabling SystemAndrew Lim, Juay Chin Ang, Wee-Kit Ho, Wee-Chong Oon. 838-844
• A Structure Based Configuration Tool: Drive Solution Designer - DSDK. Christoph Ranze, Thorsten Scholz, Thomas Wagner, Andreas Günter, Otthein Herzog, Oliver Hollmann, Christoph Schlieder, Volker Arlt. 845-852
• Development and Deployment of a Disciple Agent for Center of Gravity AnalysisGheorghe Tecuci, Mihai Boicu, Dorin Marcu, Bogdan Stanescu, Cristina Boicu, Jerry Comello, Antonio Lopez, James Donlon, William Cleckner. 853
• Getting from Here to There: Interactive Planning and Agent Execution for Optimizing TravelJosé Luis Ambite, Greg Barish, Craig A. Knoblock, Maria Muslea, Jean Oh, Steven Minton. 862-869
• WhyNot: Debugging Failed Queries in Large Knowledge BasesHans Chalupsky, Thomas A. Russ. 870-877
• An Analogy Ontology for Integrating Analogical Processing and First-Principles ReasoningKenneth D. Forbus, Thomas Mostek, Ronald W. Ferguson. 878-885
• Applying Perceptually Driven Cognitive Mapping to Virtual Urban EnvironmentsRandall W. Hill Jr., Changhee Han, Michael van Lent. 886-893
• Toward Practical Knowledge-Based Tools for Battle Planning and SchedulingAlexander Kott, Larry Ground, Ray Budd, V. Lakshmi Rebbapragada, John Langston. 894-899
• Knowledge Formation and Dialogue Using the KRAKEN ToolsetKathy Panton, Pierluigi Miraglia, Nancy Salay, Robert C. Kahlert, David Baxter, Roland Reagan. 900-905
• AI on the Battlefield: An Experimental ExplorationRobert Rasch, Alexander Kott, Kenneth D. Forbus. 906-912
• Intelligent Control of Auxiliary Ship SystemsDavid Scheidt, Christopher McCubbin, Michael Pekala, Shon Vick, David Alger. 913-918
• A Web-Based Ontology Browsing and Editing SystemJérôme Thoméré, Ken Barker, Vinay K. Chaudhri, Peter Clark, Michael Eriksen, Sunil Mishra, Bruce W. Porter, Andrés Rodríguez. 927-934
• The 2001 Trading Agent CompetitionMichael P. Wellman, Amy R. Greenwald, Peter Stone, Peter R. Wurman. 935
• Multiple Instance Learning with Generalized Support Vector MachinesStuart Andrews, Thomas Hofmann, Ioannis Tsochantaridis. 943-944
• Toward a Framework for Assembling Broken Pottery VesselsStuart Andrews, David H. Laidlaw. 945-946
• Mixed-Initiative Exception-Based Learning for Knowledge Base RefinementCristina Boicu, Gheorghe Tecuci, Mihai Boicu. 947-948
• Fuzzy Numbers for the Improvement of Causal Knowledge Representation in Fuzzy Cognitive MapsOtto X. Cordero, C. Enrique Peláez. 949-950
• A Genetic Algorithm for Tuning Variable Orderings in Bayesian Network Structure LearningHaipeng Guo, Benjamin B. Perry, Julie A. Stilson, William H. Hsu. 951-952
• A Model Checker for Verifying ConGolog ProgramsLeila Kalantari, Eugenia Ternovska. 953-954
• MAKEBELIEVE: Using Commonsense Knowledge to Generate StoriesHugo Liu, Push Singh. 957-958
• Localizing while Mapping: A Segment ApproachAndrew J. Martignoni III, William D. Smart. 959-960
• Multi-Player Game Approach to Solving Multi-Entity ProblemsWee-Chong Oon, Andrew Lim. 961-962
• BN-Tools: A Software Toolkit for Experimentation in BBNsBenjamin B. Perry, Julie A. Stilson. 963-964
• Student Modeling for a Web-Based Learning Environment: A Data Mining ApproachTiffany Ya Tang, Gordon I. McCalla. 967-968
• An Extended Alternating-Offers Bargaining Protocol for Automated Negotiation in Multi-Agent SystemsPinata Winoto, Gordon I. McCalla, Julita Vassileva. 969-970
• Consistency and Set IntersectionYuanlin Zhang, Roland H. C. Yap. 971-972
• Incrementally Solving Functional ConstraintsYuanlin Zhang, Roland H. C. Yap. 973-974
• Multiple Sequence Alignment Using Anytime A:::*:::Rong Zhou, Eric A. Hansen. 975
• Decision-Theoretic Planning for Intelligent User InterfacesThorsten Bohnenberger. 978
• Efficient Modeling of Temporally Variable User Properties with Dynamic Bayesian NetworksBoris Brandherm. 979
• Learning in Open-Ended Dynamic Distributed EnvironmentsDoina Caragea. 980
• Dynamic Bayesian Networks for Automatic Speech RecognitionMurat Deviren. 981
• Combining Inference and Search for the Propositional Satisfiability ProblemLyndon Drake, Alan M. Frisch. 982
• A Bayesian Metareasoner for Algorithm Selection for Real-Time Bayesian Network Inference ProblemsHaipeng Guo. 983
• An Agent Approach to Security in Pervasive EnvironmentsLalana Kagal. 984
• Generalized Features: Their Application to ClassificationSvetlana Kiritchenko, Stan Matwin. 985
• Organizations of Self-Interested AgentsFoster McGeary. 986
• Distributed Constraint Optimization and Its Application to Multiagent Resource AllocationPragnesh Jay Modi. 987
• Generating Trading Agent StrategiesDaniel M. Reeves. 988
• A Reputation-Oriented Reinforcement Learning Approach for Agents in Electronic MarketplacesThomas Tran. 989
• A Dialogue System with Digression Handling-An Ontology-Based ApproachTzong-Han Tsai. 990
• Disciple-RKF/COG: Agent Teaching by Subject Matter ExpertsMihai Boicu, Gheorghe Tecuci, Dorin Marcu, Bogdan Stanescu, Cristina Boicu, Catalin Balan, Marcel Barbulescu, Xianjun Hao. 992-993
• JYAG & IDEY: A Template-Based Generator and Its Authoring ToolSongsak Channarukul, Susan Weber McRoy, Syed S. Ali. 994-995
• Research Applications of the MAGNET Multi-Agent Contracting TestbedJohn Collins, Maria L. Gini. 996-997
• SpeechWeb: A Web of Natural-Language Speech ApplicationsRichard A. Frost. 998-999
• An Automated Negotiator for an International CrisisPenina Hoz-Weiss, Sarit Kraus, Jonathan Wilkenfeld, Tara E. Santmire. 1000-1001
• FlexBot, Groo, Patton and Hamlet: Research Using Computer Games as a PlatformAaron Khoo, Robin Hunicke, Greg Dunham, Nick Trienens, Muon Van. 1002-1003
• UTTSExam: A University Examination Timetable SchedulerAndrew Lim, Juay Chin Ang, Wee-Kit Ho, Wee-Chong Oon. 1004-1005
• Multi-ViewPoint Clustering Analysis (MVP-CA) ToolMala Mehrotra, Dmitri Bobrovnikoff. 1006-1007
• Fuzzy Neural Networks in a Palm EnvironmentSamuel Moyle, Michael J. Watts. 1008-1009
• CAUI Demonstration Composing Music Based on Human FeelingsMasayuki Numao, Shoichi Takagi, Keisuke Nakamura. 1010
• Perspectives on Artificial Intelligence PlanningHector Geffner. 1013-1023
• Most Informative Dimension ReductionAmir Globerson, Naftali Tishby. 1024-1029