Jean-François Condotta

According to our database1, Jean-François Condotta
  • authored at least 57 papers between 1998 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning.
Knowledge Eng. Review, 2017

Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks.
International Journal on Artificial Intelligence Tools, 2016

Optimization in temporal qualitative constraint networks.
Acta Inf., 2016

Quantifying Conflicts for Spatial and Temporal Information.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2016

2015
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

On the use and effect of graph decomposition in qualitative spatial and temporal reasoning.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework.
Proceedings of the Artificial Intelligence Applications and Innovations, 2015

A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks.
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

On Redundancy in Linked Geospatial Data.
Proceedings of the 2nd Workshop on Linked Data Quality co-located with 12th Extended Semantic Web Conference (ESWC 2015), 2015

2014
Vertex Incremental Path Consistency for Qualitative Constraint Networks.
Proceedings of the Artificial Intelligence: Methods and Applications, 2014

Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure.
Proceedings of the Artificial Intelligence: Methods and Applications, 2014

A Qualitative Spatio-Temporal Framework Based on Point Algebra.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014

Incrementally Building Partially Path Consistent Qualitative Constraint Networks.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014

2013
Minimal Consistency Problem of Temporal Qualitative Constraint Networks.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.
Proceedings of the IJCAI 2013, 2013

Compiling Preference Queries in Qualitative Constraint Problems.
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

On the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

2012
From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012

2011
Consistency of Qualitative Constraint Networks from Tree Decompositions.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Consistency of Triangulated Temporal Qualitative Constraint Networks.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

A Framework for Decision-Based Consistencies.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
A Syntactical Approach to Qualitative Constraint Networks Merging.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

A Class of df-Consistencies for Qualitative Constraint Networks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Majority Merging: from Boolean Spaces to Affine Spaces.
Proceedings of the ECAI 2010, 2010

2009
Merging Qualitative Constraint Networks in a Piecewise Fashion.
Proceedings of the ICTAI 2009, 2009

Merging Qualitative Constraints Networks Using Propositional Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms.
Proceedings of the Spatial Information Theory, 9th International Conference, 2009

Qualitative Constraints for Job Shop Scheduling.
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

2008
A Framework for Merging Qualitative Constraints Networks.
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007
Relaxation of Qualitative Constraint Networks.
Proceedings of the Abstraction, 2007

Qualitative Constraints Representation for the Time and Space in SAT.
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007

Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
On the consistency problem for the INDU calculus.
J. Applied Logic, 2006

A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi.
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

Ultimately Periodic Simple Temporal Problems (UPSTPs).
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2005
On the Relevance of Conceptual Spaces for Spatial and Temporal Reasoning.
Spatial Cognition & Computation, 2005

Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

2004
A General Qualitative Framework for Temporal and Spatial Reasoning.
Constraints, 2004

Spatial and temporal reasoning: beyond Allen's calculus.
AI Commun., 2004

Axiomatizing the Cyclic Interval Calculus.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003
On the Consistency Problem for the INDU Calculus.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Reasoning about Cyclic Space: Axiomatic and Computational Aspects.
Proceedings of the Spatial Cognition III, Routes and Navigation, Human Memory and Learning, 2003

2002
Tractability Results in the Block Algebra.
J. Log. Comput., 2002

Spatial Reasoning About Points in a Multidimensional Setting.
Appl. Intell., 2002

Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

2000
Reasoning about Generalized Intervals: Horn Representability and Tractability.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

The Augmented Interval and Rectangle Networks.
Proceedings of the KR 2000, 2000

Tractable Sets of the Generalized Interval Algebra.
Proceedings of the ECAI 2000, 2000

1999
A New Tractable Subclass of the Rectangle Algebra.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.
Proceedings of the Progress in Artificial Intelligence, 1999

1998
A Model for Reasoning about Bidemsional Temporal Relations.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Reasoning about Generalized Intervals.
Proceedings of the Artificial Intelligence: Methodology, 1998


  Loading...