1 research outputs found
Coherence test on graphs constraints between hyperintervals
International audienceThis paper proceeds to develop a model for representing and reasoning about time from the perspective of non-standard analysis. It sets out a qualitative approach for relations between intervals of hyperreals. Within this qualitative approach for hyperreal time, we establish qualitative constraint graphs and we study the computational complexity of the associated consistency problem