Advanced methods in artificial intelligence proceedings (Springer, 1993)