|
Search the dblp DataBase
Jean-François Condotta:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani
Reasoning about Generalized Intervals. [Citation Graph (0, 0)][DBLP] AIMSA, 1998, pp:50-61 [Conf]
- Jean-François Condotta
Tractable Sets of the Generalized Interval Algebra. [Citation Graph (0, 0)][DBLP] ECAI, 2000, pp:78-82 [Conf]
- Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. [Citation Graph (0, 0)][DBLP] EPIA, 1999, pp:75-89 [Conf]
- Philippe Balbiani, Jean-François Condotta
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. [Citation Graph (0, 0)][DBLP] FroCos, 2002, pp:162-176 [Conf]
- Jean-François Condotta, Gérard Ligozat, Stavros Tripakis
Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. [Citation Graph (0, 0)][DBLP] ICTAI, 2005, pp:584-588 [Conf]
- Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
A New Tractable Subclass of the Rectangle Algebra. [Citation Graph (0, 0)][DBLP] IJCAI, 1999, pp:442-447 [Conf]
- Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
A Model for Reasoning about Bidemsional Temporal Relations. [Citation Graph (0, 0)][DBLP] KR, 1998, pp:124-130 [Conf]
- Jean-François Condotta
The Augmented Interval and Rectangle Networks. [Citation Graph (0, 0)][DBLP] KR, 2000, pp:571-579 [Conf]
- Jean-François Condotta, Gérard Ligozat
Axiomatizing the Cyclic Interval Calculus. [Citation Graph (0, 0)][DBLP] KR, 2004, pp:95-105 [Conf]
- Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
Reasoning about Cyclic Space: Axiomatic and Computational Aspects. [Citation Graph (0, 0)][DBLP] Spatial Cognition, 2003, pp:348-371 [Conf]
- Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
Reasoning about Generalized Intervals: Horn Representability and Tractability. [Citation Graph (0, 0)][DBLP] TIME, 2000, pp:23-30 [Conf]
- Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
On the Consistency Problem for the INDU Calculus. [Citation Graph (0, 0)][DBLP] TIME, 2003, pp:203-211 [Conf]
- Jean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis
Ultimately Periodic Simple Temporal Problems (UPSTPs). [Citation Graph (0, 0)][DBLP] TIME, 2006, pp:69-77 [Conf]
- Jean-François Condotta, Mahmoud Saade, Gerard Ligozat
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. [Citation Graph (0, 0)][DBLP] TIME, 2006, pp:78-86 [Conf]
- Gérard Ligozat, Debasis Mitra, Jean-François Condotta
Spatial and temporal reasoning: beyond Allen's calculus. [Citation Graph (0, 0)][DBLP] AI Commun., 2004, v:17, n:4, pp:223-233 [Journal]
- Philippe Balbiani, Jean-François Condotta
Spatial Reasoning About Points in a Multidimensional Setting. [Citation Graph (0, 0)][DBLP] Appl. Intell., 2002, v:17, n:3, pp:221-238 [Journal]
- Jean-François Condotta
A General Qualitative Framework for Temporal and Spatial Reasoning. [Citation Graph (0, 0)][DBLP] Constraints, 2004, v:9, n:2, pp:99-121 [Journal]
- Philippe Balbiani, Jean-François Condotta, Gérard Ligozat
On the consistency problem for the INDU calculus. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:2, pp:119-140 [Journal]
- Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
Tractability Results in the Block Algebra. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:5, pp:885-909 [Journal]
- Jean-François Condotta, Gérard Ligozat, Mahmoud Saade
Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:806-814 [Conf]
- Dominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais
Relaxation of Qualitative Constraint Networks. [Citation Graph (0, 0)][DBLP] SARA, 2007, pp:93-108 [Conf]
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. [Citation Graph (, )][DBLP]
Majority Merging: from Boolean Spaces to Affine Spaces. [Citation Graph (, )][DBLP]
Merging Qualitative Constraints Networks Using Propositional Logic. [Citation Graph (, )][DBLP]
A Framework for Merging Qualitative Constraints Networks. [Citation Graph (, )][DBLP]
Qualitative Constraints Representation for the Time and Space in SAT. [Citation Graph (, )][DBLP]
Merging Qualitative Constraint Networks in a Piecewise Fashion. [Citation Graph (, )][DBLP]
A Class of df-Consistencies for Qualitative Constraint Networks. [Citation Graph (, )][DBLP]
Search in 0.048secs, Finished in 0.049secs
|