Jean-François Condotta

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6060107	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
https://portal.mardi4nfdi.de/entity/Q2999198	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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