| 1 |
Éligibilité de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales
|
|
|
|
In: Atelier RTE 2007, plateforme AFIA ; https://hal.archives-ouvertes.fr/hal-01434018 ; Atelier RTE 2007, plateforme AFIA, Jul 2007, Grenoble, France. pp.29-40 (2007)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
The QAT: A Qualitative Algebra Toolkit
|
|
|
|
In: Proceedings of the 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06) ; 2nd IEEE International Conference on Information Technologies ; https://hal.archives-ouvertes.fr/hal-01434027 ; 2nd IEEE International Conference on Information Technologies , Apr 2006, Damascus, Syria. pp.3433 - 3438, ⟨10.1109/ICTTA.2006.1684969⟩ (2006)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Ultimately Periodic Simple Temporal Problems (UPSTPs)
|
|
|
|
In: International Symposium on Temporal Representation and Reasoning ; https://hal.archives-ouvertes.fr/hal-01487350 ; International Symposium on Temporal Representation and Reasoning , Jun 2006, Budapest, Hungary. pp.69 - 77, ⟨10.1109/TIME.2006.33⟩ (2006)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Empirical study of algorithms for qualitative temporal or spatial constraint networks
|
|
|
|
In: The 17th European Conference on Artificial Intelligence ; https://hal.archives-ouvertes.fr/hal-01487411 ; The 17th European Conference on Artificial Intelligence, Aug 2006, Riva del Garda, Italy (2006)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi
|
|
|
|
In: TIME 2006 International Symposium on Temporal Representation and Reasoning ; https://hal.archives-ouvertes.fr/hal-01487333 ; TIME 2006 International Symposium on Temporal Representation and Reasoning , Jun 2006, Budapest, Hungary. pp.78 - 86, ⟨10.1109/TIME.2006.2⟩ (2006)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Axiomatizing the Cyclic Interval Calculus
|
|
|
|
In: Knowledge Representation (KR-2004) ; https://hal.archives-ouvertes.fr/hal-01487498 ; Knowledge Representation (KR-2004), 2004, Whistler, Canada (2004)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
An axiomatics of the qualitative relations of the Cyclic Interval Calculus ; Une axiomatisation des relations qualitatives du calcul des intervalles cycliques
|
|
|
|
In: Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004) ; https://hal.archives-ouvertes.fr/hal-01487504 ; Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004), Jan 2004, Toulouse, France (2004)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Reasoning about generalized intervals: Horn representability and tractability
|
|
|
|
In: Seventh International Workshop on Temporal Representation and Reasoning (TIME 2000) ; https://hal.archives-ouvertes.fr/hal-01491526 ; Seventh International Workshop on Temporal Representation and Reasoning (TIME 2000), Jul 2000, Cape Breton, Canada. pp.23 - 29, ⟨10.1109/TIME.2000.856580⟩ (2000)
|
|
BASE
|
|
Show details
|
|
|
|
|
