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