• 
  Ingrid Russell, John F. Kolen (Eds.): Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, USA. AAAI Press 2001 ISBN 1-57735-133-9

Artificial Intelligence and Electronic Commerce

• 
  Mehrdad Jalali-Sohi, Feza Baskaya: A Multimodal Shopping Assistant for Home E-Commerce. 2-6
• 
  Nishan Jebanasam, Hana Ma, N. Parameswaran: Dynamic Strategies for Negotiating Agents in E-Commerce Applications. 7-11
• 
  Yugyung Lee, James Geller, Eun Kyo Park, Changgyu Oh: Data Mining with Distributed Agents in E-Commerce Applications. 12-17

Artificial Intelligence in Aerospace

• 
  Murray B. Anderson: An Automated Approach to Post-Flight Simulation Analysis and Validation Using Stochastic Optimization Methods. 19-23
• 
  William J. Clancey, Pascal Lee, Maarten Sierhuis: Empirical Requirements Analysis for Mars Surface Operations Using the Flashline Mars Arctic Research Station. 24-26
• 
  Miranda Cooter, George Davis, Jennifer Mackey, Michael Rackley: Alternative Approaches to Mission Control Automation at NASA's Goddard Space Flight Center. 27-32
• 
  Tara A. Estlin, Rebecca Castaño, Ashley Davies, Darren Mutz, Gregg Rabideau, Steve A. Chien, Eric Mjolsness: Goal-Directed Scientific Exploration Using Multiple Rovers. 33-37
• 
  Glenn Gebert, Murray Anderson, Johnny Evers: Genetic Algorithms Training of Neural Nets for Aircraft Guidance and Control. 38-43
• 
  Mark L. Hanson, Olga Sullivan, Karen A. Harper: On-Line Situation Assessment for Unmanned Air Vehicles. 44-48
• 
  Henry Hexmoor, Harry Duchscherer: Efficiency as a Motivation to Team. 49-52
• 
  Lori Maks, Julie Breed, Michael Rackley: Current Level of Mission Control Automation at NASA Goddard Space Flight Center. 53-57
• 
  John L. Mohammed: Mission Planning for Formation-Flying Satellite Cluster. 58-62
• 
  Joseph B. Mueller, Derek M. Surka, Joy J. Lin: A Background Layer of Health Monitoring and Error Handling for ObjectAgent. 63-67
• 
  Robert A. Richards, Ryan T. Houlette, John L. Mohammed: Distributed Satellite Constellation Planning and Scheduling. 68-72
• 
  Rob Sherwood, Andrew Mishkin, Tara A. Estlin, Steve A. Chien, Barbara Engelhardt, Brian Cooper, Gregg Rabideau: A Tool for Autonomous Ground-Based Rover Planning. 73-77
• 
  Ross Wainwright: Using the Genetic Algorithm to Locate Optimal Bi-Phase Waveforms for Pulse Compression Radar. 78-82
• 
  Walt Truszkowski, Nick Netreba, Don Ginn, Sanda Mandutianu: Autonomy for SOHO Ground Operations. 83-88
• 
  John A. Cafeo, Diane I. Gibbons, Ronald M. Lesperance, Alexander P. Morgan, Gülcin H. Sengir, Andrea M. Simon: Capturing Lessons Learned for Variation Reduction in an Automotive Assembly Plant. 89-92
• 
  William Cheetham, Anil Varma, Kai Goebel: Case-Based Reasoning at General Electric. 93-97
• 
  Susan Eileen Fox: Behavior Retrieval for Robot Control in a Unified CBR Hybrid Planner. 98-102
• 
  Luigi Portinale, Andrea Verrua: Exploiting Fuzzy-SQL in Case-Based Reasoning. 103-107
• 
  Leonardo Rocha de Oliveira: Virtual Reality Case-Based Reasoning: A Framework for Computer-Based Instruction. 108-112
• 
  Marc Sebban, Richard Nock: Improvement of Nearest-Neighbor Classifiers via Support Vector Machines. 113-117
• 
  Ian Watson: Knowledge Management and Case-Based Reasoning: A Perfect Match?. 118-122

Data Mining and the World Wide Web

• 
  Byung-Joo An, Eunju Kim, Yillbyung Lee: Hierarchical Representatives Clustering with Hybrid Approach. 124-127
• 
  Howard J. Hamilton, Xuewei Wang, Y. Y. Yao: WebAdaptor: Designing Adaptive Web Sites Using Data Mining Techniques. 128-132
• 
  Nitish Manocha, Diane J. Cook, Lawrence B. Holder: Structural Web Search Using a Graph-Based Discovery System. 133-137

Decision Analysis and Models

• 
  Antti Autere: Aas an Optimal Resource Allocation Policy in Path Finding Problems. 139-144
