La sottoclasse di IA: Ord-Horn Bernhard Nebel: Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.
