2008 |
23 | | Jean-François Condotta,
Souhila Kaci,
Nicolas Schwind:
A Framework for Merging Qualitative Constraints Networks.
FLAIRS Conference 2008: 586-591 |
2007 |
22 | EE | Jean-François Condotta,
Gérard Ligozat,
Mahmoud Saade:
Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks.
CP 2007: 806-814 |
21 | EE | Jean-François Condotta,
Dominique D'Almeida:
Qualitative Constraints Representation for the Time and Space in SAT.
ICTAI (1) 2007: 74-77 |
20 | EE | Dominique D'Almeida,
Jean-François Condotta,
Christophe Lecoutre,
Lakhdar Sais:
Relaxation of Qualitative Constraint Networks.
SARA 2007: 93-108 |
2006 |
19 | EE | Jean-François Condotta,
Gérard Ligozat,
Mahmoud Saade,
Stavros Tripakis:
Ultimately Periodic Simple Temporal Problems (UPSTPs).
TIME 2006: 69-77 |
18 | EE | Jean-François Condotta,
Mahmoud Saade,
Gerard Ligozat:
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi.
TIME 2006: 78-86 |
17 | EE | Philippe Balbiani,
Jean-François Condotta,
Gérard Ligozat:
On the consistency problem for the INDU calculus.
J. Applied Logic 4(2): 119-140 (2006) |
2005 |
16 | EE | Jean-François Condotta,
Gérard Ligozat,
Stavros Tripakis:
Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning.
ICTAI 2005: 584-588 |
2004 |
15 | | Jean-François Condotta,
Gérard Ligozat:
Axiomatizing the Cyclic Interval Calculus.
KR 2004: 95-105 |
14 | EE | Gérard Ligozat,
Debasis Mitra,
Jean-François Condotta:
Spatial and temporal reasoning: beyond Allen's calculus.
AI Commun. 17(4): 223-233 (2004) |
13 | EE | Jean-François Condotta:
A General Qualitative Framework for Temporal and Spatial Reasoning.
Constraints 9(2): 99-121 (2004) |
2003 |
12 | EE | Philippe Balbiani,
Jean-François Condotta,
Gérard Ligozat:
Reasoning about Cyclic Space: Axiomatic and Computational Aspects.
Spatial Cognition 2003: 348-371 |
11 | EE | Philippe Balbiani,
Jean-François Condotta,
Gérard Ligozat:
On the Consistency Problem for the INDU Calculus.
TIME 2003: 203-211 |
2002 |
10 | EE | Philippe Balbiani,
Jean-François Condotta:
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning.
FroCos 2002: 162-176 |
9 | | Philippe Balbiani,
Jean-François Condotta:
Spatial Reasoning About Points in a Multidimensional Setting.
Appl. Intell. 17(3): 221-238 (2002) |
8 | EE | Philippe Balbiani,
Jean-François Condotta,
Luis Fariñas del Cerro:
Tractability Results in the Block Algebra.
J. Log. Comput. 12(5): 885-909 (2002) |
2000 |
7 | | Jean-François Condotta:
Tractable Sets of the Generalized Interval Algebra.
ECAI 2000: 78-82 |
6 | | Jean-François Condotta:
The Augmented Interval and Rectangle Networks.
KR 2000: 571-579 |
5 | EE | Philippe Balbiani,
Jean-François Condotta,
Gérard Ligozat:
Reasoning about Generalized Intervals: Horn Representability and Tractability.
TIME 2000: 23-30 |
1999 |
4 | | 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: 75-89 |
3 | | Philippe Balbiani,
Jean-François Condotta,
Luis Fariñas del Cerro:
A New Tractable Subclass of the Rectangle Algebra.
IJCAI 1999: 442-447 |
1998 |
2 | EE | Philippe Balbiani,
Jean-François Condotta,
Luis Fariñas del Cerro,
Aomar Osmani:
Reasoning about Generalized Intervals.
AIMSA 1998: 50-61 |
1 | | Philippe Balbiani,
Jean-François Condotta,
Luis Fariñas del Cerro:
A Model for Reasoning about Bidemsional Temporal Relations.
KR 1998: 124-130 |