IJCAI 87 proceedings of the International Joint Conference on Artificial Intelligence, August, 23 - 28, 1987 (Kaufmann, 1987)