Search - Archive ouverte HAL Access content directly

Filter your results

103 Results

Merging Qualitative Constraints Networks Defined on Different Qualitative Formalisms

Jean-Francois Condotta , Souhila Kaci , Pierre Marquis , Nicolas Schwind
Conference 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 SAT

Jean-François Condotta , Dominique d'Almeida
16iè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
Image document

Ultimately Periodic Simple Temporal Problems (UPSTPs)

Jean-François Condotta , Gérard Ligozat , Mahmoud Saade , Stavros Tripakis
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 study

Marwa Harzi , Jean-François Condotta , Issam Nouaouri , Saoussen Krichen
22nd 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'espace

Philippe Balbiani , Jean-François Condotta
Premiè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 rectangles

Philippe Balbiani , Jean-François Condotta
Journé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 Method

Michael Sioutis , Jean-François Condotta , Yakoub Salhi , Bertrand Mazure
Automated 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 Networks

Michael Sioutis , Yakoub Salhi , Jean-François Condotta
Twenty-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 Networks

Jean-François Condotta , Ali Mensi , Issam Nouaouri , Michael Sioutis , Lamjed Ben Said et al.
Artificial 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 Networks

Michael Sioutis , Jean-François Condotta
Artificial 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 LTL

Anasse Chafik , Fahima Cheikh-Alili , Jean-François Condotta , Ivan Varzinczak
28th 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

Nouhad Amaneddine , Jean-François Condotta
(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 qualitatives

Jean-Francois Condotta , G. Ligozat , Mahmoud Saade
Semaine 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 spatiales

Jean-Francois Condotta , Gérard Ligozat , Mahmoud Saade
16iè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 qualitatifs

Jean-Francois Condotta , Souhila Kaci , Pierre Marquis , Nicolas Schwind
Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), 2009, Marseille, France
Conference papers hal-00873289v1

Tractability results in the block algebra

Philippe Balbiani , Jean-François Condotta , Luis Farinas del Cerro
Journal of Logic and Computation, 2002, 12 (5), pp.885-909. ⟨10.1093/logcom/12.5.885⟩
Journal articles istex hal-03300288v1
Image document

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework

Michael Sioutis , Jean-François Condotta , Yakoub Salhi , Bertrand Mazure , David A. Randell et al.
11th 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 Networks

Michael Sioutis , Jean-François Condotta , Manolis Koubarakis
International Journal on Artificial Intelligence Tools, 2016, 25 (02), pp.1550031. ⟨10.1142/S0218213015500311⟩
Journal articles hal-02067950v1

From Qualitative to Discrete Constraint Networks

Jean-Francois Condotta , Dominique Dalmeida , Christophe Lecoutre , Lahkdar Sais
Jun 2006, pp.54-64
Conference papers hal-00121141v1
Image document

A Syntactical Approach to Qualitative Constraint Networks Merging

Jean-Francois Condotta , Souhila Kaci , Pierre Marquis , Nicolas Schwind
LPAR: 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 arborescentes

Jean-Francois Condotta
Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'11), 2011, Lyon, France
Conference papers hal-00871817v1

Consistency of triangulated temporal qualitative constraint networks

Assef Chmeiss , Jean-Francois Condotta
23rd 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 Fashion

Jean-Francois Condotta , Souhila Kaci , Pierre Marquis , Nicolas Schwind
ICTAI: 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 algebra

Jean-François Condotta
Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'2000), 2000, Berlin, Unknown Region. pp.78-82
Conference papers hal-03300312v1
Image document

Éligibilité de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales

Jean-François Condotta , Gérard Ligozat , Mahmoud Saade
Atelier RTE 2007, plateforme AFIA, Jul 2007, Grenoble, France. pp.29-40
Conference papers hal-01434018v1
Image document

Empirical study of algorithms for qualitative temporal or spatial constraint networks

Jean-François Condotta , Gérard Ligozat , Mahmoud Saade
The 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 study

Marwa Harzi , Jean-François Condotta , Issam Nouaouri , Saoussen Krichen
22nd 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 calculus

Philippe Balbiani , Jean-François Condotta , Gérard Ligozat
10th 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 networks

Jean-François Condotta , Souhila Kaci , Yakoub Salhi
Acta Informatica, 2016, 53 (2), pp.149-170. ⟨10.1007/s00236-015-0228-z⟩
Journal articles lirmm-01348069v1
Image document

A Framework for Decision-based Consistencies

Jean-Francois Condotta , Christophe Lecoutre
17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perugla, Italy. pp.172-186
Conference papers hal-00865549v1