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 reviewe…