An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning.

Alfonso Gerevini, Lenhart K. Schubert

Browse the full KR paper archive.