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)
|
|
Abstract:
International audience ; A model for qualitative reasoning about intervals on a cyclic time has been recently proposed by Balbiani and Osmani (Balbiani & Osmani 2000). In this formalism, the basic entities are intervals on a circle, and using considerations similar to Allen's calculus, sixteen basic relations are obtained, which form a jointly disjunctive and pairwise distinct (JEPD) set of relations. The purpose of this paper is to give an ax-iomatic description of the calculus, based on the properties of the meets relation, from which all other fifteen relations can be deduced. We show how the corresponding theory is related to cyclic orderings, and use the results to prove that any countable model of this theory is isomorphic to the cyclic interval structure based on the rational numbers. Our approach is similar to Ladkin's axiomatization of Allen's calculus, although the cyclic structures introduce specific difficulties.
|
|
Keyword:
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [SCCO.LING]Cognitive science/Linguistics; aleph_0 –categorical; cyclic interval calculus; cyclic orderings; qualitative temporal reasoning; theories
|
|
URL: https://hal.archives-ouvertes.fr/hal-01487498 https://hal.archives-ouvertes.fr/hal-01487498/document https://hal.archives-ouvertes.fr/hal-01487498/file/KR04CondottaJF.pdf
|
|
BASE
|
|
Hide 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
|
|
|
|