• 
  Jonathan F. Diaz, Alexander Stoytchev, Ronald C. Arkin: Exploring Unknown Structured Environments. 145-149
• 
  Márcia Maçãs, Rodrigo M. M. Ventura, Luís Custódio, Carlos A. Pinto-Ferreira: DARE: An Emotion-Based Agent Architecture. 150-154
• 
  Songsong Xu, Kim-Leng Poh, Eric Horvitz: Graphical Analysis of Value of Information in Decision Models. 155-159

Genetic Algorithms

• 
  John F. Kolen, Phillip Bruce: Evolutionary Search for Matrix Multiplication Algorithms. 161-165
• 
  Takashi Onoyama, Sen Kubota, Kazuko Oyanagi, Setsuo Tsuruta: Knowledge-Embedded Multi-Stage Genetic Algorithm for Interactively Optimizing a Large-Scale Distribution Network. 166-170

Human-Computer Interaction/Intelligent User Interface

• 
  Jung Jin Lee, Jaeho Lee: An Adaptable Dialog Interface Agent Using Meta-Rules. 172-176
• 
  Jung Jin Lee, Robert McCartney, Eugene Santos Jr.: Learning and Predicting User Behavior for Particular Resource Use. 177-181
• 
  Bill Z. Manaris, Renée A. McCauley, Valanne MacGyvers: An Intelligent Interface for Keyboard and Mouse Control -- Providing Full Access to PC Functionality via Speech. 182-188

Intelligent Agents

• 
  S. Au, N. Parameswaran: Attitudes for Agents in Dynamic Worlds. 190-194
• 
  Maria Fasli: Heterogeneous BDI Agents I: Bold Agents. 195-199
• 
  Andreas Gerber, Christian Ruß: A Holonic Multi-Agent Coordination Server. 200-204

Intelligent Tutoring Systems

• 
  Diane J. Cook, Lawrence B. Holder: A Client-Server Interactive Tool for Integrated Artificial Intelligence Curriculum. 206-210
• 
  Bruce I. Mills: Using the Atlas Planning Engine to Drive an Intelligent Tutoring System: CIRCSIM-Tutor Version 3. 211-215

Knowledge-Based Systems

• 
  John K. Debenham: Validity of First-Order Knowledge Bases. 217-221
• 
  Udo Hahn, Stefan Schulz: Building a Large Knowledge Base Semi-Automatically. 222-226
• 
  Ioannis Hatzilygeroudis, Jim Prentzas: An Efficient Hybrid Rule Based Inference Engine with Explanation Capability. 227-231

Knowledge Discovery and Data Mining

• 
  Hideo Bannai, Yoshinori Tamada, Osamu Maruyama, Kenta Nakai, Satoru Miyano: Views: Fundamental Building Blocks in the Process of Knowledge Discovery. 233-238
• 
  Daniel Barbará, Ping Chen: Tracking Clusters in Evolving Data Sets. 239-243
• 
  Leah Findlater, Howard J. Hamilton: An Empirical Comparison of Methods for Iceberg-CUBE Construction. 244-248
• 
  Gunter Grieser, Steffen Lange: Learning Approaches to Wrapper Induction. 249-253
• 
  Jörg Herrmann: Syntactic Folding and its Application to the Information Extraction from Web Pages. 254-258
• 
  Jyothsna R. Nayak, Diane J. Cook: Approximate Association Rule Mining. 259-263
• 
  Hiroshi Sakamoto, Yoshitsugu Murakami, Hiroki Arimura, Setsuo Arikawa: Extracting Partial Structures from HTML Documents. 264-268
• 
  Choh-Man Teng: A Comparison of Noise Handling Techniques. 269-273

Knowledge Management

• 
  Irma Becerra-Fernandez, Karen McCarthy, Juan Rodriguez: An Infrastructure for Managing Knowledge Using Intelligent Workflow. 275-279
• 
  Irma Becerra-Fernandez, Juan Rodriguez: Web Data Mining Techniques for Expertise-Locator Knowledge Management Systems. 280-285
• 
  Alberto J. Cañas, David B. Leake, Ana Gabriela Maguitman: Combining Concept Mapping with CBR: Towards Experience-Based Support for Knowledge Modeling. 286-290
• 
  Purnima Chandrasekaran, Anupam Joshi, Michelle Shu Yang, Ramya Ramakrishnan: An Expertise Recommender Using Web Mining. 291-294
• 
  Ludger van Elst, Andreas Abecker: Integrating Task, Role, and User Modeling in Organizational Memories. 295-299
• 
  Vipul Kashyap, Siddhartha R. Dalal, Clifford Behrens: Professional Services Automation: A Knowledge Management Approach Using LSI and Domain Specific Ontologies. 300-304
• 
  Martin S. Lacher, Georg Groh: Facilitating the Exchange of Explicit Knowledge through Ontology Mappings. 305-309
• 
  Mark T. Maybury: Knowledge on Demand: Human Language Technology for Knowledge and Expertise Discovery. 310-314
• 
  Fatma Mili, L. Blackwell, A. Gokani: Multi-Disciplinary Perspective on Knowledge Quality: Dimensions of Knowledge Quality. 315-319
• 
  Massoud Moussavi, Robert Najlis: Assessing the Effectiveness of LSI in Approaching the Intention of a User's Query. 320-323
• 
  Borys Omelayenko: Syntactic-Level Ontology Integration Rules for E-Commerce. 324-328
• 
  Ian Watson: A Decision Support System for Local Government Regulatory Advice. 329-333
• 
  Rosina Weber, Len Breslow, Nabil Sandhu: On the Technological, Human, and Managerial Issues in Sharing Organizational Lessons. 334-338

Knowledge Representation and Problem Solving

• 
  Olav Bangsø, Helge Langseth, Thomas D. Nielsen: Structural Learning in Object Oriented Domains. 340-344
• 
  Joachim Draeger, Stephan Schulz: Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. 345-349
• 
  Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Nonbinary Constraint Satisfaction: From the Dual to the Primal. 350-354
• 
  Wanlin Pang, Scott D. Goodwin: Binary Representations for General CSPs. 355-359

Machine Learning

• 
  Tolga Aydin, H. Altay Güvenir: An Eager Regression Method Based on Selecting Appropriate Features. 361-366
• 
  Arindam Basak, Sudeshna Sarkar: Introducing Local Optimization for Effective Initialization and Crossover of Genetic Decision Trees. 367-371
• 
  Floriana Esposito, Donato Malerba, Francesca A. Lisi: Multiple Predicate Learning for Document Image Understanding. 372-376
• 
  Jesus A. Gonzalez, Lawrence B. Holder, Diane J. Cook: Graph-Based Concept Learning. 377-381
• 
  Dorin Marcu, Mihai Boicu, Gheorghe Tecuci: User-Agent Interactions in Mixed-Initiative Learning. 382-388
• 
  Zdravko Markov: A Lattice-Based Approach to Hierarchical Clustering. 389-393
• 
  David W. Patterson, Sarabjot S. Anand, John G. Hughes: Skill Refinement through Competence Feedback. 394-401
• 
  Stephan Schulz: Information-Based Selection of Abstraction Levels. 402-406
• 
  Alexander K. Seewald, Johann Petrak, Gerhard Widmer: Hybrid Decision Tree Learners with Alternative Leaf Classifiers: An Empirical Study. 407-411
• 
  Muhammad Afzal Upal: Learning Plan Rewriting Rules. 412-416

Natural Language Processing

• 
  Roxana Girju, Dan I. Moldovan: Knowledge Acquisition for Question Answering. 418-422
• 
  Udo Hahn, Martin Romacker: Computing in Formal Knowledge Base Contexts for Natural Language Ambiguity Resolution. 423-427
• 
  Susan M. Haller, Timothy V. Fossum: The Association Between Subject Matter and Discourse Segmentation. 428-432
• 
  Charles Hannon, Diane J. Cook: Exploring the Use of Cognitive Models in AI Applications Using the Stroop Effect. 433-438
• 
  Sanda M. Harabagiu, Razvan C. Bunescu: Data-Driven Coreference Resolution. 439-443
• 
  Sanda M. Harabagiu, Marius Pasca, V. Finley Lacatusu: Dialogue Management for Interactive Question Answering. 444-448
• 
  Sanda M. Harabagiu, Mihai Surdeanu, Paul Morarescu: Automatic Discovery of Linguistic Patterns for Information Extraction. 449-453
• 
  Rada Mihalcea, Dan I. Moldovan: EZ.WordNet: Principles for Automatic Generation of a Coarse Grained WordNet. 454-458
• 
  Dan I. Moldovan, Vasile Rus: Transformation of WordNet Glosses into Logic Forms. 459-463

Neural Network and Fuzzy Logic Applications

• 
  Brian Carse, Anthony G. Pipe: A Framework for Evolving Fuzzy Classifier Systems Using Genetic Programming. 465-469
• 
  S. A. Dolenko, I. V. Boychuk, I. V. Churina, Tatiana A. Dolenko, Victor V. Fadeev, I. G. Persiantsev, Brian Carse: Solution of Inverse Problems in Laser Spectroscopy of Water Media with the Help of Neural Networks. 470-474
• 
  S. A. Dolenko, Yu. V. Orlov, I. G. Persiantsev, Ju. S. Shugai, Anthony G. Pipe: Time Series Analysis Using Unsupervised Construction of Hierarchical Classifiers. 475-479
• 
  DaeEun Kim, Sea Woo Kim: Decision Tree Rule Reduction Using Linear Classifiers in Multilayer Perceptron. 480-484
