Publications

International journals

2023 Knowledge Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, Defeasible linear temporal logic in Journal of Applied Non-Classical Logics,vol. 33, n° 1, pp. 1-51, 2023.

2019 Knowledge Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta, Collective singleton-based consistency for qualitative constraint networks: Theory and practice in Theoretical Computer Science,vol. 797, pp. 17-41, 2019.

2017 Michael Sioutis, Yakoub Salhi, Jean-François Condotta, Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning in Knowledge Engineering Review,vol. 32, pp. e4, 2017.

2016 Michael Sioutis, Jean-François Condotta, Manolis Koubarakis, An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks in International Journal on Artificial Intelligence Tools,vol. 25, n° 02, pp. 1550031, 2016.

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

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

2005 Gérard Ligozat, Jean-Francois Condotta, On the Relevance of Conceptual Spaces for Spatial and Temporal Reasoning in Spatial Cognition and Computation,vol. 5, n° 1, pp. 1-17, 2005.

2004 Gérard 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, 2004.

2002 Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Tractability results in the block algebra in Journal of Logic and Computation,vol. 12, n° 5, pp. 885-909, 2002.

International conferences

2022 Knowledge Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi, Knowledge Discovery from Qualitative Spatial and Temporal Data in 34th International Conference on Tools with Artificial Intelligence (ICTAI 2022),IEEE, pp. 451-458, 2022.

2021 Knowledge Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, A One-Pass Tree-Shaped Tableau for Defeasible LTL in 28th International Symposium on Temporal Representation and Reasoning (TIME 2021),Schloss Dagstuhl -- Leibniz-Zentrum, pp. 16:1–16:18, 2021.

2019 Knowledge Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta, Ivan Varzinczak, On the Decidability of a Fragment of preferential LTL in International Symposium on Temporal Representation and Reasoning (TIME),pp. 19:1--19:19, 2019.

2018 Knowledge Ali Mensi, Jean-François Condotta, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said, A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints in 10th Hellenic Conference on Artificial Intelligence (SETN 2018),ACM Press, pp. 1-9, 2018.

2018 AI at the service of... Marwa Harzi, Jean-François Condotta, Issam Nouaouri, Saoussen Krichen, Using the hybrid ILS/VND method for solving the patients scheduling problem in emergency department: a case study in 22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'18),Elsevier, pp. 733--742, 2018.

2017 Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta, A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks in 29th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2017),IEEE, pp. 110-117, 2017.

2017 Marwa Harzi, Jean-François Condotta, Issam Nouaouri, Saoussen Krichen, Scheduling Patients in Emergency Department by Considering Material Resources in 21st International Conference Knowledge-Based and Intelligent Information & Engineering Systems (KES'17),Elsevier, pp. 713-722, 2017.

2017 Michael Sioutis, Jean-François Condotta, Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction in Twenty-Sixth International Joint Conference on Artificial Intelligence,International Joint Conferences on Artificial Intelligence Organization, pp. 1262-1268, 2017.

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 2017),2017.

2016 Marwa Harzi, Issam Nouaouri, Jean-François Condotta, Saoussen Krichen, Optimization of patient scheduling in emergency department in 28th European Conference on Operational Research (EURO'16),2016.

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.

2016 Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said, Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks in Artificial Intelligence: Methodology, Systems, and Applications - 17th International Conference (AIMSA 2016),pp. 247-258, 2016.

2016 Jean-François Condotta, Issam Nouaouri, Michael Sioutis, A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks in Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference (KR 2016),2016.

2015 Michael Sioutis, Sanjiang Li, Jean-François Condotta, Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks in Twenty-Fourth International Joint Conference on Artificial Intelligence,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 2015),IEEE, pp. 445-452, 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 30th Annual ACM Symposium on Applied Computing,ACM Press, pp. 1874-1879, 2015.

2015 Michael Sioutis, Yakoub Salhi, Jean-François Condotta, A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks in Twenty-Eighth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2015),2015.

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

2014 Michael Sioutis, Jean-François Condotta, Vertex Incremental Path Consistency for Qualitative Constraint Networks in Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI (SETN 2014),pp. 454-459, 2014.

2014 Michael Sioutis, Jean-François Condotta, Incrementally Building Partially Path Consistent Qualitative Constraint Networks in Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference (AIMSA 2014),pp. 104-116, 2014.

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

2014 Michael Sioutis, Jean-François Condotta, Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure in Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI (SETN 2014),pp. 178-191, 2014.

2013 Jean-François Condotta, Souhila Kaci, Compiling Preference Queries in Qualitative Constraint Problems in FLAIRS: Florida Artificial Intelligence Research Society,2013.

2013 Nouhad Amaneddine, Jean-Francois 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),AAAI Press, pp. 696-702, 2013.

2013 Jean-Francois 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.

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

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

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

