![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Jean-François Condotta Philippe Balbiani , Jean-François Condotta, Gerard Ligozat : Reasoning about Cyclic Space: Axiomatic and Computational Aspects. Spatial Cognition 2003 : 348-371 Philippe Balbiani , Jean-François Condotta, Gerard Ligozat : On the Consistency Problem for the INDU Calculus. TIME 2003 : 203-211 Philippe Balbiani , Jean-François Condotta: Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning. FroCos 2002 : 162-176 Philippe Balbiani , Jean-François Condotta: Spatial Reasoning About Points in a Multidimensional Setting. Appl. Intell. 17 (3): 221-238 (2002) 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) Jean-François Condotta: Tractable Sets of the Generalized Interval Algebra. ECAI 2000 : 78-82 Jean-François Condotta: The Augmented Interval and Rectangle Networks. KR 2000 : 571-579 Philippe Balbiani , Jean-François Condotta, Gerard Ligozat : Reasoning about Generalized Intervals: Horn Representability and Tractability. TIME 2000 : 23-30 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 Philippe Balbiani , Jean-François Condotta, Luis Fariñas del Cerro : A New Tractable Subclass of the Rectangle Algebra. IJCAI 1999 : 442-447 Philippe Balbiani , Jean-François Condotta, Luis Fariñas del Cerro , Aomar Osmani : Reasoning about Generalized Intervals. AIMSA 1998 : 50-61 Philippe Balbiani , Jean-François Condotta, Luis Fariñas del Cerro : A Model for Reasoning about Bidemsional Temporal Relations. KR 1998 : 124-130 1 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] 2 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 8 ] 3 [ 5 ] [ 11 ] [ 12 ] 4 [ 2 ] ![]() ©2004 Association for Computing Machinery |