Advances in artificial intelligence 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 ; proceedings (Springer, 1995)