dblp.uni-trier.dewww.uni-trier.de

Jean-François Condotta

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
23 Jean-François Condotta, Souhila Kaci, Nicolas Schwind: A Framework for Merging Qualitative Constraints Networks. FLAIRS Conference 2008: 586-591
2007
22EEJean-François Condotta, Gérard Ligozat, Mahmoud Saade: Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks. CP 2007: 806-814
21EEJean-François Condotta, Dominique D'Almeida: Qualitative Constraints Representation for the Time and Space in SAT. ICTAI (1) 2007: 74-77
20EEDominique D'Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais: Relaxation of Qualitative Constraint Networks. SARA 2007: 93-108
2006
19EEJean-François Condotta, Gérard Ligozat, Mahmoud Saade, Stavros Tripakis: Ultimately Periodic Simple Temporal Problems (UPSTPs). TIME 2006: 69-77
18EEJean-François Condotta, Mahmoud Saade, Gerard Ligozat: A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi. TIME 2006: 78-86
17EEPhilippe 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
16EEJean-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
14EEGérard Ligozat, Debasis Mitra, Jean-François Condotta: Spatial and temporal reasoning: beyond Allen's calculus. AI Commun. 17(4): 223-233 (2004)
13EEJean-François Condotta: A General Qualitative Framework for Temporal and Spatial Reasoning. Constraints 9(2): 99-121 (2004)
2003
12EEPhilippe Balbiani, Jean-François Condotta, Gérard Ligozat: Reasoning about Cyclic Space: Axiomatic and Computational Aspects. Spatial Cognition 2003: 348-371
11EEPhilippe Balbiani, Jean-François Condotta, Gérard Ligozat: On the Consistency Problem for the INDU Calculus. TIME 2003: 203-211
2002
10EEPhilippe 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)
8EEPhilippe 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
5EEPhilippe 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
2EEPhilippe 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

Coauthor Index

1Philippe Balbiani [1] [2] [3] [4] [5] [8] [9] [10] [11] [12] [17]
2Luis Fariñas del Cerro [1] [2] [3] [4] [8]
3Dominique D'Almeida [20] [21]
4Souhila Kaci [23]
5Christophe Lecoutre [20]
6Gérard Ligozat (Gerard Ligozat) [5] [11] [12] [14] [15] [16] [17] [18] [19] [22]
7Debasis Mitra [14]
8Aomar Osmani [2]
9Mahmoud Saade [18] [19] [22]
10Lakhdar Sais [20]
11Nicolas Schwind [23]
12Stavros Tripakis [16] [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)