Maroua Bouzid

Édition d'ouvrages

Éditeur avec Carlo Combi de l'université de Vérona, Gérard Ligozat de l'université de Paris-Sud et Michael Fisher de l'université de Liverpool, Special Issue on Temporal Representation and Reasoning, Annals of Mathematics and Artificial Intelligence. Vol 46, 2006.

Chapitres

M. Boussard, M. Bouzid, A.I. Mouaddib, Non-standard Criteria}, Markov Decision Processes and Artificial Intelligence, pages , Wiley-ISTE , 2010.
A. Ligeza and M. Bouzid,Temporal Specification with XTUS. An Hierarchical Algebraic Approach, Knowledge Engineering and intelligent Computations, Springer-Verlag Series of Studies in Computational Intelligence, Vol 102, pages 133-148, 2008.
M. Bouzid and A. Ligeza,Temporal Specification with FuXTUS. An Hierarchical Fuzzy Approach, Knowledge Engineering and intelligent Computations, Springer-Verlag Series of Studies in Computational Intelligence, Vol 102, pages 1-16, 2008.
M. Boussard, M. Bouzid, A.I. Mouaddib, R. Sabbadin et P. Weng Critères non classiques, Processus décisionnels de Markov en intelligence artificielle, Informatique et systèmes d'information, Vol1, pages 179-213, Lavoisier 2008.
M. Bouzid, H. Hanna and A.I. Mouaddib, Decision-Theoretic Approach for Task allocation problem, Balancing Reactivity and Deliberation in Multi-Agents Systems, LNAI2103, pages 198-216, Springer-Verlag, Berlin Heidelberg 2001.

Revues d'audience internationale avec comité de rédaction

A-F Viet,L. Jeanpierre, M. Bouzid, A-I Mouaddib and, Using Markov Decision to define an adaptative strategy to control the spread of an animal disease, Int. journal Computers and Electronics in Agriculture, pages 71-79, 2012.
M. El Falou, M. Bouzid, A-I Mouaddib and T. Vidal, A distributed multi-agent planning approach for automated web services compostion, Int. journal of Web Intelligence ans Agents Systems, 2011, {\em to appear}.
M. Bouzid, Uncertain Spatio-Temporal Reasoning for Distributed Transportation Scheduling Problem, Int. Journal of Applied Artificial Intelligence, Editor Robert Trappl, Vol. 7, pages 659-680, 2007.
B. Baki, M. Bouzid, A. Ligeza and A. Mouaddib, A centralized planning technique with temporal constraints and uncertainty for multi-agent systems, Int. Journal of Experimental and Theoritical Artificial Intelligence, Editor Eric Dietrich, Vol. 18, N. 3, pages 331-364, 2006.
M. Bouzid and P. Ladkin, Simple Reasoning with Time-Dependent Propositions. Int. Journal of Interest Group in Pure and Applied Logic (IGPL). Editor Dov Gabbay. Vol. 10 N. 4, pages 1-21, 2002.
M. Bouzid and A. Ligeza, Temporal Causal Abduction. International Journal of Constraints, Editor Peter van Beek. Vol. 5, N. 3, pages 307-323, 2000.

Conférences internationales avec comité de sélection

