Knowledge-based temporal abstraction - Shahar, Y (Artif Intell, 1997)