Foundations of intelligent systems 12th international symposium, ISMIS 2000, Charlotte, NC, USA, October 11 - 14, 2000 ; proceedings (Springer, 2000)