16th International Conference on Principles of Knowledge Representation and Reasoning 30 October - 02 November 2018