An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning.

Alfonso Gerevini Lenhart K. Schubert

Published in: KR (1994)

Keyphrases

objective function
computational complexity