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, Luis Fariñas del Cerro
Tractability results in the block algebra
In : Journal of Logic and Computation, Vol. 12, pp. 885-909, 2002.
Philippe Balbiani, Jean-Francois Condotta
Spatial reasoning about points in a multidimensional setting
In : Applied Intelligence, Vol. 7, pp. 221-238, 2002.
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, Khalil Challita, Jean-Francois Condotta
Spatial regions changing over time
In : 7th Seminar RelMiCS – 2nd Workshop Kleene Algebra (RelMiCS 2003 – Kleene 2003), Malente, 01/05/03-31/05/03, R. Berghammer, B. Möller (Eds.), Christian-Albrechts-Universität zu Kiel, pp. 74-81, May 2003.
Philippe Balbiani, Jean-Francois Condotta
Computational complexity of a propositional linear temporallogic based on qualitative spatial or temporal reasoning
In : 4th International Workshop on Frontiers of Combining Systems, Italie, 01/01/02-31/12/02, Springer-Verlag, pp. 1-999, January 2002.
Philippe Balbiani, Jean-Francois Condotta
Une logique temporelle pour décrire l’évolution des positions relatives des agents dans l’espace
In : 1ères journées francophones des modèles formels de l’interaction (MFI 2001), Toulouse, 01/01/01-31/12/01, B. Chaib-draa, P. Enjalbert (Eds.), Université des sciences sociales – Toulouse 1, pp. 181-192, January 2001.
Philippe Balbiani, Jean-Francois Condotta
Une logique pour le raisonnement spatio-temporel basée sur PLTL et l’algèbre des rectangles
In : Journées nationales sur les modèles de raisonnement (JNMR 2001), France, 01/01/01-31/12/01, A. Herzig (Eds.), PRC-GDR I3, pp. 9-21, January 2001.
Les réseaux augmentés des intervalles et des rectangles
In : Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA’2000), Paris, 01/02/00-03/02/00, ., February 2000.
Classes traitables de l’algèbre des intervalles généralisés
In : Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA’2000), Paris, 01/02/00-03/02/00, ., February 2000.
Tractable Sets of the Generalized Interval Algebra
In : Proceedings of the 14th European Conference on Artificial Intelligence (ECAI’2000), Amsterdam, IOS Press, pp. 78-82, January 2000.
The Augmented Interval and Rectangle Networks
In : Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR’2000), Breckenridge (USA), ., April 2000.
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.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
Raisonement qualitatif a propos des points de l’espace
In : Cinquiemes journees nationales sur la resolution pratique deproblemes NP-complets, Lyon, 01/01/99-31/12/99, Insa de Lyon, pp. 139-149, January 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A tractable subclass of the block algebra: constraint propagation and preconvex relations
In : Proceedings of the Ninth Portuguese Conference on Artificial Intelligence (EPIA’99), Evora, ., January 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A new tractable subclass of the rectangle algebra
In : Sixteenth International Joint Conference on ArtificialIntelligence, Suede, 01/01/99-31/12/99, International Joint Conferences on Artificial Intelligence, pp. 442-447, January 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro, Aomar Osmani
Reasoning about generalized intervals
In : Artificial Intelligence: Methodology, Systems andApplications, Bulgarie, 01/01/98-31/12/98, Springer-Verlag, pp. 50-61, January 1998.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A model for reasoning about bidimensional temporal relations
In : Sixth International Conference on Principles of KnowledgeRepresentation and Reasoning, Italie, Morgan Kaufmann, pp. 124-130, January 1998.
Problèmes de satisfaction de contraintes : algorithmes et complexité
Master’s Thesis, Université Paul Sabatier, January 2000.