Jean-François Condotta

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 25

Top Topics

Spatial And Temporal

Constraint Networks

Temporal Reasoning

Top Venues

Publications

Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi
On Clustering in Qualitative Spatial and Temporal Reasoning. FLAIRS (2024)
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
Defeasible linear temporal logic. J. Appl. Non Class. Logics 33 (1) (2023)
Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi
Knowledge Discovery from Qualitative Spatial and Temporal Data. ICTAI (2022)
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
A One-Pass Tree-Shaped Tableau for Defeasible LTL. TIME (2021)
Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak
On the Decidability of a Fragment of preferential LTL. TIME (2020)
Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta
Collective singleton-based consistency for qualitative constraint networks: Theory and practice. Theor. Comput. Sci. 797 (2019)
Ali Mensi, Jean-François Condotta, Issam Nouaouri, Michael Sioutis, Lamjed Ben Saïd
A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints. SETN (2018)
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. KES (2018)
Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta
A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks. ICTAI (2017)
Marwa Harzi, Jean-François Condotta, Issam Nouaouri, Saoussen Krichen
Scheduling Patients in Emergency Department by Considering Material Resources. KES (2017)
Michael Sioutis, Jean-François Condotta
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction. IJCAI (2017)
Michael Sioutis, Yakoub Salhi, Jean-François Condotta
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning. Knowl. Eng. Rev. 32 (2017)
Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta
Collective Singleton-Based Consistency for Qualitative Constraint Networks. TIME (2017)
Jean-François Condotta, Souhila Kaci, Yakoub Salhi
Optimization in temporal qualitative constraint networks. Acta Informatica 53 (2) (2016)
Jean-François Condotta, Badran Raddaoui, Yakoub Salhi
Quantifying Conflicts for Spatial and Temporal Information. KR (2016)
Michael Sioutis, Jean-François Condotta, Manolis Koubarakis
An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks. Int. J. Artif. Intell. Tools 25 (2) (2016)
Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Saïd
Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. AIMSA (2016)
Jean-François Condotta, Issam Nouaouri, Michael Sioutis
A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. KR (2016)
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. ICTAI (2015)
Michael Sioutis, Yakoub Salhi, Jean-François Condotta
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning. SAC (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. AIAI (2015)
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. TABLEAUX (2015)
Michael Sioutis, Sanjiang Li, Jean-François Condotta
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks. IJCAI (2015)
Michael Sioutis, Yakoub Salhi, Jean-François Condotta
A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks. FLAIRS Conference (2015)
Michael Sioutis, Sanjiang Li, Jean-François Condotta
On Redundancy in Linked Geospatial Data. LDQ@ESWC (2015)
Michael Sioutis, Jean-François Condotta
Vertex Incremental Path Consistency for Qualitative Constraint Networks. SETN (2014)
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
A Qualitative Spatio-Temporal Framework Based on Point Algebra. AIMSA (2014)
Michael Sioutis, Jean-François Condotta
Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure. SETN (2014)
Michael Sioutis, Jean-François Condotta
Incrementally Building Partially Path Consistent Qualitative Constraint Networks. AIMSA (2014)
Nouhad Amaneddine, Jean-François Condotta
On the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints. FLAIRS Conference (2013)
Jean-François Condotta, Souhila Kaci
Minimal Consistency Problem of Temporal Qualitative Constraint Networks. TIME (2013)
Jean-François Condotta, Souhila Kaci
Compiling Preference Queries in Qualitative Constraint Problems. FLAIRS Conference (2013)
Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis
Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints. IJCAI (2013)
Nouhad Amaneddine, Jean-François Condotta
From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks. AIMSA (2012)
Jean-François Condotta, Dominique D'Almeida
Consistency of Qualitative Constraint Networks from Tree Decompositions. TIME (2011)
Jean-François Condotta, Christophe Lecoutre
A Framework for Decision-Based Consistencies. CP (2011)
Assef Chmeiss, Jean-François Condotta
Consistency of Triangulated Temporal Qualitative Constraint Networks. ICTAI (2011)
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
A Syntactical Approach to Qualitative Constraint Networks Merging. LPAR (Yogyakarta) (2010)
Jean-François Condotta, Christophe Lecoutre
A Class of df-Consistencies for Qualitative Constraint Networks. KR (2010)
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
Majority Merging: from Boolean Spaces to Affine Spaces. ECAI (2010)
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
Merging Qualitative Constraint Networks in a Piecewise Fashion. ICTAI (2009)
Jean-François Condotta, Gérard Ligozat, Mahmoud Saade
Qualitative Constraints for Job Shop Scheduling. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems (2009)
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
Merging Qualitative Constraints Networks Using Propositional Logic. ECSQARU (2009)
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. COSIT (2009)
Jean-François Condotta, Souhila Kaci, Nicolas Schwind
A Framework for Merging Qualitative Constraints Networks. FLAIRS Conference (2008)
Jean-François Condotta, Gérard Ligozat, Mahmoud Saade
Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks. CP (2007)
Jean-François Condotta, Dominique D'Almeida
Qualitative Constraints Representation for the Time and Space in SAT. ICTAI (1) (2007)
Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais
Relaxation of Qualitative Constraint Networks. SARA (2007)
Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis
Ultimately Periodic Simple Temporal Problems (UPSTPs). TIME (2006)
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
calculus. J. Appl. Log. 4 (2) (2006)
Jean-François Condotta, Mahmoud Saade, Gerard Ligozat
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. TIME (2006)
Jean-François Condotta, Gérard Ligozat, Stavros Tripakis
Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. ICTAI (2005)
Gérard Ligozat, Jean-François Condotta
On the Relevance of Conceptual Spaces for Spatial and Temporal Reasoning. Spatial Cogn. Comput. 5 (1) (2005)
Gérard Ligozat, Debasis Mitra, Jean-François Condotta
Spatial and temporal reasoning: beyond Allen's calculus. AI Commun. 17 (4) (2004)
Jean-François Condotta, Gérard Ligozat
Axiomatizing the Cyclic Interval Calculus. KR (2004)
Jean-François Condotta
A General Qualitative Framework for Temporal and Spatial Reasoning. Constraints An Int. J. 9 (2) (2004)
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
Reasoning about Cyclic Space: Axiomatic and Computational Aspects. Spatial Cognition (2003)
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
On the Consistency Problem for the INDU Calculus. TIME (2003)
Philippe Balbiani, Jean-François Condotta
Spatial Reasoning About Points in a Multidimensional Setting. Appl. Intell. 17 (3) (2002)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
Tractability Results in the Block Algebra. J. Log. Comput. 12 (5) (2002)
Philippe Balbiani, Jean-François Condotta
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. FroCoS (2002)
Jean-François Condotta
The Augmented Interval and Rectangle Networks. KR (2000)
Jean-François Condotta
Tractable Sets of the Generalized Interval Algebra. ECAI (2000)
Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
Reasoning about Generalized Intervals: Horn Representability and Tractability. TIME (2000)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
A New Tractable Subclass of the Rectangle Algebra. IJCAI (1999)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. EPIA (1999)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
A Model for Reasoning about Bidemsional Temporal Relations. KR (1998)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani
Reasoning about Generalized Intervals. AIMSA (1998)