• 
  Anthony S. Maida, Benjamin A. Rowland, Cengiz Günay: Synchronized Firing in a Time-Delayed Neural Network. 485-488
• 
  George E. Nasr, E. A. Badr, M. R. Younes: Neural Networks in Forecasting Electrical Energy Consumption. 489-492
• 
  Anthony G. Pipe, Brian Carse: "Michigan" and "Pittsburgh" Fuzzy Classifier Systems for Learning Mobile Robot Control Rules: An Experimental Comparison. 493-497

Niche Autonomous Robots

• 
  Adam Jacoff, Elena Messina, John Evans: A Reference Test Course for Urban Search and Rescue Robots. 499-503
• 
  Alexander K. Seewald: Entertainment Robots - Myth or Reality. 504-508
• 
  Glenn S. Wasson, James P. Gunderson, Sean Graves, Robin A. Felder: Effective Shared Control in Cooperative Mobility Aids. 509-513
• 
  Thomas Willeke, Clayton Kunz, Illah R. Nourbakhsh: The History of the Mobot Museum Robot Series: An Evolutionary Study. 514-518

Optimization

• 
  Timothy Huang, Yuriy Nevmyvaka: A Practical Markov Chain Monte Carlo Approach to Decision Problems. 520-524
• 
  Eugene Santos Jr.: A Computational Model for Portfolios of Cooperative Heterogeneous Algorithms for Discrete Optimization. 525-529

Robotics

• 
  Amin Atrash, Sven Koenig: Probabilistic Planning for Behavior-Based Robots. 531-535
• 
  Haihang Sun, Robert McCartney: A Binary Tree Based Approach for the Design of Fault-Tolerant Robot Team. 536-540

Spatiotemporal Reasoning

• 
  Hans W. Guesgen, Joachim Hertzberg: Algorithms for Buffering Fuzzy Raster Maps. 542-546
• 
  Amar Isli: On Deciding Consistency for CSPs of Cyclic Time Intervals. 547-551
• 
  Christian Kray: The Benefits of Multi-Agent Systems in Spatial Reasoning. 552-556
• 
  Donato Malerba, Floriana Esposito, Francesca A. Lisi: A Logical Framework for Frequent Pattern Discovery in Spatial Data. 557-561
• 
  Debasis Mitra, Gérard Ligozat, Lail Hossain: Modeling of Multi-Dimensional Relational Constraints Between Point Objects. 562-567
• 
  Heiner Stuckenschmidt, Christoph Schlieder, Ubbo Visser, Thomas J. Vögele, H. Neumann: Spatial Reasoning for Information Brokering. 568-573

Uncertainty

• 
  Mats Danielson, Love Ekenberg: Symmetry in Decision Evaluation. 575-579
• 
  Christopher W. Geib, Robert P. Goldman: Probabilistic Plan Recognition for Hostile Agents. 580-584
• 
  Anders L. Madsen, Kristian G. Olesen, Søren L. Dittmer: Practical Modeling of Bayesian Decision Problems -- Exploiting Deterministic Relations. 585-590
• 
  Andy Novobilski, Farhad Kamangar: Absolute Percent Error Based Fitness Functions for Evolving Forecast Models. 591-595
• 
  Kristian G. Olesen, Anders L. Madsen: Maximal Prime Subgraph Decomposition of Bayesian Networks. 596-601
• 
  Paul Snow: The Disappearance of Equation Fifteen, a Richard Cox Mystery. 602-606
• 
  Haiqin Wang, Denver Dash, Marek J. Druzdzel: A Method for Evaluating Elicitation Schemes for Probabilities. 607-612
• 
  Y. Xiang, X. An: Generating Dependence Structure of Multiply Sectioned Bayesian Networks. 613-618
• 
  Ronald R. Yager: A General Approach to Uncertainty Representation Using Fuzzy Measures. 619-623

Verification, Validation, and System Certification

• 
  Valerie Barr: A Quagmire of Terminology: Verification and Validation, Testing, and Evaluation. 625-629
• 
  Klaus P. Jantke, Oliver Keller: Secure Systems Development -- The Evolving Integration of Validation and Verification. 630-634
• 
  Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke: The Character of Human Behavior Representation and Its Impact on the Validation Issue. 635-639
• 
  Andreas Nonnengart, Georg Rock, Werner Stephan: Using Hybrid Automata to Express Realtime Properties in VSE-II. 640-644
• 
  Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin: Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. 645-649
• 
  Setsuo Tsuruta, Takashi Onoyama: Intelligent Systems Validation Tool Based on Bi-Directional Many-Sided Explanation Typed Multi-Step Validation Method. 650-654
• 
  Neli Zlatareva: Improving Knowledge-Based System Performance by Reordering Rule Sequences . 655-659