The home page of the AI group has moved to the URL http://www.dis.uniroma1.it/research/ai.html