2012 Nouhad Amaneddine, Jean-Francois 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, vol. 7557, pp. 152-161, 2012.

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

2011 Jean-Francois Condotta, Christophe Lecoutre, A Framework for Decision-based Consistencies in 17th International Conference on Principles and Practice of Constraint Programming (CP'11),Springer, vol. 6876, pp. 172-186, 2011.

2011 Jean-Francois Condotta, Dominique d'Almeida, Consistency of qualitative constraint networks from tree decompositions in 18th International Symposium on Temporal Representation an Reasoning (TIME'11),pp. 149-156, 2011.

2010 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, A Syntactical Approach to Qualitative Constraint Networks Merging in LPAR: Logic for Programming, Artificial Intelligence and Reasoning,Springer, vol. LNCS, pp. 233-247, 2010.

2010 Jean-Francois 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, 2010.

2010 Jean-Francois 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, 2010.

2009 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Merging Qualitative Constraint Networks in a Piecewise Fashion in ICTAI: International Conference on Tools with Artificial Intelligence,IEEE, pp. 605-608, 2009.

2009 Jean-Francois 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),Springer, vol. 5590, pp. 347-358, 2009.

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

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, Fusion de réseaux de contraintes qualitatives par morceaux in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 135-145, 2009.

2008 Jean-Francois Condotta, Souhila Kaci, Nicolas Schwind, A Framework for Merging Qualitative Constraints Networks in Twenty-First International Florida Artificial Intelligence Research Society Conference (FLAIRS'08),AAAI Press, pp. 586-591, 2008.

2007 Jean-Francois Condotta, Dominique d'Almeida, Qualitative Constraints Representation for the Time and Space in SAT in The 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI'07),pp. 74-77, 2007.

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, 2007.

2007 Dominique d'Almeida, Jean-Francois Condotta, Christophe Lecoutre, Lahkdar Sais, Relaxation of Qualitative Constraint Networks in 7th Symposium on Abstraction, Reformulation and Approximation (SARA'07),pp. 93-108, 2007.

2007 Jean-Francois Condotta, Gérard Ligozat, Mahmoud Saade, Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks in Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP'07),pp. n, 2007.

2006 Jean-Francois Condotta, Dominique d'Almeida, Christophe Lecoutre, Lahkdar Sais, From Qualitative to Discrete Constraint Networks in KI 2006 : 29th Annual German Conference on AI,KI'2006, pp. 54-64, 2006.

2006 Jean-Francois Condotta, Gérard Ligozat, Mahmoud Saade, A Qualitative Algebra Toolkit in 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06),pp. 1251-1252, 2006.

2006 Jean-Francois Condotta, Gérard Ligozat, Mahmoud Saade, An Empirical Study of Algorithms for Qualitative Temporal or Spatial Networks in 17th European Conference on Artificial Intelligence (Workshop ECAI'2006),pp. 34-43, 2006.

2005 Jean-Francois Condotta, Gérard 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.

2003 Gérard 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, Gerard Ligozat, Reasoning about generalized intervals: Horn representabilityand tractability in 7th International Workshop on Temporal Representation and Reasoning (TIME 2000),IEEE: Institute of Electrical and Electronics Engineers, pp. 23--39, 2002.

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

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.

2000 Philippe Balbiani, Jean-François Condotta, Gérard Ligozat, Reasoning about generalized intervals : Horn representability and tractability in 7th 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.

1998 Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, A model for reasoning about generalized intervals (ECAI 1998) in Workshop on spatial reasoning @ 13th European Conference on Artificial Intelligence (ECAI 1998),1998.

National conferences

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 RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle),pp. 978-2-9539515-2-3, 2012.

2011 Jean-Francois 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 2010),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 JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes,pp. 103-112, 2010.

2010 Jean-Francois 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),2010.

2009 Jean-Francois 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),2009.

2008 Jean-Francois Condotta, Gérard 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),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, 2008.

2008 Jean-Francois 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),2008.

2007 Jean-Francois Condotta, Gérard Ligozat, Mahmoud Saade, Eligibilité de contraintes pour la résolution de contraintes qualitatives temporelles et spatiales in Atelier Représentation et Raisonnement sur le Temps et l'Espace(RTE'07),2007.

2005 Jean-François Condotta, Gérard 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.

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

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 Journées Nationales sur les Modèles de Raisonnement (JNMR 2001),pp. 9-22, 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, 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, 2000.

1999 Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Raisonnement qualitatif à propos des points de l'espace in 5èmes Journées Nationales sur la résolution pratique de problèmes NP-complets (JNPC 1999),pp. 139-149, 1999.

Book chapters

2013 Jean-François Condotta, Florence Le Ber, Gérard 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. 4, Cépaduès, 2013.

2007 Jean-Francois Condotta, Raisonnement sur l'espace et le temps in Raisonnement sur l'espace et le temps,pp. 181-223, Lavoisier, Hermes, 2007.