Interval-based Temporal Reasoning with General TBoxes.

Carsten Lutz

Browse the full IJCAI paper archive.