L. Belaouer, M. Bouzid and A.I. Mouaddib, Spatial knowledge in planning language, in Proceedings international Conference on Engeneering and Ontology Development, KEOD'2011, Paris, Novembre 2011.
M. El Falou, M. Bouzid, A-I Mouaddib and T. Vidal, A self healing action composition agent, 23th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'11, pages 561-566, Octobere 2011.
L. Belaouer, M. Bouzid and A.I. Mouaddib, Ontology based spatial planning for humain-robot interaction, in Proceedings of TIME 2010, pages 103-110, Paris Septembre 2010.
L. Belaour, M. Bouzid and A.I. Mouaddib, Spatial Ontology for humain-robot interaction, 7th International Conferenceof Informatics in Control, Automation and Robotics, ICINCO'2010, pages 154-159, Lisbonne, Madeira, Juin 2010.
M. El Falou, M. Bouzid, A-I Mouaddib and T. Vidal, A Distributed Planning Approach for Web Services Composition, International Conference on Web Services, ICWS 2010, pages 337-344, Miami Florida Juillet 2010.
M. El Falou, M. Bouzid, A-I Mouaddib, T. Vidal, A complete and optimal distributed algorithm based on global heuristic for Web services composition, IEEE International Conference on Systems, Man, and Cybernetics - SMC 2010, pages 2155-216, Istanbul Turquie, Octobre 2010.
M. El Falou, M. Bouzid, A-I Mouaddib and T. Vidal, Automated Web Service Composition: A Decentralised Multi-agent Approach, IEEE/ACM International Conference on Web Intelligence and Intelligent Agent Technology, pages 387-394, Milan Italie, Octobre 2009.
L. Belaouer, M. Bouzid, M. Mouhoub, Extending Temporal Causal Graphs for Diagnosis Problems, The 22nd International FLAIRS Conference, Sanibel Island, Florida 2009.
A. Saval, M. Bouzid and S. Brunessaux, A Semantic Extension for Event Modelisation, 21th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'09, pages 139-146, New York UAS, Octobre 2009.
M. El Falou, M. Bouzid, A-I Mouaddib and T. Vidal, Automated Web Services Composition Using Extended Representation of Planning Domain, European Conference on Artificial Intelligence ECAI'08, pages 735-736, Patrace, Greece, Aout 2008.
M. Boussard, M. Bouzid, A-I Mouaddib, Vector Valued Markov Decision Process for robot platooning, European Conference on Artificial Intelligence ECAI'08, pages 925-926, Patrace, Greece Aout 2008.
M. El Falou, M. Bouzid, A-I Mouaddib, T. Vidal, Automated Web Service Composition Using Extended Representation of Planning Domain, International Conference on Web Services ICWS 2008, pages 762-763, Beijing, China 2008.
M. Boussard and M. Bouzid, A.I. Mouaddib Multi-criteria Decision Making for Local Coordination in Multi-agent Systems, 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'07, pages 87-90, Patrace, Greece, Octobre 2007.
A.I. Mouaddib, M. Boussard and M. Bouzid, Towards a Formal Framework for Multi-Objective Multi-Agent Planning, Int. conference on Autonomous Agents and Multiagent Systems, AAMAS'07, pages 123-130 Hawaii, mai 2007.
A. Ligeza, M. Bouzid, Algebraic Temporal Specifications with Extended TUS, Crisp and Fuzzy case, Computer Methods and Systems CMS'05, pages 367-378, Kracow, Poland, novembre 2005.
M. Bouzid, A. Ligeza, Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and their Applications, 17th IEEE International Conference on Tools with Artificiall Intelligence, ICTAI'05, pages 249-253, Hong Kong, novembre 2005.
H. Belleili, M. Bouzid and M. Sellami, Cooperative Scheduling among Time-bounded Agents, 17th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'05, pages 573-577, Hong Kong, Novembre 2005.
B. Baki, M. Bouzid and A. Ligeza, Generating Low Cost Plans under Uncertainty and their Temporal Constraints, 17th IEEE International Conference on Tools with Artificial Intelligence ICTAI'05, Hong Kong, pages 531-536, novembre 2005.

M. Bouzid

A Scheduling Technique of Plans with Probability and Temporal Constraints

