Advances in artificial intelligence : 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995 : proceedings - Wainer, Jacques; Carvalho, Ariadne (Lecture notes in computer science ;, 1995)