Foundations of Intelligent Systems 12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings

This book constitutes the refereed proceedings of the 12th International Symposium on Methodologies for Intelligent Systems, ISMIS 2000, held in Charlotte, NC, USA in October 2000.The 64 revised full papers presented together with one invited contribution were carefully reviewed and selected from a total of 112 submissions. The papers are organized in topical sections on evolutionary computation, intelligent information retrieval, intelligent information systems, knowledge representation and integration, knowledge discovery and learning, logic for AI, and methodologies.

Invited Papers.- Information Retrieval Based on Statistical Language Models.- Intelligent Agent Battlespace Augmentation.- Learning and Evolution: An Introduction to Non-darwinian Evolutionary Computation.- Regular Papers.- Can Relational Learning Scale Up?.- Discovering Geographic Knowledge: The INGENS System.- Temporal Data Mining Using Hidden Periodicity Analysis.- Mining N-most Interesting Itemsets.- Repository Management in an Intelligent Indexing Approach for Multimedia Digital Libraries.- Logic-Based Approach to Semistructured Data Retrieval.- High Quality Information Retrieval for Improving the Conduct and Management of Research and Development.- Signature-Based Indexing for Retrieval by Spatial Content in Large 2D-String Image Databases.- Refining Logic Theories under OI-Implication.- Rule Quality Measures Improve the Accuracy of Rule Induction: An Experimental Approach.- A Dynamic Approach for Knowledge Discovery of Web Access Patterns.- Data Reduction via Conflicting Data Analysis.- A Comparison of Rule Matching Methods Used in AQ15 and LERS.- Evolving Behaviors for Cooperating Agents.- Evolving Finite-State Machine Strategies for Protecting Resources.- A Method of Generating Program Specification from Description of Human Activities.- PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vector for Missing Faults in VLSI Circuits.- Evaluating Migration Strategies for an Evolutionary Algorithm Based on the Constraint-Graph that Solves CSP.- Relative Robustness: An Empirical Investigation of Behaviour Based and Plan Based Paradigms as Environmental Conditions Change.- A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm.- Planning while Executing: A Constraint-Based Approach.- Problem Decomposition and Multi-agent System Creation for Distributed Problem Solving.- A Comparative Study of Noncontextual and Contextual Dependencies.- Extended Query Answering Using Integrity Rules.- Finding Temporal Relations: Causal Bayesian Networks vs. C4.5.- Learning Relational Clichés with Contextual LGG.- Design of Rough Neurons: Rough Set Foundation and Petri Net Model.- Towards Musical Data Classification via Wavelet Analysis.- Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics.- Fundamental Properties on Axioms of Kleene Algebra.- Extending Entity-Relationship Models with Higher-Order Operators.- Combining Description Logics with Stratified Logic Programs in Knowledge Representation.- Emergence Measurement and Analyzes of Conceptual Abstractions during Evolution Simulation in OOD.- Using Intelligent Systems in Predictions of the Bacterial Causative Agent of an Infection.- An Intelligent Lessons Learned Process.- What the Logs Can Tell You: Mediation to Implement Feedback in Training.- Top-Down Query Processing in First Order Deductive Databases under the DWFS.- Discovering and Resolving User Intent in Heterogeneous Databases.- Discovering and Matching Elastic Rules from Sequence Databases.- Perception-Based Granularity Levels in Concept Representation.- Local Feature Selection with Dynamic Integration of Classifiers.- Prediction of Ordinal Classes Using Regression Trees.- Optimal Queries in Information Filtering.- Automatic Semantic Header Generator.- On Modeling of Concept Based Retrieval in Generalized Vector Spaces.- Template Generation for Identifying Text Patterns.- Qualitative Discovery in Medical Databases.- Finding Association Rules Using Fast Bit Computation: Machine-Oriented Modeling.- Using Closed Itemsets for Discovering Representative AssociationRules.- Legitimate Approach to Association Rules under Incompleteness.- A Simple and Tractable Extension of Situation Calculus to Epistemic Logic.- Rule Based Abduction.- An Efficient Proof Method for Non-clausal Reasoning.- An Intelligent System Dealing with Complex Nuanced Information within a Statistical Context.- On the Complexity of Optimal Multisplitting.- Parametric Algorithms for Mining Share Frequent Itemsets.- Discovery of Clinical Knowledge in Hospital Information Systems: Two Case Studies.- Foundations and Discovery of Operational Definitions.- A Multi-Agent Based Architecture for Distributed KDD Process.- Towards a Software Architecture for Case-based Reasoning Systems.- Knowledge Representation in Planning: A PDDL to OCL h Translation.- A Method and Language for Constructing Multiagent Systems.- A Formalism for Building Causal Polytree Structures Using Data Distributions.- Abstraction in Cartographic Generalization.