Author: International Conference on Principles of Knowledge Representation and