Abstract is missing.
- 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