B.Baki and M. Bouzid, Scheduling with Probability and Temporal Constraints, In Stefania Bandini and Sara Manzoni editors, AI*AI 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, september 2005, volume 3673 of Lecture Notes in Artificial Intelligence, pages 148-159. Springer Verlag, 2005.
B. Baki, A. Beynier, M. Bouzid and A.I. Mouaddib, Temporal Probabilistic Task Planning in an Emergency Service, IEEE International Conference on Complex Systems, Intelligence and Modern Technology Applications, CSIMTA'04, pages 427-434, Cherbourg, France, september 2004.
H. Belleili, M. Bouzid and M. Sellami,
Formation de coalitions pour la maximisation de l'utilité de la réponse: application à la recherche d'informations
, 7th Africain Conference on Research in Computer Science (CARI'04), page 503-510, Tunis, Tunisie, novembre 2004.
H. Belleili, M. Bouzid and M. Sellami, Anytime Negotiation between agents with alternative methods, International conference on Applied Computing, pages 73-80, Lisbon, Portugal, mars 2004.
. Belleili, M. Bouzid, Anytime Negotiation for Hierarchical Multiple Methods Agents, IEEE International Conference on Information and Communication: from Theory to application, ICTTA, pages 19-23, Damascus, Syria, avril 2004.
M. Bouzid, On-line transportation scheduling using spatio-temporal reasoning, Proceedings of TIME-International Conference on Temporal Logic, pages 17-25, Queensland, Australie, juillet 2003.
M. Bouzid and A. Mouaddib, Uncertain Temporal Reasoning for the Distributed Transportation, Proceedings of TIME-98 International Workshop on Temporal Representaion and Reasoning. Florida, USA, avril 1998, pages 21-28.
M. Bouzid and A. Mouaddib, Cooperative Uncertain Temporal Reasoning for Distributed Transportation Scheduling. Proceedings of third International Conference on Multi-Agents Systems (ICMAS'98). Paris, France, juin 1998.
M. Bouzid and A. Ligeza, Temporal Causal Networks for Simulation and Diagnosis, Proceedings of Second IEEE Int. Conference on Engineering of Complex Computer Systems (ICECCS'96) , Montreal, Canada, octobre 1996, pages 458-465.
M. Bouzid and P. Ladkin, Rules for Simple Temporal Reasoning. Proceedings of TIME-95, International Workshop on Temporal Representation and Reasoning. Florida, USA, April 1995, pages 73-88.
M. Bouzid and A. Ligeza, A Temporal Representation based on Characteristic Functions. Proceedings of the 8th Florida Artificial Intelligence Research Symposium, FLAIRS'95. Florida, USA, avril 1995, pages 167-172.
M. Bouzid and F. Charpillet and P. Marquis and J-P. Haton, Assumption-Based Truth Maintenance in Presence of Temporal Assertions. Proceedings of the 6th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'94, pages 492-498 New Orleans, USA, November 1994.

Conférences nationales avec comité de sélection

M. El-Falou, M. Bouzid, A. Mouaddib et T. Vidal, Une approche de planification distribuée pour la Composition de services web utilisant des techniques de planification, 5ème journées Francophones de Planification, Decision, Apprentissage pour la conduite de systèmes, JFPDA 2010, Besançon 2010.

A-F Viet, M. Bouzid and L. Jeanpierre, Définition d'une stratégie pour contrôler une maladie animale dans un groupe d'élevages, 17ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle, RFIA'10, pages 99-107, Caen France, janvier 2010.

A-F Viet, M. Bouzid and L. Jeanpierre, Définition d'une stratégie collective de maîtrise d'une maladie animale, Actes du congrès de la société française de recherche opérationnelle et d'aide à la décision ROADEF'10,2010.

A. Saval, M. Bouzid and S. Brunseau, Une extention sémantique pour la modélisation des événements, Spatial Analysis and GEOmatics SAGEO'2009, Paris, Novembre 2009.

M. Boussard, M. Bouzid et A. Mouaddib, Processus décisionnels de Markov décentralisés multi-critères pour la formation de pelotons, Troisième journées Francophones de Planification, Decision, Apprentissage pour la conduite de systèmes, JFPDA 2008, 2008.

M. El-Falou, M. Bouzid, A. Mouaddib et T. Vidal, Composition automatique et dynamique de services web utilisant des techniques de planification, Troisième journées Francophones de Planification, Decision, Apprentissage pour la conduite de systèmes, JFPDA 2008, 2008.

M. Boussard, M. Bouzid et A. Mouaddib, Décision multi-critères pour la coordination locale des les systèmes multi-agents, Quatrièes journées Francophones sur les Modèles Formels de l'Interaction, MFI'07,pages 277-282, Paris, France, mai 2007.

B. Baki et M. Bouzid, Planification et ordonnancement probabilistes sous contraintes temporelles, 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle, RFIA'06, pages 99-107, Tours, France, janvier 2006.

b>M. Bouzid and A. Ligeza, Temporal logic based on characteristic functions, In I. Wachsmuth, C. Rolliger and W. Brauer, editors, KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, volume 981 of Lecture Notes in Artificial Intelligence, pages 221-232. Springer Verlag, Bielefeld, Germany, septembre 1995.

Workshop internationaux avec comité de sélection