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)
|
|
BASE
|
|
Show 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
|
|
|
|