“...International Conference on Principles of Knowledge Representation and Reasoning Cambridge, Mass.)...”