Includes supplementary material: sn.pub/extras

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.

This volume contains the papers selected for presentation at the Twelfth - ternational Symposium on Methodologies for Intelligent Systems - ISMIS 2000, held in Charlotte, N.C., 11{14 October, 2000. The symposium was co-organized by the College of Information Technology at UNC-Charlotte and the Polish- Japanese Institute of Information Technology. It was sponsored by the US Army Research O ce, NCR Data Mining Laboratory, College of IT at UNC-Charlotte, and others. ISMIS is a conference series that was started in 1986 in Knoxville, Tennessee. Since then it has been held in Charlotte (North Carolina), Knoxville (Tennessee), Torino (Italy), Trondheim (Norway), Warsaw (Poland), and Zakopane (Poland). The program committee selected the following major areas for ISMIS 2000: Evolutionary Computation, Intelligent Information Retrieval, Intelligent Inf- mation Systems, Knowledge Representation and Integration, Knowledge Dis- very and Learning, Logic for Arti cial Intelligence, and Methodologies. The contributed papers were selected from 112 full draft papers by the f- lowing program committee: A. Biermann, P. Bosc, J. Calmet, S. Carberry, N. Cercone, J. Chen, W. Chu, B. Croft, J. Debenham, S.M. Deen, K. DeJong, R. Demolombe, B. Desai, T. Elomaa, F. Esposito, A. Giordana, J. Grzymala-Busse, M. Hadzikadic, H. Hamilton, D. Hislop, K. Hori, W. Kloesgen, Y. Kodrato , J. Komorowski, J. Koronacki, W. Kosinski, R. Kosto , B.G.T. Lowden, D. Maluf, D. Malerba, R.L. de Mantaras, S. Matwin, R. Meersman, Z. Michalewicz, R.