DE eng

Search in the Catalogues and Directories

Hits 1 – 5 of 5

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)
Abstract: International audience ; Representing and reasoning about spatial and temporal information is an important task in many applications of Artificial Intelligence. In the past two decades numerous formalisms have been proposed for representing and reasoning about time and space using qualitative constraints. In the first part of this paper we propose and study a general definition of such formalisms by considering calculi based on basic relations of an arbitrary arity. In a second part we describe the QAT (Qualitative Algebra Toolkit), a JAVA constraint programming library allowing to handle constraint networks based on those qualitative calculi. The main motivation of this work stems from the fact that most software tools dealing with qualitative calculi have only been implemented for specific qualitative calculi.
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; consistency; Java programming; qualitative constraint network; software tools; spatial and temporal reasoning
URL: https://hal.archives-ouvertes.fr/hal-01434027/file/icttaConf.pdf
https://hal.archives-ouvertes.fr/hal-01434027/document
https://hal.archives-ouvertes.fr/hal-01434027
https://doi.org/10.1109/ICTTA.2006.1684969
BASE
Hide 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

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
5
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern