Publications

Article(s) de revue(s) internationale(s)

2016 Jean-François Condotta, Souhila Kaci, Yakoub Salhi, Optimization in temporal qualitative constraint networks in Acta Informatica,vol. 53, n° 2, Springer, pp. 149–170, 2016. [Download]

2006 Philippe Balbiani, Jean-François Condotta, G. Ligozat, On the consistency problem for the INDU calculus in Journal of Applied Logic,vol. 4, n° 2, pp. 119-140, 2006.

2005 G. Ligozat, Jean-François Condotta, On the Relevance of Conceptual Spaces for Spatial and Temporal Reasoning in Spatial Cognition and Computation,vol. 5, n° 1, Taylor & Francis, pp. 1-27, 2005.

2004 G. Ligozat, Jean-François Condotta, Spatial and temporal reasoning: beyon Allen’s calculus in Journal of AI Communications,vol. 4, n° 17, pp. 223-233, 2004.

2004 Jean-François Condotta, A general quantitative framework for temporal and spatial reasoning in Constraints,vol. 3, n° 17, Kluwer, 2004.

2002 Philippe Balbiani, Jean-François Condotta, L. Farinas Del Cerro, Tractability results in the block algebra in Journal of Logic and Computation,vol. 12, n° 5, Oxford University Press, pp. 885-909, 2002.

2002 Philippe Balbiani, Jean-François Condotta, Spatial reasoning about points in a multidimensional setting in Journal of Applied Intelligence,vol. 17, n° 3, Kluwer, pp. 221-238, 2002.

Article(s) de conférence(s) internationale(s)

2017 Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta, Collective Singleton-based Consistency for Qualitative Constraint Networks in 24th International Symposium on Temporal Representation and Reasoning (TIME’17),pp. 1-17, 2017.

2016 Jean-François Condotta, Badran Raddaoui, Yakoub Salhi, Quantifying Conflicts for Spatial and Temporal Information in 15th International Conference on Principles of Knowledge Representation and Reasoning (KR’16),AAAI Press, pp. 443-452, 2016.

2015 Michael Sioutis, Yakoub Salhi, Jean-François Condotta, A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks in FLAIRS Conference,pp. 119-122, 2015.

2015 Michael Sioutis, Yakoub Salhi, Jean-François Condotta, On the use and effect of graph decomposition in qualitative spatial and temporal reasoning in ACM Symposium on Applied Computing (SAC’15),ACM, pp. 1874-1879, 2015.

2015 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, David A. Randell, Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework in Artificial Intelligence Applications and Innovations (AIAI),Springer, pp. 130-150, 2015.

2015 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method in International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’15),Springer, pp. 54-69, 2015.

2015 Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said, A practical approach for maximizing satisfiability in qualitative spatial and temporal constraint networks in 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’15),2015. [Download]

2014 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, A Qualitative Spatio-Temporal Framework Based on Point Algebra in 16th Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA’14),pp. 117-128, 2014.

2013 Jean-François Condotta, Souhila Kaci, Minimal Consistency Problem of Temporal Qualitative Constraint Networks in The 20th International Symposium on Temporal Representation an Reasoning (TIME’13),2013.

2013 Jean-François Condotta, Souhila Kaci, Compiling preference queries in qualitative constraint problems in 26th International FLAIRS Conference (FLAIRS’13),AAAI Press, mai 2013.

2013 Nouhad Amaneddine, Jean-François Condotta, On the minimal labeling problem of temporal and spatial qualitative constraints in 26th International FLAIRS Conference (FLAIRS’13),AAAI Press, mai 2013.

2013 Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis, Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints in 23th International Joint Conference on Artificial Intelligence (IJCAI’13),pp. 696-702, 2013.

2012 Nouhad Amaneddine, Jean-François Condotta, From path-consistency to global consistency in temporal qualitative constraint networks in 15th International Conference Artificial Intelligence : Methodology, Systems, and Applications (AIMSA’12),Springer, Lecture Notes in Computer Science (LNCS), vol. 7557, pp. 152-161, 2012.

2011 Assef Chmeiss, Jean-François Condotta, Consistency of triangulated temporal qualitative constraint networks in 23rd International Conference on Tools with Artificial Intelligence (ICTAI’11),IEEE Computer Press, pp. 799-802, 2011.

