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.