1 |
An Occlusion Calculus Based on an Interval Algebra
|
|
|
|
In: 2015 Brazilian Conference on Intelligent Systems (BRACIS) ; 4th Brazilian Conference on Intelligent Systems (BRACIS 2015) ; https://hal.archives-ouvertes.fr/hal-01433863 ; 4th Brazilian Conference on Intelligent Systems (BRACIS 2015), Nov 2015, Nadal, Brazil. pp.128 - 133, ⟨10.1109/BRACIS.2015.12⟩ (2015)
|
|
BASE
|
|
Show details
|
|
4 |
É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
|
|
5 |
From language to pictorial representations
|
|
|
|
In: Language and Technology Conference (L&TC'07) ; https://hal.archives-ouvertes.fr/hal-01433999 ; Language and Technology Conference (L&TC'07), Sep 2007, Poznan, Poland (2007)
|
|
BASE
|
|
Show details
|
|
6 |
Rapport technique du projet OGRE
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00102406 ; 2006 (2006)
|
|
BASE
|
|
Show details
|
|
7 |
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
|
|
8 |
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
|
|
9 |
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
|
|
10 |
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
|
|
11 |
Caesar statuit sibi Rhenum esse transeundum: From language to choremes
|
|
|
|
In: Geographic Information Science (Giscience 2006), Munster, Germany, September 20-23, 2006, ; https://hal.archives-ouvertes.fr/hal-01487401 ; Geographic Information Science (Giscience 2006), Munster, Germany, September 20-23, 2006,, Sep 2006, Munster, Germany (2006)
|
|
BASE
|
|
Show details
|
|
13 |
Weak Composition for Qualitative Spatial and Temporal Reasoning
|
|
|
|
In: Lecture Notes on Computer Science ; 11th International Conference on Constraint Programming 2005 (CP 2005) ; https://hal.archives-ouvertes.fr/hal-01487493 ; 11th International Conference on Constraint Programming 2005 (CP 2005), Oct 2005, Sitges, Spain. pp.534-548, ⟨10.1007/11564751_40⟩ (2005)
|
|
BASE
|
|
Show details
|
|
14 |
"Claude Vandeloise (2001) Aristote et le lexique de l'espace. Recontres entre la physique grecque et la linguistique cognitive, Center for the Study of Language and Information, coll. "Langage et Esprit"" [Rezension]
|
|
|
|
In: Le Français moderne. - Paris : CILF 72 (2004) 2, 245-249
|
|
BLLDB
|
|
Show details
|
|
15 |
What is a Qualitative Calculus? A General Framework
|
|
|
|
In: Pacific Rim Conference on Artificial intelligence (PRICAI'2004) ; https://hal.archives-ouvertes.fr/hal-01487502 ; Pacific Rim Conference on Artificial intelligence (PRICAI'2004), 2004, Auckland, New Zealand (2004)
|
|
BASE
|
|
Show details
|
|
16 |
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
|
|
17 |
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
|
|
19 |
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
|
|
20 |
Generalized Intervals: A Guided Tour
|
|
|
|
In: ECAI 98: Proceedings of the 13th European Conference on Artificial Intelligence ; ECAI 1998 ; https://hal.archives-ouvertes.fr/hal-01424086 ; ECAI 1998, 1998, Brighton, United Kingdom (1998)
|
|
BASE
|
|
Show details
|
|
|
|