Methodologies for intelligent systems 7th international symposium, ISMIS '93, Trondheim, Norway, June 15 - 18, 1993 ; proceedings (Springer, 1993)