Author: International Conference on Principles of Knowledge Representation and Reasoning (4th 1994 Bonn, Germany)