Artificial intelligence: towards practical application : Proceedings - Bernold, Thomas; Albers, Günter (North-Holland, 1985)