The following pages link to Jean-François Condotta (Q262130):
Displaying 16 items.
- Optimization in temporal qualitative constraint networks (Q262133) (← links)
- A general qualitative framework for temporal and spatial reasoning (Q1768750) (← links)
- Spatial reasoning about points in a multidimensional setting (Q1863907) (← links)
- Collective singleton-based consistency for qualitative constraint networks: theory and practice (Q2334596) (← links)
- On the consistency problem for the \(\mathcal {INDU}\) calculus (Q2495387) (← links)
- (Q2999198) (← links)
- Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method (Q3455761) (← links)
- Merging Qualitative Constraints Networks Using Propositional Logic (Q3638160) (← links)
- (Q4494316) (← links)
- (Q4737132) (← links)
- Tractability Results in the Block Algebra (Q4779591) (← links)
- A Syntactical Approach to Qualitative Constraint Networks Merging (Q4933308) (← links)
- (Q5314477) (← links)
- (Q6060107) (← links)
- A One-Pass Tree-Shaped Tableau for Defeasible LTL (Q6080283) (← links)
- Collective singleton-based consistency for qualitative constraint networks (Q6487469) (← links)