TIME 2016 proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / - Dyreson, Curtis. (IEEE,)