Fingerprint Dive into the research topics of 'Knowledge representation, reasoning and integration using temporal logic with clocks'. Together they form a unique fingerprint.