KI-96: Advances in artificial intelligence 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17 - 19, 1996 ; proceedings (Springer, 1996)