Filter your results
- 84
- 19
- 91
- 10
- 2
- 103
- 8
- 1
- 2
- 3
- 6
- 6
- 6
- 4
- 7
- 2
- 4
- 6
- 6
- 4
- 7
- 11
- 4
- 4
- 2
- 4
- 2
- 6
- 3
- 3
- 79
- 24
- 85
- 17
- 14
- 9
- 7
- 4
- 4
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 103
- 20
- 17
- 13
- 13
- 11
- 10
- 10
- 8
- 8
- 7
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
103 Results
Merging Qualitative Constraints Networks Defined on Different Qualitative FormalismsConference on Spatial Information Theory (COSIT), 2009, Aber Wrac'h, France. pp.106-123
Conference papers
hal-00870815v1
|
|||
Représentation de Contraintes Qualitative pour le Temps et l'Espace en SAT16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), 2008, Amiens, Région indéterminée. pp.268-275
Conference papers
hal-03300324v1
|
|||
|
Ultimately Periodic Simple Temporal Problems (UPSTPs)International Symposium on Temporal Representation and Reasoning , Jun 2006, Budapest, Hungary. pp.69 - 77, ⟨10.1109/TIME.2006.33⟩
Conference papers
hal-01487350v1
|
||
Using the hybrid ILS/VND method for solving the patients scheduling problem in emergency department: a case study22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'18), 2018, Belgrade, Serbia. pp.733--742
Conference papers
hal-03934341v1
|
|||
Une logique temporelle pour décrire l'évolution des positions relatives des agents dans l'espacePremières Journées Francophones Modèles Formels de l'Interaction (MFI 2001), 2001, Toulouse, France
Conference papers
hal-03300349v1
|
|||
Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectanglesJournées Nationales sur les Modèles de Raisonnement (JNMR 2001), May 2001, Arras, France. pp.9-22
Conference papers
hal-03300350v1
|
|||
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau MethodAutomated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference (TABLEAUX 2015), Sep 2015, Wroclaw, Poland. pp.54-69, ⟨10.1007/978-3-319-24312-2_5⟩
Conference papers
hal-02068048v1
|
|||
A Simple Decomposition Scheme for Large Real World Qualitative Constraint NetworksTwenty-Eighth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2015), May 2015, Hollywood, Florida, United States
Conference papers
hal-02070301v1
|
|||
Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint NetworksArtificial Intelligence: Methodology, Systems, and Applications - 17th International Conference (AIMSA 2016), Sep 2016, Varna, Bulgaria. pp.247-258, ⟨10.1007/978-3-319-44748-3_24⟩
Conference papers
hal-02067956v1
|
|||
Incrementally Building Partially Path Consistent Qualitative Constraint NetworksArtificial Intelligence: Methodology, Systems, and Applications - 16th International Conference (AIMSA 2014), Sep 2014, Varna, Bulgaria. pp.104-116, ⟨10.1007/978-3-319-10554-3_10⟩
Conference papers
hal-02068065v1
|
|||
A One-Pass Tree-Shaped Tableau for Defeasible LTL28th International Symposium on Temporal Representation and Reasoning (TIME 2021), Alpen-Adria-Universität Klagenfurt, Sep 2021, Klagenfurt, Austria. pp.16:1-16:18, ⟨10.4230/LIPIcs.TIME.2021.16⟩
Conference papers
hal-03699248v1
|
|||
An e-learning model based on dynamic qua- litative constraint networks(ISSPIT'09), 2009, Ajman, United Arab Emirates. pp.72-82
Conference papers
hal-03300301v1
|
|||
QAT : une boîte à outils dédiée aux algèbres qualitativesSemaine de la Connaissance (SdC2006), Jun 2006, Nantes, France. pp.149-155
Conference papers
hal-00184546v1
|
|||
Eligibilité et gel de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales16ième congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), 2008, Amiens, France
Conference papers
hal-00871821v1
|
|||
Fusion de réseaux de contraintes qualitatives définis sur différents formalismes qualitatifsJournées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), 2009, Marseille, France
Conference papers
hal-00873289v1
|
|||
|
Tractability results in the block algebraJournal of Logic and Computation, 2002, 12 (5), pp.885-909. ⟨10.1093/logcom/12.5.885⟩
Journal articles
istex
hal-03300288v1
|
||
|
Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework11th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI 2015), Sep 2015, Bayonne, France. pp.130-150, ⟨10.1007/978-3-319-23868-5_10⟩
Conference papers
hal-01385350v1
|
||
An Efficient Approach for Tackling Large Real World Qualitative Spatial NetworksInternational Journal on Artificial Intelligence Tools, 2016, 25 (02), pp.1550031. ⟨10.1142/S0218213015500311⟩
Journal articles
hal-02067950v1
|
|||
From Qualitative to Discrete Constraint NetworksJun 2006, pp.54-64
Conference papers
hal-00121141v1
|
|||
|
A Syntactical Approach to Qualitative Constraint Networks MergingLPAR: Logic for Programming, Artificial Intelligence and Reasoning, Oct 2010, Yogyakarta, Indonesia. pp.233-247, ⟨10.1007/978-3-642-16242-8_17⟩
Conference papers
istex
hal-00866877v1
|
||
Cohérence de réseaux de contraintes qualitatives spatio-temporelles à partir de décompositions arborescentesJournées Nationales de l'Intelligence Artificielle Fondamentale (IAF'11), 2011, Lyon, France
Conference papers
hal-00871817v1
|
|||
Consistency of triangulated temporal qualitative constraint networks23rd International Conference on Tools with Artificial Intelligence (ICTAI'11), 2011, Boca Raton, United States. pp.199-802
Conference papers
hal-00865521v1
|
|||
Merging Qualitative Constraint Networks in a Piecewise FashionICTAI: International Conference on Tools with Artificial Intelligence, Nov 2009, Newark, NJ, United States. pp.605-608, ⟨10.1109/ICTAI.2009.36⟩
Conference papers
hal-00866863v1
|
|||
Tractable sets of the generalized interval algebraProceedings of the 14th European Conference on Artificial Intelligence (ECAI'2000), 2000, Berlin, Unknown Region. pp.78-82
Conference papers
hal-03300312v1
|
|||
|
Éligibilité de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales Atelier RTE 2007, plateforme AFIA, Jul 2007, Grenoble, France. pp.29-40
Conference papers
hal-01434018v1
|
||
|
Empirical study of algorithms for qualitative temporal or spatial constraint networksThe 17th European Conference on Artificial Intelligence, Aug 2006, Riva del Garda, Italy
Conference papers
hal-01487411v1
|
||
Using the hybrid ILS/VND method for solving the patients scheduling problem in emergency department: a case study22nd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES'18), 2018, Belgrade, Serbia. pp.733--742
Conference papers
hal-03300291v1
|
|||
On the consistency problem for INDU calculus10th International Symposium on Temporal Representation and Reasoning (TIME 2003), Jul 2003, Cairns, QLD, Australia. pp.203-211, ⟨10.1109/TIME.2003.1214897⟩
Conference papers
hal-03300310v1
|
|||
Optimization in temporal qualitative constraint networksActa Informatica, 2016, 53 (2), pp.149-170. ⟨10.1007/s00236-015-0228-z⟩
Journal articles
lirmm-01348069v1
|
|||
|
A Framework for Decision-based Consistencies17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perugla, Italy. pp.172-186
Conference papers
hal-00865549v1
|