Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning