Communication dans un congrès, Informatique, Intelligence artificielle
On the consistency problem for INDU calculus
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. On the consistency problem for INDU calculus. 10th International Symposium on Temporal Representation and Reasoning (TIME 2003), Jul 2003, Cairns, QLD, Australia. pp.203-211, ⟨10.1109/TIME.2003.1214897⟩. ⟨hal-03300310⟩
