ICTAI 2000 - 12th IEEE Internationals Conference on Tools with Artificial Intelligence