Publications of
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
In : Journal of Applied Logic, Elsevier, Vol. 4, pp. 119-140, 2006.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
In : Journal électronique d’intelligence artificielle, Vol. 2, pp. 1-14, 2004.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Le problème de la cohérence des réseaux de contraintes du formalisme INDU
In : Neuvièmes journées nationales sur la résolution pratique de problèmes NP-complets (JNPC 2003), France, 01/01/03-31/12/03, T. Schiex (Eds.), Université de Picardie Jules Verne – Laboratoire de recherche en informatique d’Amiens, pp. 23-37, January 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about cyclic space: axiomatic and computational aspects
In : Spatial Cognition III (SC 2002), Allemagne, 01/01/03-31/12/03, C. Freksa, W. Brauer, C. Habel (Eds.), Springer-Verlag, pp. 348-371, January 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
On the consistency problem for the INDU calculus
In : 10th International Symposium on Temporal Representation and Reasoning – 4th International Conference on Temporal Logic (TIME 2003 – ICTL 2003), Australie, 01/07/03-31/07/03, M. Reynolds, A. Sattar (Eds.), Institute of Electrical and Electronics Engineers, pp. 203-211, July 2003.
Philippe Balbiani, Jean-Francois Condotta, Gerard Ligozat
Reasoning about generalized intervals: Horn representabilityand tractability
In : Seventh International Workshop on Temporal Representationand Reasoning, Canada, 01/01/00-31/12/00, Institute of Electrical and Electronics Engineers, pp. 23-39, January 2000.