Qualitative Process Theory
Maintaining knowledge about temporal intervals