Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.

Bernhard Nebel

Browse the full ECAI paper archive.