Reasoning about generalized intervals: Horn representability and tractability

Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. Reasoning about generalized intervals: Horn representability and tractability. Seventh International Workshop on Temporal Representation and Reasoning (TIME 2000), Jul 2000, Cape Breton, Canada. pp.23 - 29, ⟨10.1109/TIME.2000.856580⟩. ⟨hal-01491526⟩

Publié le 12 mai 2022