German Workshop on Artificial Intelligence (17th 1993 Berlin, Germany)