Abstract is missing.
- Autonomous Automobile Behavior through Context-Based ReasoningFernando G. Gonzalez, Patrick Grejs, Avelino J. Gonzalez. 2-6
- Validation of Cryptographic Protocols by Efficient Automated TestingSigrid Gürgens, René Peralta. 7-12
- Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive ConstraintsOrtrun Ibens. 13-17
- The SH-Verification ToolPeter Ochsenschläger, Jürgen Repp, Roland Rieke. 18-22
- Automated Partitioning of Tonal MusicBryan Pardo, William P. Birmingham. 23-27
- Using Genetic Algorithms to Solve the Tactical Fixed Interval Scheduling ProblemXiaomin Zhong, Eugene Santos Jr.. 28-32
- Reasoning from Data Rather than TheoryJoseph E. Beck, Beverly Park Woolf. 34-39
- Actively Supporting Collaboration in Virtual Learning EnvironmentsAdrian Gordon, Lynne E. Hall. 40-44
- What is Wrong with this Equation? Error Detection and Feedback with Physics EquationsChun Wai Liew, Joel A. Shapiro, Donald E. Smith. 45-49
- Supporting Intelligent Tutoring in CALL by Modeling the User s GrammarLisa N. Michaud, Kathleen F. McCoy. 50-54
- An Ontology as Domain Model in a Web-Based Educational System for PrologChristoph Peylo, Wilfried Teiken, Claus-Rainer Rollinger, Helmar Gust. 55-59
- Turn Planning in CIRCSIM-TutorFeng-Jen Yang, Jung Hee Kim, Michael Glass, Martha W. Evens. 60-64
- Overriding the Experts: A Stacking Method for Combining Marginal ClassifiersMark D. Happel, Peter Bock. 66-70
- A Boosting-Based Prototype Weighting and Selection SchemeRichard Nock, Marc Sebban. 71-75
- Neural Network Based Classification Using Blur Degradation and Affine Deformation Invariant FeaturesYani Zhang, Changyun Wen, Ying Zhang. 76-80
- Discovering Structural Patterns in Telecommunications DataAndi Baritchi, Diane J. Cook, Lawrence B. Holder. 82-85
- Structural Knowledge Discovery Used to Analyze Earthquake ActivityJesus A. Gonzalez, Lawrence B. Holder, Diane J. Cook. 86-90
- Graph-Based Hierarchical Conceptual ClusteringIstvan Jonyer, Lawrence B. Holder, Diane J. Cook. 91-95
- A Fuzzy Algorithm for the Efficient Utilization of Information in Decision TreesKeeley A. Crockett, Zuhair Bandar, Akeel Al-Attar. 97-101
- Partitioning Sets with Genetic AlgorithmsWilliam A. Greene. 102-106
- Cache Diversity in Genetic Algorithm DesignEunice E. Santos, Eugene Santos Jr.. 107-111
- The Degradation of Knowledge Base IntegrityJohn K. Debenham. 113-117
- Fundamental Properties of the Core Matching Functions for Information RetrievalDawei Song, Kam-Fai Wong, Peter Bruza, Chun Hung Cheng. 118-122
- A Multiagent Architecture to Support Distance Learning Personalization on the WebJesus Boticario, Elena Gaudioso. 124-127
- A Coherent Teamwork Model in a Dynamic EnvironmentMadhu Goyal, N. Parameswaran. 128-132
- Resolving Conflicts Among Actions in Concurrent BehaviorsHenry Hexmoor. 133-136
- Domain Semantics for Agent-Oriented ProgrammingRoger Norton, S. Rebecca Thomas. 137-143
- Using Learning in a Control AgentJames J. Pomykalski, James Madison. 144-148
- Use of Data Mining on Satellite Data Bases for Knowledge ExtractionLance Self. 149-152
- Developing an Advanced Environment for Collaborative ComputingIrma Becerra-Fernandez, Helen Stewart, Martha Del Alto, Chris Knight. 154-158
- Defining and Monitoring Knowledge IntegrityFatma Mili, Krish Narayanan, Vamsi Atluri. 159-165
- The Effect of Organizational Culture on the Implementation of Knowledge ManagementFrancis D. Tuggle, Nancy C. Shaw. 166-169
- Active Case-Based Reasoning for Lessons Delivery SystemRosina Weber, David W. Aha, Karl Branting, J. Robert Lucas, Irma Becerra-Fernandez. 170-174
- HyperADD: An Incremental and Hybrid Approach for Knowledge Acquisition on Active Design DocumentsSandro Coimbra Assis, Flávio Miguel Varejão, Ana Cristina Garcia. 176-180
- Producing Modular Hybrid Rule Bases for Expert SystemsIoannis Hatzilygeroudis, Jim Prentzas. 181-185
- Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain KnowledgeGregory Johnson Jr., Eugene Santos Jr.. 186-190
- Real-Time Learning when Concepts ShiftJeffrey Coble, Diane J. Cook. 192-196
- An Algebraic Approach to Inductive LearningZdravko Markov. 197-201
- Using a Reactive Planner as the Basis for a Dialogue AgentReva Freedman. 203-208
- A Parallel Approach to Modeling Language Learning and Understanding in Young ChildrenCharles Hannon, Diane J. Cook. 209-213
- Mining Textual Answers with Knowledge-Based IndicatorsSanda M. Harabagiu, Marius Pasca. 214-218
- An Iterative Approach to Word Sense DisambiguationRada Mihalcea, Dan I. Moldovan. 219-223
- Domain-Specific Knowledge Acquisition and Classification Using WordNetDan I. Moldovan, Roxana Girju. 224-228
- Fast Text Compression with Neural NetworksMatthew V. Mahoney. 230-234
- Comparing Performance of Neural Networks Applied to a Simplified Recognition ProblemMarcin Paprzycki, Rick Niess, Jason Thomas, Lenny Scardino, William Douglas. 235-239
- Systematic Treatment of Failures Using Multilayer PerceptronsFadzilah Siraj, Derek Partridge. 240-244
- Case Studies of AutonomyHenry Hexmoor. 246-249
- Comparison of Multiple Agent-Based Organizations for Satellite Constellations (TechSat21)Thomas P. Schetter, Mark E. Campbell, Derek M. Surka. 250-259
- Ground-Based Control of a Satellite ClusterRoss Wainwright. 260-264
- Erosion Modeling in a Raster-Based GIS with Fuzzy LogicHans W. Guesgen, Jochen Albrecht, Stefi Grundner. 266-270
- Deriving Summaries Through an Identity-Based ApproachKathleen Hornsby. 271-275
- Learning to Transfer Knowledge between Reference SystemsMaria do Carmo Nicoletti, Jane Brennan. 276-280
- Top-Down Construction and Repetetive Structures Representation in Bayesian NetworksOlav Bangsø, Pierre-Henri Wuillemin. 282-286
- Latin Hypercube Sampling in Bayesian NetworksJian Cheng, Marek J. Druzdzel. 287-292
- Distributed Multi-Agent MSBN: Implementing VerificationHongyu Geng, Yang Xiang. 293-297
- Inferencing Bayesian Networks from Time Series Data Using Natural SelectionAndrew J. Novobilski, Farhad Kamangar. 298-302
- Zooming in on Trade-Offs in Qualitative Probabilistic NetworksSilja Renooij, Linda C. van der Gaag, Shaw Green, Simon Parsons. 303-307
- Independence Semantics for BKBsSolomon Eyal Shimony, Eugene Santos Jr., Tzachi Rosen. 308-312
- A Deterministic Algorithm for Solving Imprecise Decision ProblemsHåkan L. S. Younes, Love Ekenberg. 313-317
- Formal Concepts of Learning Systems Validation in UseVolker Dötsch, Gunter Grieser, Klaus P. Jantke, Steffen Lange. 319-324
- TIC - A Toolkit for Valication in Formal Language LearningVolker Dötsch, Klaus P. Jantke. 325-330
- Towards Validation of Rule-Based Systems - The Loop is ClosedRainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke. 331-335
- The Use of Formal Methods for Trusted Digital Signature DevicesBruno Langenstein, Roland Vogt, Markus Ullmann. 336-340
- A Case Study in the Mechanical Verification of Fault ToleranceHeiko Mantel, Felix C. Gärtner. 341-345
- Verification of Cooperating Systems - An Approach Based on Formal LanguagesPeter Ochsenschläger, Jürgen Repp, Roland Rieke. 346-350
- Towards Dependable Development Tools for Embedded Systems: A Case Study in Software VerificationUwe Petermann. 351-355
- Modeling Specification and Verification of an Emergency Closing SystemWerner Stephan, Georg Rock, Michael Brodski. 356-360
- Validation Method for Intelligent SystemsSetsuo Tsuruta, Takashi Onoyama, Sen Kubota, Kazuko Oyanagi. 361-365
- Formal Software Development in the Verification Support Environment (VSE)Dieter Hutter, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt. 367-376