GWAI-85 : 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985