default search action
Jean-François Condotta
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c58]Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi:
On Clustering in Qualitative Spatial and Temporal Reasoning. FLAIRS 2024 - [c57]Jean-François Condotta, Yakoub Salhi:
A Framework for Assessing Inconsistency in Disjunctive Temporal Problems. TIME 2024: 15:1-15:18 - 2023
- [j11]Anasse Chafik
, Fahima Cheikh Alili
Defeasible linear temporal logic. J. Appl. Non Class. Logics 33(1): 1-51 (2023) - 2022
- [c56]Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi:
Knowledge Discovery from Qualitative Spatial and Temporal Data. ICTAI 2022: 451-458 - 2021
- [c55]Anasse Chafik
A One-Pass Tree-Shaped Tableau for Defeasible LTL. TIME 2021: 16:1-16:18 - 2020
- [c54]Anasse Chafik
On the Decidability of a Fragment of preferential LTL. TIME 2020: 19:1-19:19 - [p1]Jean-François Condotta, Florence Le Ber, Gérard Ligozat, Louise Travé-Massuyès:
Qualitative Reasoning. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 151-183
2010 – 2019
- 2019
- [j10]Michael Sioutis
Collective singleton-based consistency for qualitative constraint networks: Theory and practice. Theor. Comput. Sci. 797: 17-41 (2019) - 2018
- [c53]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: 733-742 - [c52]Ali Mensi, Jean-François Condotta, Issam Nouaouri, Michael Sioutis
A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints. SETN 2018: 19:1-19:9 - 2017
- [j9]Michael Sioutis
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning. Knowl. Eng. Rev. 32: e4 (2017) - [c51]Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta:
A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks. ICTAI 2017: 110-117 - [c50]Michael Sioutis
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction. IJCAI 2017: 1262-1268 - [c49]Marwa Harzi, Jean-François Condotta, Issam Nouaouri, Saoussen Krichen
Scheduling Patients in Emergency Department by Considering Material Resources. KES 2017: 713-722 - [c48]Michael Sioutis
Collective Singleton-Based Consistency for Qualitative Constraint Networks. TIME 2017: 19:1-19:17 - 2016
- [j8]Jean-François Condotta, Souhila Kaci, Yakoub Salhi
Optimization in temporal qualitative constraint networks. Acta Informatica 53(2): 149-170 (2016) - [j7]Michael Sioutis
An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks. Int. J. Artif. Intell. Tools 25(2): 1550031:1-1550031:33 (2016) - [c47]Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis
Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. AIMSA 2016: 247-258 - [c46]Jean-François Condotta, Issam Nouaouri, Michael Sioutis:
A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. KR 2016: 432-442 - [c45]Jean-François Condotta, Badran Raddaoui, Yakoub Salhi:
Quantifying Conflicts for Spatial and Temporal Information. KR 2016: 443-452 - 2015
- [c44]Michael Sioutis, Sanjiang Li, Jean-François Condotta:
On Redundancy in Linked Geospatial Data. LDQ@ESWC 2015 - [c43]Michael Sioutis, Yakoub Salhi, Jean-François Condotta:
A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks. FLAIRS 2015: 119-122 - [c42]Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis
A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. ICTAI 2015: 445-452 - [c41]Michael Sioutis
Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework. AIAI 2015: 130-150 - [c40]Michael Sioutis, Sanjiang Li, Jean-François Condotta:
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks. IJCAI 2015: 3229-3235 - [c39]Michael Sioutis
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning. SAC 2015: 1874-1879 - [c38]Michael Sioutis
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. TABLEAUX 2015: 54-69 - 2014
- [c37]Michael Sioutis
Incrementally Building Partially Path Consistent Qualitative Constraint Networks. AIMSA 2014: 104-116 - [c36]Michael Sioutis
A Qualitative Spatio-Temporal Framework Based on Point Algebra. AIMSA 2014: 117-128 - [c35]Michael Sioutis
Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure. SETN 2014: 178-191 - [c34]Michael Sioutis
Vertex Incremental Path Consistency for Qualitative Constraint Networks. SETN 2014: 454-459 - 2013
- [c33]Nouhad Amaneddine, Jean-François Condotta:
On the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints. FLAIRS 2013 - [c32]Jean-François Condotta, Souhila Kaci:
Compiling Preference Queries in Qualitative Constraint Problems. FLAIRS 2013 - [c31]Nouhad Amaneddine, Jean-François Condotta, Michael Sioutis:
Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints. IJCAI 2013: 696-702 - [c30]Jean-François Condotta, Souhila Kaci:
Minimal Consistency Problem of Temporal Qualitative Constraint Networks. TIME 2013: 11-18 - 2012
- [c29]Nouhad Amaneddine, Jean-François Condotta:
From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks. AIMSA 2012: 152-161 - 2011
- [c28]Jean-François Condotta, Christophe Lecoutre:
A Framework for Decision-Based Consistencies. CP 2011: 172-186 - [c27]Assef Chmeiss, Jean-François Condotta:
Consistency of Triangulated Temporal Qualitative Constraint Networks. ICTAI 2011: 799-802 - [c26]Jean-François Condotta, Dominique D'Almeida:
Consistency of Qualitative Constraint Networks from Tree Decompositions. TIME 2011: 149-156 - 2010
- [c25]Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
Majority Merging: from Boolean Spaces to Affine Spaces. ECAI 2010: 627-632 - [c24]Jean-François Condotta, Christophe Lecoutre:
A Class of df-Consistencies for Qualitative Constraint Networks. KR 2010 - [c23]Jean-François Condotta, Souhila Kaci, Pierre Marquis
A Syntactical Approach to Qualitative Constraint Networks Merging. LPAR (Yogyakarta) 2010: 233-247
2000 – 2009
- 2009
- [c22]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: 1-4 - [c21]Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. COSIT 2009: 106-123 - [c20]Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
Merging Qualitative Constraints Networks Using Propositional Logic. ECSQARU 2009: 347-358 - [c19]Jean-François Condotta, Souhila Kaci, Pierre Marquis
Merging Qualitative Constraint Networks in a Piecewise Fashion. ICTAI 2009: 605-608 - 2008
- [c18]Jean-François Condotta, Souhila Kaci, Nicolas Schwind:
A Framework for Merging Qualitative Constraints Networks. FLAIRS 2008: 586-591 - 2007
- [c17]Jean-François Condotta, Gérard Ligozat, Mahmoud Saade:
Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks. CP 2007: 806-814 - [c16]Jean-François Condotta, Dominique D'Almeida:
Qualitative Constraints Representation for the Time and Space in SAT. ICTAI (1) 2007: 74-77 - [c15]Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais:
Relaxation of Qualitative Constraint Networks. SARA 2007: 93-108 - 2006
- [j6]Philippe Balbiani
On the consistency problem for the INDU calculus. J. Appl. Log. 4(2): 119-140 (2006) - [c14]Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis
Ultimately Periodic Simple Temporal Problems (UPSTPs). TIME 2006: 69-77 - [c13]Jean-François Condotta, Mahmoud Saade, Gerard Ligozat:
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. TIME 2006: 78-86 - 2005
- [j5]Gérard Ligozat, Jean-François Condotta:
On the Relevance of Conceptual Spaces for Spatial and Temporal Reasoning. Spatial Cogn. Comput. 5(1): 1-27 (2005) - [c12]Jean-François Condotta, Gérard Ligozat, Stavros Tripakis
Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. ICTAI 2005: 584-588 - 2004
- [j4]Gérard Ligozat, Debasis Mitra, Jean-François Condotta:
Spatial and temporal reasoning: beyond Allen's calculus. AI Commun. 17(4): 223-233 (2004) - [j3]Jean-François Condotta:
A General Qualitative Framework for Temporal and Spatial Reasoning. Constraints An Int. J. 9(2): 99-121 (2004) - [c11]Jean-François Condotta, Gérard Ligozat:
Axiomatizing the Cyclic Interval Calculus. KR 2004: 95-105 - 2003
- [c10]Philippe Balbiani
Reasoning about Cyclic Space: Axiomatic and Computational Aspects. Spatial Cognition 2003: 348-371 - [c9]Philippe Balbiani
On the Consistency Problem for the INDU Calculus. TIME 2003: 203-211 - 2002
- [j2]Philippe Balbiani
Spatial Reasoning About Points in a Multidimensional Setting. Appl. Intell. 17(3): 221-238 (2002) - [j1]Philippe Balbiani
Tractability Results in the Block Algebra. J. Log. Comput. 12(5): 885-909 (2002) - [c8]Philippe Balbiani
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. FroCoS 2002: 162-176 - 2000
- [c7]Jean-François Condotta:
Tractable Sets of the Generalized Interval Algebra. ECAI 2000: 78-82 - [c6]Jean-François Condotta:
The Augmented Interval and Rectangle Networks. KR 2000: 571-579 - [c5]Philippe Balbiani
Reasoning about Generalized Intervals: Horn Representability and Tractability. TIME 2000: 23-29
1990 – 1999
- 1999
- [c4]Philippe Balbiani
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. EPIA 1999: 75-89 - [c3]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A New Tractable Subclass of the Rectangle Algebra. IJCAI 1999: 442-447 - 1998
- [c2]Philippe Balbiani
Reasoning about Generalized Intervals. AIMSA 1998: 50-61 - [c1]Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A Model for Reasoning about Bidemsional Temporal Relations. KR 1998: 124-130
Coauthor Index
aka: Gerard Ligozat
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: