Partenaires

CNRS
Université d'Artois IUT de Lens



retour à l'accueil

Accueil du site > Annuaire > Annuaire des personnels > Annuaire

Annuaire

Jean-François Condotta

Professeur des Universités

Axe(s) de recherche

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

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

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

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

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

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

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

Communication(s) dans des conférences d'audience internationale avec publication des actes

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

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

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

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

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

Condotta Jean-François, Lecoutre Christophe,
A Framework for Decision-based Consistencies,
dans 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Springer, Lecture Notes in Computer Science (LNCS) n° 6876, pp. 172-186, septembre 2011. [Télécharger] [BibTeX...]

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

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

Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
A Syntactical Approach to Qualitative Constraint Networks Merging,
dans 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'10), pp. 233-247, octobre 2010. [Résumé] [Télécharger] [BibTeX...]

Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Majority Merging: From Boolean Spaces to Affine Spaces,
dans 19th European Conference on Artificial Intelligence (ECAI'10), pp. 627-632, août 2010. [Résumé] [Télécharger] [BibTeX...]

Condotta Jean-François, Lecoutre Christophe,
A Class of df-consistencies for Qualitative Constraint Networks ,
dans 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) [Télécharger] [BibTeX...]

Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Merging Qualitative Constraint Networks in a Piecewise Fashion,
dans 21st International Conference on Tools with Artificial Intelligence (ICTAI'09), pp. 605-608, novembre 2009. (short paper) [Résumé] [Télécharger] [BibTeX...]

Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Merging Qualitative Constraints Networks Defined on Different Qualitative Formalisms,
dans Conference on Spatial Information Theory (COSIT'09), pp. 106-123, septembre 2009. [Résumé] [Télécharger] [BibTeX...]

Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Merging Qualitative Constraints Networks Using Propositional Logic,
dans 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09), pp. 347-358, juillet 2009. [Résumé] [Télécharger] [BibTeX...]

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

Condotta Jean-François, Kaci Souhila, Schwind Nicolas,
A Framework for Merging Qualitative Constraints Networks,
dans Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference (FLAIRS'08), pp. 586-591, mai 2008. [Résumé] [Télécharger] [BibTeX...]

Condotta Jean-François, D'Almeida Dominique,
Qualitative Constraints Representation for the Time and Space in SAT,
dans The 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'07), IEEE Computer Society, pp. 74-77, octobre 2007. [Télécharger] [BibTeX...]

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

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

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

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

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

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

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

Condotta Jean-François, Ligozat G.,
Axiomatizing the cyclic interval calculus,
dans Proc. of KR'2004, pp. 348-371, 2004. [BibTeX...]

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

Balbiani P., Condotta Jean-François, Ligozat G.,
On the consistency problem for INDU calculus,
dans Proc. of TIME'2003, pp. 203-211, 2003. [BibTeX...]

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

Balbiani P., Condotta Jean-François, Ligozat G.,
Reasoning about cyclic space : axiomatic and computational aspects,
dans Proceedings of Spatial Cognition 2002, 2002. [BibTeX...]

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

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

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

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

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

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

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

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

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

Balbiani P., Condotta Jean-François, Farinas Del Cerro L.,
A model for reasoning about generalized intervals,
dans Proceedings of the workshop on spatial reasoning (ECAI'98), 1998. [BibTeX...]

Communication(s) dans des conférences d'audience internationale sans publication des actes

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

Communication(s) dans des conférences d'audience nationale

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

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

Condotta Jean-François, Le Berre Daniel,
Résolution de contraintes qualitatives pour le temps et l'espace par SAT à partir de treillis,
dans 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) [Résumé] [Télécharger] [BibTeX...]

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

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

Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Fusion majoritaire : des espaces booléens aux espaces affines,
dans Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'10), juin 2010. [Résumé] [Télécharger] [BibTeX...]

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

Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Fusion de réseaux de contraintes qualitatives définis sur différents formalismes qualitatifs,
dans Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), octobre 2009. [Résumé] [Télécharger] [BibTeX...]

Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Fusion de réseaux de contraintes qualitatives par morceaux,
dans Journées Francophones de la Programmation par Contraintes (JFPC'09), pp. 135-144, juin 2009. [Résumé] [Télécharger] [BibTeX...]

Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Utiliser la logique propositionnelle pour la fusion de réseaux de contraintes qualitatives,
dans Représentation et Raisonnement sur le Temps et l'Espace (RTE'08), juin 2008. [Résumé] [Télécharger] [BibTeX...]

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

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

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

Condotta Jean-François, Ligozat G., Saade Mahmoud,
QAT : une boîte à outils dédiée aux algèbres qualitatives,
dans Semaine de la Connaissance (SdC'06), pp. 149-155, juin 2006. [BibTeX...]

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

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

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

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

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

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

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

Chapitre(s) d'ouvrage(s)

Condotta Jean-François, Le Ber Florence, Ligozat G., Travé-Massuyès Louise,
Raisonnement qualitatif, temps et espace (chapitre 4 du volume 1 : Représentation des connaissances et formalisation des raisonnements),
dans 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. [BibTeX...]

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

Habilitation(s) à Diriger des Recherches

Condotta Jean-François,
Contraintes qualitatives pour le raisonnement sur le temps et l'espace,
Habilitation à Diriger des Recherches, Univsersit? d'Artois, décembre 2011. [BibTeX...]

Thèse de doctorat

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