Skip to content

Jean-Franois Condotta

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

48

Venues

14

Active years

1998–2024

Best venue rank

A*

Where they publish

Papers

48 indexed papers, newest first.

YearVenueTitleAuthors
2024FlAIRSOn Clustering in Qualitative Spatial and Temporal Reasoning.Abderrahmane Boukontar, Jean-Franois Condotta, Yakoub Salhi
2024TIMEA Framework for Assessing Inconsistency in Disjunctive Temporal Problems.Jean-Franois Condotta, Yakoub Salhi
2022ICTAIKnowledge Discovery from Qualitative Spatial and Temporal Data.Abderrahmane Boukontar, Jean-Franois Condotta, Yakoub Salhi
2021TIMEA One-Pass Tree-Shaped Tableau for Defeasible LTL.Anasse Chafik, Fahima Cheikh Alili, Jean-Franois Condotta, Ivan Varzinczak
2020TIMEOn the Decidability of a Fragment of preferential LTL.Anasse Chafik, Fahima Cheikh Alili, Jean-Franois Condotta, Ivan Varzinczak
2018KESUsing the hybrid ILS/VND method for solving the patients scheduling problem in emergency department: a case study.Marwa Harzi, Jean-Franois Condotta, Issam Nouaouri, Saoussen Krichen
2017IJCAIEfficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction.Michael Sioutis, Jean-Franois Condotta
2017ICTAIA Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks.Michael Sioutis, Anastasia Paparrizou, Jean-Franois Condotta
2017KESScheduling Patients in Emergency Department by Considering Material Resources.Marwa Harzi, Jean-Franois Condotta, Issam Nouaouri, Saoussen Krichen
2017TIMECollective Singleton-Based Consistency for Qualitative Constraint Networks.Michael Sioutis, Anastasia Paparrizou, Jean-Franois Condotta
2016AIMSALocal Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.Jean-Franois Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Sad
2016KRA SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.Jean-Franois Condotta, Issam Nouaouri, Michael Sioutis
2016KRQuantifying Conflicts for Spatial and Temporal Information.Jean-Franois Condotta, Badran Raddaoui, Yakoub Salhi
2015FlAIRSA Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks.Michael Sioutis, Yakoub Salhi, Jean-Franois Condotta
2015IJCAIEfficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks.Michael Sioutis, Sanjiang Li, Jean-Franois Condotta
2015ICTAIA Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.Jean-Franois Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said
2015SACOn the use and effect of graph decomposition in qualitative spatial and temporal reasoning.Michael Sioutis, Yakoub Salhi, Jean-Franois Condotta
2015TABLEAUXGeneralized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method.Michael Sioutis, Jean-Franois Condotta, Yakoub Salhi, Bertrand Mazure
2014AIMSAIncrementally Building Partially Path Consistent Qualitative Constraint Networks.Michael Sioutis, Jean-Franois Condotta
2014AIMSAA Qualitative Spatio-Temporal Framework Based on Point Algebra.Michael Sioutis, Jean-Franois Condotta, Yakoub Salhi, Bertrand Mazure
2013FlAIRSOn the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.Nouhad Amaneddine, Jean-Franois Condotta
2013FlAIRSCompiling Preference Queries in Qualitative Constraint Problems.Jean-Franois Condotta, Souhila Kaci
2013IJCAIEfficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.Nouhad Amaneddine, Jean-Franois Condotta, Michael Sioutis
2013TIMEMinimal Consistency Problem of Temporal Qualitative Constraint Networks.Jean-Franois Condotta, Souhila Kaci
2012AIMSAFrom Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks.Nouhad Amaneddine, Jean-Franois Condotta
2011CPA Framework for Decision-Based Consistencies.Jean-Franois Condotta, Christophe Lecoutre
2011ICTAIConsistency of Triangulated Temporal Qualitative Constraint Networks.Assef Chmeiss, Jean-Franois Condotta
2011TIMEConsistency of Qualitative Constraint Networks from Tree Decompositions.Jean-Franois Condotta, Dominique D'Almeida
2010ECAIMajority Merging: from Boolean Spaces to Affine Spaces.Jean-Franois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
2010KRA Class of df-Consistencies for Qualitative Constraint Networks.Jean-Franois Condotta, Christophe Lecoutre
2010LPARA Syntactical Approach to Qualitative Constraint Networks Merging.Jean-Franois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
2009ECSQARUMerging Qualitative Constraints Networks Using Propositional Logic.Jean-Franois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
2009ICTAIMerging Qualitative Constraint Networks in a Piecewise Fashion.Jean-Franois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
2008FlAIRSA Framework for Merging Qualitative Constraints Networks.Jean-Franois Condotta, Souhila Kaci, Nicolas Schwind
2007CPEligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks.Jean-Franois Condotta, Grard Ligozat, Mahmoud Saade
2007ICTAIQualitative Constraints Representation for the Time and Space in SAT.Jean-Franois Condotta, Dominique D'Almeida
2006TIMEUltimately Periodic Simple Temporal Problems (UPSTPs).Jean-Franois Condotta, Grard Ligozat, Mahmoud Saade, Stavros Tripakis
2006TIMEA Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi.Jean-Franois Condotta, Mahmoud Saade, Gerard Ligozat
2005ICTAIUltimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning.Jean-Franois Condotta, Grard Ligozat, Stavros Tripakis
2004KRAxiomatizing the Cyclic Interval Calculus.Jean-Franois Condotta, Grard Ligozat
2003TIMEOn the Consistency Problem for the INDU Calculus.Philippe Balbiani, Jean-Franois Condotta, Grard Ligozat
2000ECAITractable Sets of the Generalized Interval Algebra.Jean-Franois Condotta
2000KRThe Augmented Interval and Rectangle Networks.Jean-Franois Condotta
2000TIMEReasoning about Generalized Intervals: Horn Representability and Tractability.Philippe Balbiani, Jean-Franois Condotta, Grard Ligozat
1999EPIAA Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro
1999IJCAIA New Tractable Subclass of the Rectangle Algebra.Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro
1998AIMSAReasoning about Generalized Intervals.Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro, Aomar Osmani
1998KRA Model for Reasoning about Bidemsional Temporal Relations.Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro