Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

On the consistency problem for INDU calculus

Abstract : In this paper, we further investigate the consistency problem for the qualitative temporal calculus INDU introduced by A. K. Pujari et al. (1999). We prove the intractability of the consistency problem for the subset of preconvex relations. On the other hand, we show the tractability of strongly preconvex relations. Furthermore, we also define another interesting set of relations for which the consistency problem can be decided by a method similar to the usual path-consistency method.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 9:34:47 AM
Last modification on : Monday, July 4, 2022 - 9:14:13 AM



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⟩



Record views