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