Table of Contents

• Time-Quality Tradeoffs in Reallocative Negotiation with Combinatorial Contract TypesMartin Andersson, Tuomas Sandholm. 3-10
• Power, Dependence and Stability in Multiagent PlansSviatoslav Brainov, Tuomas Sandholm. 11-16
• Combatting Maelstroms in Networks of Communicating AgentsJames E. Hanson, Jeffrey O. Kephart. 17-23
• Learning Quantitative Knowledge for Multiagent CoordinationDavid Jensen, Michael Atighetchi, Régis Vincent, Victor R. Lesser. 24-31
• Distributed Games: From Mechanisms to ProtocolsDov Monderer, Moshe Tennenholtz. 32-37
• Evolutionary Economic AgentsFergus Nolan, Jarek Wilkiewicz, Dipankar Dasgupta, Stan Franklin. 38-43
• Bargaining with DeadlinesTuomas Sandholm, Nir Vulkan. 44-51
• Verifying that Agents Implement a Communication LanguageMichael Wooldridge. 52-57
• Recognizing Structure in Web Pages using Similarity QueriesWilliam W. Cohen. 59-66
• Navigational Plans For Data IntegrationMarc Friedman, Alon Y. Levy, Todd D. Millstein. 67-73
• Regression testing for wrapper maintenanceNicholas Kushmerick. 74-79
• A Knowledge-Based Approach to Organizing Retrieved DocumentsWanda Pratt, Marti A. Hearst, Lawrence M. Fagan. 80-85
• A Limitation of the Generalized Vickrey Auction in Electronic Commerce: Robustness against False-name BidsYuko Sakurai, Makoto Yokoo, Shigeo Matsubara. 86-92
• Hybrid Neural Plausibility Networks for News AgentsStefan Wermter, Christo Panchev, Garen Arevian. 93-98
• Cognitive ClassificationJanet Aisbett, Greg Gibbon. 100-107
• What are contentful mental states? Dretske s theory of mental content viewed in the light of robot learning and planning algortihmsPaul R. Cohen, Mary Litch. 108-113
• Moving Right Along: A Computational Model of Metaphoric Reasoning about EventsSrinivas Narayanan. 121-127
• Delivering Hints in a Dialogue-Based Intelligent Tutoring SystemYujian Zhou, Reva Freedman, Michael Glass, Joel A. Michael, Allen A. Rovick, Martha W. Evens. 128-134
• On Integrating Constraint Propagation and Linear Programming for Combinatorial OptimizationJohn N. Hooker, Greger Ottosson, Erlendur S. Thorsteinsson, Hak-Jin Kim. 136-141
• A Constraint-Based Model for Cooperative Response Generation in Information DialoguesYan Qu, Steve Beale. 148-155
• Solving Crossword Puzzles as Probabilistic Constraint SatisfactionNoam M. Shazeer, Michael L. Littman, Greg A. Keim. 156-162
• Encodings of Non-Binary Constraint Satisfaction ProblemsKostas Stergiou, Toby Walsh. 163-168
• A Generic Customizable Framework for Inverse Local ConsistencyGérard Verfaillie, David Martinez, Christian Bessière. 169-174
• Functional Elimination and 0/1/All ConstraintsYuanlin Zhang, Roland H. C. Yap, Joxan Jaffar. 175-180
• An Evolvable Hardware Chip and Its Application as a Multi-Function Prosthetic Hand ControllerIsamu Kajitani, Tsutomu Hoshino, Nobuki Kajihara, Masaya Iwata, Tetsuya Higuchi. 182-187
• Initializing RBF-Networks with Small Subsets of Training ExamplesMiroslav Kubat, Martin Cooperson Jr.. 188-193
• A Neural Network Model of Dynamically Fluctuating Perception of Necker Cube as well as Dot PatternsHiroaki Kudo, Tsuyoshi Yamamura, Noboru Ohnishi, Shin Kobayashi, Noboru Sugie. 194-199
• ARGUS: An Automated Multi-Agent Visitor Identification SystemRahul Sukthankar, Robert G. Stockton. 208-213
• Implicative and conjunctive fuzzy rules - A tool for reasoning from knowledge and examplesLaurent Ughetto, Didier Dubois, Henri Prade. 214-219
• Does Prior Knowledge Facilitate the Development of Knowledge-based Systems?Paul R. Cohen, Vinay K. Chaudhri, Adam Pease, Robert Schrag. 221-226
• Representing Problem-Solving for Knowledge RefinementSusan Craw, Robin Boswell. 227-234
• Deriving Expectations to Guide Knowledge Base CreationJihie Kim, Yolanda Gil. 235-241
• Designing Scripts to Guide Users in Modifying Knowledge-based SystemsMarcelo Tallis, Yolanda Gil. 242-249
• An Integrated Shell and Methodology for Rapid Development of Knowledge-Based AgentsGheorghe Tecuci, Mihai Boicu, Kathryn Wright, Seok-Won Lee, Dorin Marcu, Michael Bowman. 250-257
• A New Method for Consequence Finding and Compilation in Restricted LanguagesAlvaro del Val. 259-264
• Constraint-based integrity checking in abductive and non-monotonic extensions of constraint logic programmingAditya Ghose, Srinivas Padmanabhuni. 265-270
• Partonomic Reasoning as Taxonomic Reasoning in MedicineUdo Hahn, Stefan Schulz, Martin Romacker. 271-276
• Verbalization of High-Level Formal ProofsAmanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable. 277-284
• On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social SciencesJaap Kamps. 285-290
• A Policy Description LanguageJorge Lobo, Randeep Bhatia, Shamim A. Naqvi. 291-298
• A Semantic Decomposition of Defeasible LogicsMichael J. Maher, Guido Governatori. 299-305
• Sacre: a Constraint Satisfaction Problem Based Theorem ProverJean-Michel Richer, Jean-Jacques Chabrier. 306-311
• Exploiting the Architecture of Dynamic SystemsXavier Boyen, Daphne Koller. 313-320
• Estimating Generalization Error Using Out-of-Bag EstimatesTom Bylander, Dennis Hanzlik. 321-327
• Relational Learning of Pattern-Match Rules for Information ExtractionMary Elaine Califf, Raymond J. Mooney. 328-334
• A Simple, Fast, and Effictive Rule LearnerWilliam W. Cohen, Yoram Singer. 335-342
• Monte Carlo Localization: Efficient Position Estimation for Mobile RobotsDieter Fox, Wolfram Burgard, Frank Dellaert, Sebastian Thrun. 343-349
• Detecting Feature Interactions from Accuracies of Random Feature SubsetsThomas R. Ioerger. 350-357
• Simulation-based inference for plan monitoringNeal Lesh, James F. Allen. 358-365
• Selective Sampling for Nearest Neighbor ClassifiersMichael Lindenbaum, Shaul Markovitch, Dmitry Rusakov. 366-371
• Toward a Theoretical Understanding of Why and When Decision Tree Pruning Algorithms FailTim Oates, David Jensen. 372-378
• Feature Selection for EnsemblesDavid W. Opitz. 379-384
• Efficient exploration for optimizing immediate rewardDale Schuurmans, Lloyd Greenwald. 385-392
• Towards Diagram Processing: A Diagrammatic Information SystemMichael Anderson. 394-401
• Influence-Based Model DecompositionChristopher Bailey-Kellogg, Feng Zhao. 402-409
• Model-based Support for Mutable Parametric Design OptimizationRavi Kapadia, Gautam Biswas. 410-415
• Qualifying the Expressivity/Efficiency Tradeoff: Reformation-Based DiagnosisHelmut Prendinger, Mitsuru Ishizuka. 416-421
• The Role of Lexicalization and Pruning for Base Noun Phrase GrammarsClaire Cardie, David R. Pierce. 423-430
• Two Dimensional Generalization in Information ExtractionJoyce Yue Chai, Alan W. Biermann, Curry I. Guinn. 431-438
• Combining Collaborative Filtering with Personal Agents for Better RecommendationsNathaniel Good, J. Ben Schafer, Joseph A. Konstan, Al Borchers, Badrul M. Sarwar, Jonathan L. Herlocker, John Riedl. 439-446
• Application-Embedded Retrieval from Distributed Free-Text CollectionsVladimir A. Kulyukin. 447-452
• Towards Multidocument Summarization by Reformulation: Progress and ProspectsKathleen McKeown, Judith Klavans, Vasileios Hatzivassiloglou, Regina Barzilay, Eleazar Eskin. 453-460
• An Automatic Method for Generating Sense Tagged CorporaRada Mihalcea, Dan I. Moldovan. 461-466
• Learning Dictionaries for Information Extraction by Multi-Level BootstrappingEllen Riloff, Rosie Jones. 474-479
• Feature Selection in SVM Text CategorizationHirotoshi Taira, Masahiko Haruno. 480-486
• Automatic Construction of Semantic Lexicons for Learning Natural Language InterfacesCynthia A. Thompson, Raymond J. Mooney. 487-493
• Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary InformationBradley J. Clement, Edmund H. Durfee. 495-502
• Control Knowledge in Planning: Benefits and TradeoffsYi-Cheng Huang, Bart Selman, Henry A. Kautz. 511-517
• A Framework for Recognizing Multi-Agent Action from Visual EvidenceStephen S. Intille, Aaron F. Bobick. 518-525
• State-space Planning by Integer OptimizationHenry A. Kautz, Joachim P. Walser. 526-533
• Using Planning Graphs for Solving HTN Planning ProblemsAmnon Lotem, Dana S. Nau, James A. Hendler. 534-540
• On the Undecidability of Probabilistic Planning and Infinite-Horizon Partially Observable Markov Decision ProblemsOmid Madani, Steve Hanks, Anne Condon. 541-548
• Contingent Planning Under Uncertainty via Stochastic SatisfiabilityStephen M. Majercik, Michael L. Littman. 549-556
• On the utility of Plan-space (Causal) EncodingsAmol Dattatraya Mali, Subbarao Kambhampati. 557-563
• Anytime Coordination for Progressive Planning AgentsAbdel-Illah Mouaddib. 564-569
• Conditional, Probabilistic Planning: A Unifying Algorithm and Effective Search Control MechanismsNilufer Onder, Martha E. Pollack. 577-584
• CPlan: A Constraint Programming Approach to PlanningPeter van Beek, Xinguang Chen. 585-590
• Total Order Planning is More Efficient than we ThoughtVincent Vidal, Pierre Régnier. 591-596
• Cooperative Plan Identification: Constructing Concise and Effective Plan DescriptionsR. Michael Young. 597-604
• Exploiting Symmetry in the Planning graph via Explanation-Guided SearchTerry Zimmerman, Subbarao Kambhampati. 605-611
• An Integrated System for Multi-Rover Scientific ExplorationTara A. Estlin, Alexander Gray, Tobias Mann, Gregg Rabideau, Rebecca Castaño, Steve A. Chien, Eric Mjolsness. 613-620
• Integrated Natural Spoken Dialogue System of Jijo-2 Mobile Robot for Office ServicesToshihiro Matsui, Hideki Asoh, John Fry, Yoichi Motomura, Futoshi Asano, Takio Kurita, Isao Hara, Nobuyuki Otsu. 621-627
• Continuous Categories For a Mobile RobotMichael T. Rosenstein, Paul R. Cohen. 634-640
• DISTANCE-SAT: Complexity and AlgorithmsOlivier Bailleux, Pierre Marquis. 642-647
• Morphing: Combining Structure and RandomnessIan P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh. 654-660
• On the Run-time Behaviour of Stochastic Local Search Algorithms for SATHolger H. Hoos. 661-666
• Initial Experiments in Stochastic SatisfiabilityMichael L. Littman. 667-672
• Trap Escaping Strategies in Discrete Lagrangian Methods for Solving Hard Satisfiability and Maximum Satisfiability ProblemsZhe Wu, Benjamin W. Wah. 673-678
• Scheduling Alternative ActivitiesJ. Christopher Beck, Mark S. Fox. 680-687
• Algorithm Performance and Problem Structure for Flow-shop SchedulingJean-Paul Watson, Laura Barbulescu, Adele E. Howe, L. Darrell Whitley. 688-695
• Using Probabilistic Knowledge and Simulation to Play PokerDarse Billings, Lourdes Peña Castillo, Jonathan Schaeffer, Duane Szafron. 697-703
• A Space-Time Tradeoff for Memory-Based HeuristicsRobert C. Holte, István T. Hernádvölgyi. 704-709
• PROVERB: The Probabilistic CruciverbalistGreg A. Keim, Noam M. Shazeer, Michael L. Littman, Sushant Agarwal, Catherine M. Cheves, Joseph Fitzgerald, Jason Grosland, Fan Jiang, Shannon Pollard, Karl Weinmeister. 710-717
• Value-Update Rules for Real-Time SearchSven Koenig, Boleslaw K. Szymanski. 718-724
• Transposition Table Driven Work Scheduling in Distributed SearchJohn W. Romein, Aske Plaat, Henri E. Bal, Jonathan Schaeffer. 725-731
• Point-Based Approaches to Qualitative Temporal ReasoningJames P. Delgrande, Arvind Gupta, Tim Van Allen. 739-744
• Querying Temporal Constraint Networks in PTIMEManolis Koubarakis, Spiros Skiadopoulos. 745-750
• Polarity Guided Tractable ReasoningZbigniew Stachniak. 751-758
• Using Vision to Improve Sound Source SeparationYukiko Nakagawa, Hiroshi G. Okuno, Hiroaki Kitano. 768-775
• Automated Instructor Assistant for Ship Damage ControlVadim Bulitko, David C. Wilkins. 778-785
• HKIA SAS: A Constraint-Based Airport Stand Allocation System Developed with Software ComponentsAndy Hon Wai Chun, Steve Ho Chuen Chan, Francis Ming Fai Tsang, Dennis Wai Ming Yeung. 786-793
• Last Minute Travel ApplicationAndré Hübner, Mario Lenz, Roman Borch, Michael Posthoff. 794-798
• A New Basis for Spreadsheet Computing: Interval Solver for Microsoft ExcelEero Hyvönen, Stefano De Pascale. 799-806
• Ramp Activity Expert System for Scheduling and Co-ordination at an AirportGeunSik Jo, Kang-Hee Lee, Hwi-Yoon Lee, Sang-Ho Hyun. 807-812
• DLMS: Ten Years of AI for Vehicle Assembly Process PlanningNestor Rychtyckyj. 821-828
• Using Intelligent Agents in Military Simulation or Using Agents Intelligently Gil Tidhar, Clinton Heinze, Simon Goss, Graeme Murray, Dino Appla, Ian J. Lloyd. 829-836
• Nurse Scheduling using Constraint Logic ProgrammingSlim Abdennadher, Hans Schlenker. 838-843
• The Wasabi Personal Shopper: A Case-Based Recommender SystemRobin D. Burke. 844-849
• The Use of Word Sense Disambiguation in an Information Extraction SystemJoyce Yue Chai, Alan W. Biermann. 850-855
• Using Artificial Intelligence Planning to Generate Antenna Tracking PlansForest Fisher, Tara A. Estlin, Darren Mutz, Steve A. Chien. 856-863
• In-Time Agent-Based Vehicle Routing with a Stochastic Improvement HeuristicRobert C. Kohout, Kutluhan Erol. 864-869
• HICAP: An Interactive Case-Based Planning Architecture and its Application to Noncombatant Evacuation OperationsHéctor Muñoz-Avila, David W. Aha, Len Breslow, Dana S. Nau. 870-875
• Automated Capture of Rationale for the Detailed Design ProcessKaren L. Myers, Nina B. Zumel, Pablo Garcia. 876-883
• A Multi-Agent System for Meting Out Influence in an Intelligent EnvironmentM. V. Nagendra Prasad, Joseph F. McCarthy. 884-890
• CMUnited-98: A Team of Robotic Soccer AgentsManuela M. Veloso, Michael H. Bowling, Sorin Achim, Kwun Han, Peter Stone. 891-896
• Sensible Agents: Demonstration of Dynamic Configuration of Agent Organizations for Responsive Planning OperationsK. Suzanne Barber, Anuj Goel, David C. Han, Joonoo Kim, Tse-Hsin Liu, Cheryl E. Martin, Ryan McKay. 898-899
• The Disciple Integrated Shell and Methodology for Rapid Development of Knowledge-Based AgentsMihai Boicu, Kathryn Wright, Dorin Marcu, Seok-Won Lee, Michael Bowman, Gheorghe Tecuci. 900-901
• Knowledge Base Discovery ToolErik Eilerts, Kathleen O Neil Lossau, Christopher York. 904-905
• A Natural-Language Speech Interface Constructed Entirely as a Set of Executable SpecificationsRichard A. Frost. 908-909
• A System for the Semantic Interpretation of Unrestricted Domains using WordNetFernando Gomez, Carlos Segami. 910-911
• DIPLOMAT: Compiling Prioritized Default Rules into Ordinary Logic Programs, for E-Commerce ApplicationsBenjamin N. Grosof. 912-913
• Solving Crosswords with PROVERBMichael L. Littman, Greg A. Keim, Noam M. Shazeer. 914-915
• Worldwide Aeronautical Route PlannerCharles B. McVey, David P. Clements, Barton C. Massey, Andrew J. Parkes. 916-917
• Authoring New Material in a Reading Tutor that ListensJack Mostow, Gregory Aist. 918-919
• Demonstration of Rational Communicative Behavior in Coordinated DefenseSanguk Noh, Piotr J. Gmytrasiewicz. 920-921
• Automated Team AnalysisTaylor Raines, Milind Tambe, Stacy Marsella. 922
• eMediator: a Next Generation Electronic Commerce ServerTuomas Sandholm. 923-924
• MailCat: An Intelligent Assistant for Organizing E-MailRichard Segal, Jeffrey O. Kephart. 925-926
• HIKE (HPKB Integrated Knowledge Environment) - A Query Interface and Integrated Knowledge Environment for HPKBBarbara Starr, Vinay K. Chaudhri, Boris Katz, Benjamin M. Good, Jérôme Thoméré. 927-928
• Intelligent Agents in Computer GamesMichael van Lent, John E. Laird, Josh Buckman, Joe Hartford, Steve Houchard, Kurt Steinkraus, Russ Tedrake. 929-930
• Sensor Based Coverage of Unknown Environments for Land Mine DetectionErcan U. Acar, Morgan Simmons, Michael Rosenblatt, Maayan Roth, Mary Berna, Yonatan Mittlefehldt, Howie Choset. 932-933
• A Natural Interface and Unified Skills for a Mobile RobotWilliam Adams, Dennis Perzanowski, Alan C. Schultz. 934-935
• Kansas State RoboticsFrank Blecha, Tim Beese, Damon Kuntz, Jonathan Cameron, David Sexton, David A. Gustafson. 936
• Web-Based Mobile Robot SimulatorDaniel P. Stormont. 937-938
• Elaboration Tolerance of Logical TheoriesEyal Amir. 940
• Using Formal Meta-Data Descriptions for Automated Ecological ModelingVirgínia V. B. Biris Brilhante. 942
• Learning form-meaning mappings for languageNancy Chang. 944
• Development of a Methodology and Software Shell for the Automatic Generation of Intelligent Tutoring Systems from Existing Generic Task-based Expert SystemsEman El-Sheikh. 945
• Towards Bounded Optimal Meta-Level Control: A Case StudyDaishi Harada. 946
• Execution Monitoring and Diagnosis in Multi-Agent EnvironmentsGal A. Kaminka. 947
• Corpus-Based Induction of Lexical Representation and MeaningMaria Lapata. 948
• Data Driven Profiling of Dynamic System Behavior using Hidden Markov Model based Combined Unsupervised and Supervised ClassificationCen Li. 949
• Planning Under Uncertainty via Stochastic StatisfiabilityStephen M. Majercik. 950
• Applying Supervised Learning to Real-World ProblemsDragos D. Margineantu. 951
• Modeling Prosody Automatically in Concept-to-Speech GenerationShimei Pan. 952
• A Bayesian approach to object identificationHanna Pasula. 953
• Over-Constrained SystemsHana Rudová. 954
• Applying Genetic Algorithms to Pronoun ResolutionDonna K. Byron, James F. Allen. 957
• Automatic Sample-by-sample Model Selection Between Two Off-the-shelf ClassifiersSteve P. Chadwick. 958
• Structural Knowledge Discovery in Chemical and Spatio-Temporal DatabasesRavindra N. Chittimoori, Jesus A. Gonzalez, Lawrence B. Holder. 959
• Learning Design Guidelines by Theory RefinementJacob Eisenstein. 960
• Using Neural Networks in Agent Teams to Speed Up Solution Discovery for Hard Multi-Criteria ProblemsShaun Gittens, Richard Goodwin, Jayant Kalagnanam, Sesh Murthy. 961
• OBDD-Based Planning with Real-Valued Variables in Non-Deterministic EnvironmentsAnuj Goel, K. Suzanne Barber. 962
• Expectation-based Learning in DesignDan L. Grecu, David C. Brown. 963
• A Framework for Problem Solving Activities in Multi-Agent SystemsDavid C. Han, Tse-Hsin Liu, K. Suzanne Barber. 964
• Robot Navigation with a Polar Neural MapMichail G. Lagoudakis, Anthony S. Maida. 965
• Comparison of Clustering Metrics and Unsupervised Learning Algorithms on Genome-Wide Gene Expression Level DataSonia M. Leach, Lawrence Hunter, David Landsman. 966
• Knowledge Base Revision through Exception-driven Discovery and LearningSeok-Won Lee, Gheorghe Tecuci. 967
• Autonomous Discovery In Empirical DomainsGary Livingston, Bruce G. Buchanan. 968
• Learning in Broker AgentXiaocheng Luan, Yun Peng, Timothy W. Finin. 969
• Text Compression as a Test for Artificial IntelligenceMatthew V. Mahoney. 970
• Externalizing Internal StateAmol Dattatraya Mali. 971
• Hybrid Propositional Encodings of PlanningAmol Dattatraya Mali. 972
• Causal Discovery from Population-Based Infant Birth and Death RecordsSubramani Mani, Gregory F. Cooper. 973
• Active Learning for Hierarchical Wrapper InductionIon Muslea, Steven Minton, Craig A. Knoblock. 975
• Decision-Theoretic Layered Robotic Control ArchitectureGilbert L. Peterson, Diane J. Cook. 976
• Learning of Compositional Hierarchies By Data-Driven ChunkingKarl Pfleger. 977
• Comparison of Second-order Polynomial Model Selection Methods: an Experimental SurveyGrace W. Rumantir. 980
• Learning State Features from Policies to Bias Exploration in Reinforcement LearningBryan Singer, Manuela M. Veloso. 981
• Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of PlanningBiplav Srivastava. 982
• Learning to Handle Inconsistency for Multi-Source IntegrationSheila Tejada, Craig A. Knoblock, Steven Minton. 983
• Learning rewrite rules to improve plan qualityMuhammad Afzal Upal. 984
• Word Sense Disambiguation for Information RetrievalÖzlem Uzuner, Boris Katz, Deniz Yuret. 985