KI-95: Advances in artificial intelligence 19th annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 ; proceedings (Springer, 1995)