• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2007 (1)
    • 2006 (4)
    • 2004 (2)
    • 2000 (1)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 8 of 8 1 Éligibilité de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales Condotta, Jean-François; Ligozat, Gérard; Saade, Mahmoud 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 Condotta, Jean-François; Ligozat, Gérard; Saade, Mahmoud 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) Condotta, Jean-François; Ligozat, Gérard; Saade, Mahmoud... 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 Condotta, Jean-François; Ligozat, Gérard; Saade, Mahmoud 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 Condotta, Jean-François; Ligozat, Gérard; Saade, Mahmoud 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 Condotta, Jean-François; Ligozat, Gérard 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 Condotta, Jean-François; Ligozat, Gérard 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 Balbiani, Philippe; Condotta, Jean-François; Ligozat, Gérard 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

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 8 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0