ICTAI 2003, 15th IEEE Int'l Conf. on Tools with Artificial Intelligence