Proceedings, 12th IEEE Internationals Conference on Tools with Artificial Intelligence : ICTAI 2000, November 13-15, 2000, Vancouver, British Columbia, Canada