Jean-François Condotta

Available identifiers

Publication	Date of Publication	Type
Qualitative reasoning	2024-09-11	Paper
On the decidability of a fragment of preferential LTL	2023-11-02	Paper
A One-Pass Tree-Shaped Tableau for Defeasible LTL	2023-10-02	Paper
Defeasible linear temporal logic	2023-07-06	Paper
Collective singleton-based consistency for qualitative constraint networks	2023-02-03	Paper
Collective singleton-based consistency for qualitative constraint networks: theory and practice	2019-11-07	Paper
Optimization in temporal qualitative constraint networks	2016-03-29	Paper
Generalized qualitative spatio-temporal reasoning: complexity and tableau method	2015-12-11	Paper
Majority merging: from Boolean spaces to affine spaces	2011-05-11	Paper
A syntactical approach to qualitative constraint networks merging	2010-10-12	Paper
Merging Qualitative Constraints Networks Using Propositional Logic	2009-07-02	Paper
On the consistency problem for the \(\mathcal {INDU}\) calculus	2006-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q5314477	2005-09-05	Paper
A general qualitative framework for temporal and spatial reasoning	2005-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4737132	2004-08-11	Paper
Spatial reasoning about points in a multidimensional setting	2003-03-12	Paper
Tractability Results in the Block Algebra	2002-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q4494316	2001-07-04	Paper

This page was built for person: Jean-François Condotta