Author: International Conference on Principles of Knowledge Representation and Reasoning (11th 2008 Sydney, N.S.W.)