Publications

Articles dans une revue internationale avec comité de rédaction

1

M. Mouhoub, F. Charpillet et J.P. Haton. Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning. Constraints: an International Journal, Special Issue on Spatial and Temporal Reasoning. 3:2/3, pages 151-167, 1998.

2

M. Mouhoub. Handling Numeric and Symbolic Time Information. Soumis à Artificial Intelligence Review.Kluwer Academic Publishers. (ps.gz file)

3

M. Mouhoub and Jonathan Yip. Solving Temporal Constraints in a Dynamic Environment. Soumis à Applied Artificial Intelligence. Taylor and Francis Publishers.

4

M. Mouhoub and Gage Klein. Using Neural Network for solving Temporal Constraints. Applied Intelligence, Kluwer Academic Publishers. Soumis.

Congrès internationaux avec actes et comité de sélection

5

M. Mouhoub and Jonathan Yip. Dynamic CSPs for Interval-based Temporal Reasoning . Soumis à The Fifteenth International Conference on Industrial & Engineering Application of Artificial Intelligence & Expert Systems(IEA/AIE-2002). Accepté.

6

M. Mouhoub. Analysis of Approximation Algorithms for Maximal Temporal Constraint Satisfaction Problems. The 2001 International Conference on Artificial Intelligence(IC-AI'2001), pages 165-171, Las Vegas, 2001. (ps.gz file)

7

M. Mouhoub. A Study of Numeric and Symbolic Time Information. Seventeenth International Joint Conference on Artificial Intelligence(IJCAI'01), Workshop on Learning from Temporal and Spatial Data, pages 8-15, 2001.

8

M. Mouhoub. Solving Temporal Constraint Satisfaction Problems. 5th International Symposium on Systems and Information, pages 321-326, Algiers, 2001.

9

M. Mouhoub. Managing Symbolic and Numeric Information for Scheduling and Planning. International Naiso Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS'2001), Dubai, U.A.E, 2001. (ps.gz file)

10

M. Mouhoub. Reasoning about Numeric and Symbolic Time Information. The Twelfth IEEE International Conference on Tools with Artificial Intelligence(ICTAI'2000), pages 164-171, Vancouver, Canada, 2000. (ps.gz file)

11

M. Mouhoub. Contribution au Raisonnement Temporel : Étude des Techniques de Satisfaction de Contraintes Numériques et Symboliques. Troisième Symposium International sur la Programmation et les Systèmes, ISPS'97, pages 151-171, 1997, Alger.

12

M. Mouhoub, F. Charpillet et J.P. Haton. Étude des techniques de résolution de problèmes de satisfaction de contraintes temporelles. Interfaces'97 Intelligent Systems, sixième conférence internationale, 128-131, 1997, Montpellier.

13

M. Mouhoub, F. Charpillet et J.P. Haton. Comparison of Constraint propagation techniques for Interval-based temporal Reasoning. AAAI'96, workshop on Spatial and Temporal Reasoning, pages 127-134, 1996, Portland.

14

M. Mouhoub, F. Charpillet et J.P. Haton. Constraint Propagation techniques for Scheduling Problems. ECAI'96, workshop on Intelligent Scheduling of Production Processes. 1996, Budapest, Hongrie.

15

M. Mouhoub, F. Charpillet et J.P. Haton. Comparison and improvement of Constraint propagation techniques for Interval-based temporal Reasoning. 15th Workshop of the UK Planning and Scheduling, pages 264-277, 1996, Liverpool.

Congrès nationaux avec actes et comité de sélection

16

M. Mouhoub, F. Charpillet et J.P. Haton. Résolution de problèmes de contraintes temporelles. Troisième conférence nationale sur la résolution pratique des problèmes NP-Complets, pages 87-94, 1997, Rennes.

Rapports de thèse

1996 :

M. Mouhoub. Étude des techniques de satisfaction de contraintes numériques et symboliques pour le raisonnement temporel. Thèse de doctorat de l'université H.P. Nancy 1.

1992 :

M. Mouhoub. Utilisation des systèmes de maintien de vérité pour la simulation qualitative. Rapport de D.E.A de l'université H.P. Nancy 1.

1989 :

M. Mouhoub. Conception et réalisation d'une interface pour l'interrogation des bases de données en langage naturel. Mémoire pour l'obtention du diplôme d'Ingénieur d'état en informatique, université de Constantine, Algérie.