Topics in artificial intelligence 4th Congress of the Italian Association for Artificial Intelligence AI*IA '95 Florence, Italy, October 11 - 13, 1995 ; proceedings (Springer, 1995)