2011 Jean-François Condotta, Dominique D’Almeida, Consistency of qualitative constraint networks from tree decompositions in 18th International Symposium on Temporal Representation an Reasoning (TIME’11),IEEE Computer Press, pp. 149-156, 2011.

2011 Jean-François Condotta, Christophe Lecoutre, A Framework for Decision-based Consistencies in 17th International Conference on Principles and Practice of Constraint Programming (CP’11),Springer, Lecture Notes in Computer Science (LNCS), vol. 6876, pp. 172-186, septembre 2011. [Download]

2010 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Majority Merging: From Boolean Spaces to Affine Spaces in 19th European Conference on Artificial Intelligence (ECAI’10),pp. 627-632, août 2010.

2010 Jean-François Condotta, Christophe Lecoutre, A Class of df-consistencies for Qualitative Constraint Networks in 12th International Conference on Principles of Knowledge Representation and Reasoning (KR’10),pp. 319-328, mai 2010. (Parmi les 4 shortlisted for the best paper award sur 211 soumissions) [Download]

2010 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, A Syntactical Approach to Qualitative Constraint Networks Merging in 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’10),pp. 233-247, octobre 2010.

2009 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Merging Qualitative Constraints Networks Defined on Different Qualitative Formalisms in Conference on Spatial Information Theory (COSIT’09),pp. 106-123, septembre 2009.

2009 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Merging Qualitative Constraint Networks in a Piecewise Fashion in 21st International Conference on Tools with Artificial Intelligence (ICTAI’09),pp. 605-608, novembre 2009. (short paper)

2009 Nouhad Amaneddine, Jean-François Condotta, An e-learning model based on dynamic qua- litative constraint networks in (ISSPIT’09),pp. 72-82, 2009.

2009 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Merging Qualitative Constraints Networks Using Propositional Logic in 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’09),pp. 347-358, juillet 2009.

2008 Jean-François Condotta, Souhila Kaci, Nicolas Schwind, A Framework for Merging Qualitative Constraints Networks in Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference (FLAIRS’08),pp. 586-591, mai 2008.

2007 Dominique D’Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Saïs, Relaxation of Qualitative Constraint Networks in 7th Symposium on Abstraction, Reformulation and Approximation (SARA’07),LNCS 4612, Springer, pp. 93-108, juillet 2007. [Download]

2007 Jean-François Condotta, Dominique D’Almeida, Qualitative Constraints Representation for the Time and Space in SAT in 19th IEEE International Conference on Tools,IEEE Computer Society, pp. 74-77, octobre 2007.

2007 Mahmoud Saade, Jean-François Condotta, G. Ligozat, Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks in 13th International Conference on Principles and Practice of Constraint Programming (CP’07),Lecture Notes in Computer Science (LNCS 4741), Springer, septembre 2007.

2006 Jean-François Condotta, G. Ligozat, Mahmoud Saade, An Empirical Study of Algorithms for Qualitative Temporal or Spatial Networks in 17th European Conference on Artificial Intelligence - Workshop on Spatial and Temporal Reasoning (ECAI’06),pp. 34–43, août 2006.

2006 Jean-François Condotta, G. Ligozat, Mahmoud Saade, A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi in The 13th International Symposium on Temporal Representation and Reasoning (TIME’06),pp. 78-86, juin 2006.

2006 Jean-François Condotta, G. Ligozat, Mahmoud Saade, S Tripakis, Ultimately Perdiodic Simple Temporal Problems (UPSTPs) in The 13th International Symposium on Temporal Representation and Reasoning (TIME’06),pp. 69-77, juin 2006.

2006 Jean-François Condotta, Dominique D’Almeida, Christophe Lecoutre, Lakhdar Saïs, From Qualitative to Discrete Constraint Networks in International Workshop on Qualitative Constraint Calculi held with KI’06 (QCC’06),pp. 54-64, juin 2006. [Download]

2006 Jean-François Condotta, G. Ligozat, Mahmoud Saade, A Qualitative Algebra Toolkit in 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA’06),pp. 1251-1252, avril 2006.

2005 Jean-François Condotta, G. Ligozat, S Tripakis, Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning in 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’05),pp. 584-588, 2005.

2004 Jean-François Condotta, G. Ligozat, Axiomatizing the cyclic interval calculus in Proc. of KR’2004,pp. 348-371, 2004.

