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