|
Publications- CONDOTTA J.-F., Ligozat G., SAADE M., Eligibilité et gel de contraintes pour la résolution de réseaux de
contraintes qualitatives temporelles et spatiales, 16ème Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et
Intelligence Artificielle (RFIA2008) (à paraître). Amiens, France, janvier 2008.
- CONDOTTA J.-F., Ligozat G., SAADE M., Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks, Proceedings
of the 13th International Conference on Principles and Practice of Constraint Programming (CP2007). Providence, Rhode Island. September 2007.
- CONDOTTA J.-F., Ligozat G., SAADE M., Eligibilité de contraintes pour la résolution de contraintes qualitatives temporelles
et spatiales, Atelier Représentation et Raisonnement sur le Temps et lEspace (RTE2007). Grenoble, France, juillet 2007.
- CONDOTTA J.-F., Ligozat G., SAADE M., "An Empirical Study of Algorithms for Qualitative Temporal or Spatial Networks", Workshop on Spatial
and Temporal Reasoning - ECAI2006. The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, August 2006. p.34-43.
- CONDOTTA J.-F., Ligozat G., SAADE M., "QAT : une boîte à outils dédiée aux algèbres qualitatives", Semaine
de la Connaissance (SdC2006), vol. 4, pp 149-155, Nantes, Juin 2006.
- CONDOTTA J.-F., Ligozat G., SAADE M.,A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi, The 13th International
Symposium on Temporal Representation and Reasoning (TIME2006), June 15 - 17, 2006 in Budapest, Hungary.
- CONDOTTA J.-F., Ligozat G., SAADE M. and S.Tripakis, Ultimately Perdiodic Simple Temporal Problems (UPSTPs), The 13th International
Symposium on Temporal Representation and Reasoning (TIME2006), June 15 - 17, 2006 in Budapest, Hungary.
- CONDOTTA J.-F., Ligozat G., SAADE M., The QAT: A Qualitative Algebra Toolkit, 2nd IEEE International Conference on Information Technologies:
from Theory to Applications (ICTTA2006), April 24-28, Damascus, Syria, 2006.
|