• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Condotta, Jean-François (5)
    • Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur (LIMSI) (5)
    • Ligozat, Gérard (5)
    • Saade, Mahmoud (5)
    • Sorbonne Université (SU)-Sorbonne Université (SU)-Université Paris-Saclay-Université Paris-Sud - Paris 11 (UP11) (5)
    • Université Paris Saclay (COmUE)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université - UFR d'Ingénierie (UFR 919) (5)
    • Université d'Artois (UA) (5)
    • Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF) (1)
    • Tripakis, Stavros (1)
    • VERIMAG (VERIMAG - IMAG) (1)
  • 
    Year:
    
    • 2007 (1)
    • 2006 (4)
  • 
    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 – 5 of 5 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) Abstract: National audience ; Dans cet article, nous considérons le problème de la cohérence des réseaux de contraintes qualitatives pour le temps et l'espace. La méthode la plus efficace pour résoudre ce problème consiste à utiliser un algorithme de recherche mettant en oeuvre d'une part la méthode de fermeture par faible composition comme propagation locale de contraintes et d'autre part une décomposition des contraintes en relations appartenant à une classe traitable. Nous proposons une extension de cet algorithme basée sur la notion d'éligibilité de contraintes. Nous étudions cet algorithme de manière théorique et de manière expérimentale. 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; cohérence; décomposition classes traitables; faible composition; raisonnement spatial; raisonnement temporel; réseau de contraintes qualitatives URL: https://hal.archives-ouvertes.fr/hal-01434018 https://hal.archives-ouvertes.fr/hal-01434018/file/grenoble_2007.pdf https://hal.archives-ouvertes.fr/hal-01434018/document BASE Hide 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) BASE Show 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

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 5 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0