2003 Philippe Balbiani, Jean-François Condotta, G. Ligozat, Reasoning about cyclic space: axiomatic and computational aspects in Proc. of Spatial Cognition 2003, LNCS 2685,pp. 348-371, 2003.

2003 Philippe Balbiani, Jean-François Condotta, G. Ligozat, On the consistency problem for INDU calculus in Proc. of TIME’2003,pp. 203-211, 2003.

2003 G. Ligozat, D. Mitra, Jean-François Condotta, Spatial and temporal reasoning : Beyond Allens’ Calculus in Proceedings of AAAI Spring Symposium on Foundations and Applications of Spatio-Temporal Reasoning (FASTR) 2003,2003.

2002 Philippe Balbiani, Jean-François Condotta, Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning in Proceedings of the 4th International Workshop on Frontiers of Combining Systems (FroCoS 2002),LNCS 2309 Springer, pp. 162-176, 2002.

2002 Philippe Balbiani, Jean-François Condotta, G. Ligozat, Reasoning about cyclic space : axiomatic and computational aspects in Proceedings of Spatial Cognition 2002,2002.

2000 Philippe Balbiani, Jean-François Condotta, G. Ligozat, Reasoning about generalized intervals : Horn representability and tractability in Proceedings of the seventh international workshop on Temporal Representation and Reasoning (TIME’2000),pp. 23-30, 2000.

2000 Jean-François Condotta, The augmented interval and rectangle networks in Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR’2000),pp. 571-579, 2000.

2000 Jean-François Condotta, Tractable sets of the generalized interval algebra in Proceedings of the 14th European Conference on Artificial Intelligence (ECAI’2000),pp. 78-82, 2000.

1999 Philippe Balbiani, Jean-François Condotta, L. Farinas Del Cerro, A tractable subclass of the block algebra : constraint propagation and preconvex relations in The Ninth Portuguese Conference on Artificial Intelligence (EPIA’99),pp. 75-89, 1999.

1999 Philippe Balbiani, Jean-François Condotta, L. Farinas Del Cerro, Spatial Reasoning about points in a multidimensional setting in Proceedings of the workshop on temporal and spatial reasoning (IJCAI’99),pp. 105-113, 1999.

1999 Philippe Balbiani, Jean-François Condotta, L. Farinas Del Cerro, A new tractable subclass of the rectangle algebra in Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99),pp. 442-447, 1999.

1998 Philippe Balbiani, Jean-François Condotta, L. Farinas Del Cerro, A model for reasoning about generalized intervals in Proceedings of the workshop on spatial reasoning (ECAI’98),1998.

1998 Philippe Balbiani, Jean-François Condotta, L. Farinas Del Cerro, A. Osmani, A model for reasoning about generalized intervals in Proceedings of the Eighth International Conference on Artificial Intelligence : Methods, Systems, Applications (AIMSA’98),LNAI 1480, pp. 50-61, 1998.

1998 Philippe Balbiani, Jean-François Condotta, L. Farinas Del Cerro, A model for reasoning about bidimensional temporal relations in Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98),Morgan Kaufmann, pp. 124-130, 1998.

Article(s) de conférence(s) nationale(s)

2013 Jean-François Condotta, Issam Nouaouri, Allaoui Hamid, Gilles Goncalves, Problèmes de contraintes hybrides pour l’ordonnancement d’activités in 7ièmes Journées de l’Intelligence Artificielle Fondamentale (IAF’13),2013. (note = 64 pages - dans le cadre de CP’2008)

2013 Jean-François Condotta, Souhila Kaci, Compilation de requêtes à préférences en problèmes de contraintes qualitatives in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC’13),pp. 85-94, 2013.

2012 Jean-François Condotta, Daniel Le Berre, Résolution de contraintes qualitatives pour le temps et l’espace par SAT à partir de treillis in Raisonnement sur le temps et l’espace et applications en analyse et en interprétation d’images ou de vidéos (RTE’12),janvier 2012. (dans le cadre de RFIA’2012 - Actes électroniques) [Download]

2011 Jean-François Condotta, Cohérence de réseaux de contraintes qualitatives spatio-temporelles à partir de décompositions arborescentes in Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’11),2011.

2010 Nouhad Amaneddine, Jean-François Condotta, Scénarisation de processus d’apprentissage en ligne à l’aide de réseaux de contraintes qualitatives temporelles dynamiques in 17ème congrès francophone sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA’10),2010.

2010 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Fusion majoritaire : des espaces booléens aux espaces affines in Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’10),juin 2010.

2010 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Une approche syntaxique pour le problème de la fusion de réseaux de contraintes qualitatives in 6ièmes Journées Francophones de Programmation par Contraintes (JFPC’10),pp. 103-112, juin 2010.

2009 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Fusion de réseaux de contraintes qualitatives définis sur différents formalismes qualitatifs in Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’09),octobre 2009.

2009 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Fusion de réseaux de contraintes qualitatives par morceaux in Journées Francophones de la Programmation par Contraintes (JFPC’09),pp. 135-144, juin 2009.

2008 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Utiliser la logique propositionnelle pour la fusion de réseaux de contraintes qualitatives in Représentation et Raisonnement sur le Temps et l’Espace (RTE’08),juin 2008.

2008 Jean-François Condotta, Dominique D’Almeida, Représentation de Contraintes Qualitative pour le Temps et l’Espace en SAT in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’08),pp. 268-275, janvier 2008.

2008 Jean-François Condotta, G. Ligozat, Mahmoud Saade, Eligibilité et gel de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales in 16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’08),janvier 2008.

2007 Jean-François Condotta, G. Ligozat, Mahmoud Saade, Eligibilité de contraintes pour la résolution de contraintes qualitatives temporelles et spatiales in Représentation et Raisonnement sur le Temps et l’Espace (RTE’07),juillet 2007.

2006 Jean-François Condotta, G. Ligozat, Mahmoud Saade, QAT : une boîte à outils dédiée aux algèbres qualitatives in Semaine de la Connaissance (SdC2006),vol. 4, pp. 149-155, juin 2006.

2005 Jean-François Condotta, G. Ligozat, S Tripakis, Réseaux de contraintes quantitatives périodiques in 1ères Journées Francophones de Programmation par Contraintes (JFPC’05),pp. 287-296, 2005.

2004 Jean-François Condotta, G. Ligozat, Une axiomatisation des relations qualitatives du calcul des intervalles Cycliques in Actes du quatorzième Congrés Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA-2004),vol. 2, pp. 1071-1080, janvier 2004.

2001 Philippe Balbiani, Jean-François Condotta, Une logique pour le raisonnement spatio-temporel basée sur PLTL et l’algèbre des rectangles in Actes des Journées Nationales sur les Modèles de Raisonnement (JNMR’01),2001.

2001 Philippe Balbiani, Jean-François Condotta, Une logique temporelle pour décrire l’évolution des positions relatives des agents dans l’espace in Actes des Premières Journées Francophones Modèles Formels de l’Interaction (MFI’2001),2001.

2000 Jean-François Condotta, Les réseaux augmentés des intervalles et des rectangles in Actes du Douzième Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA’2000),vol. 3, pp. 49-58, février 2000.

2000 Jean-François Condotta, Classes traitables de l’algèbre des intervalles généralisés in Actes du douzième Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA’2000),vol. 3, pp. 183-192, février 2000.

1999 Philippe Balbiani, Jean-François Condotta, L. Farinas Del Cerro, Raisonnement qualitatif à propos des points de l’espace in Actes des Cinquièmes Journées Nationales sur la résolution pratique de problèmes NP-complets (JNPC’99),pp. 139-149, 1999.

Chapitre(s) d'ouvrage(s)

2013 Jean-François Condotta, Florence Le Ber, G. Ligozat, Louise Travé-Massuyès, Raisonnement qualitatif, temps et espace (chapitre 4 du volume 1 : Représentation des connaissances et formalisation des raisonnements) in Panorama de l’Intelligence Artificeille - Ses bases méthodologiques ses développements,vol. 1, chapitre 4, Pierre Marquis, Odile Papini et Henri Prade (Eds.), Cépaduès, 2013.

2007 Jean-François Condotta, Éric Würbel, Raisonnement sur l’espace et le temps chapitre 7, pp. 181-223, Le Ber F., Ligozat G., Papini O. (Eds.), Lavoisier, Hermes, 2007.

Thèse(s) de doctorat

2000 Jean-François Condotta, Problèmes de satisfaction de contraintes spatiales : algorithmes et complexité Université Paul Sabatier Toulouse, janvier 2000.

Habilitation(s) à Diriger des Recherches

2011 Jean-François Condotta, Contraintes qualitatives pour le raisonnement sur le temps et l’espace Univsersit? d’Artois, decembre 2011.