Publications

 

Books Edition

1.     Declarative Agent Languages and Technologies VII, Lecture Notes in Artificial Intelligence, Volume 5948, 2010, Springer

        Edited by: M. Baldoni, J. Bentahar, M.B. van Riemsdijk, and J. Lloyd

2.     Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, CEUR publisher, vol. 494, (Turin, Italy, September 7-10, 2009)

Edited by: Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie-Peirre Gleizes, João Leite, Viviana Mascardi, Julian Padget, Juan Pavón, Axel Polleres, Amal El Fallah Seghrouchni, Paolo Torroni, Rineke Verbrugge.

 

Journals      

  1. Omar Marey, Jamal Bentahar, Rachida Dssouli, and Mohamed Mbarki (2014). "Measuring and Analyzing Agents' Uncertainty in Argumentation-based Negotiation Dialogue Games". In Expert Systems with Applications. Volume 41 Number 2, pp. 306-320, Elsevier.

  2. Mohamed El-Menshawy Mohamed, Jamal Bentahar, Warda El Kholy, and Rachida Dssouli (2013). "Reducing Model Checking Commitments for Agent Communication to Model Checking ARCTL and GCTL*". In Autonomous Agents and Multi-Agent Systems, Volume 27 Number 3, pp. 375-418, Springer.

  3. Jamal Bentahar, Babak Khosravifar, Mohamed Adel Serhani, and Mahsa Alishahi (2012). "On the Analysis of Reputation for Agent-based Web Services". In Expert Systems with Applications. Volume xx, pp.xx-xx, Elsevier (Accepted).

  4. Mohamed El-Menshawy Mohamed, Jamal Bentahara, Warda El Kholya, and Rachida Dssouli (2012). "Verifying Conformance of Multi-Agent Commitment-based Protocol". In Expert Systems with Applications. Volume xx, pp. xx-xx, Elsevier (Accepted).

  5. Jamal Bentahar, Mohamed El-Menshawy Mohamed, Hongyang Qu, and Rachida Dssouli (2012). "Communicative Commitments: Model Checking and Complexity Analysis". In Knowledge-Based Systems, Volume xx, pp. xx-xx, Elsevier. DOI: http://dx.doi.org/10.1016/j.knosys.2012.04.010.

  6. Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, and Rafiul Alam (2012). "CRM: An Efficient Trust and Reputation Model for Agent Computing". In Knowledge-Based Systems, Volume 30, pp. 1-16, Elsevier. DOI: 10.1016/j.knosys.2011.01.004. The simulation code is available and can be downloaded from the paper for further research.

  7. Mohamed Amine M'hamdi and Jamal Bentahar (2011)."Scheduling Reputation Maintenance in Agent-based Communities using Game Theory". In Journal of Software. (Accepted)

  8. Amit K. Chopra, Alexander Artikis, Jamal Bentahar, Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew J. I. Jones, Munindar P. Singh, and Pinar Yolum (2011). "Research Directions in Agent Communication". In ACM Transactions on Intelligent Systems and Technology. (Accepted).

  9. Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, and Philippe Thiran (2010). "Analyzing Communities of Web Services Using Incentives". In International Journal of Web Services Research (IJWSR), Volume 7 Number 3, pp. 30-51, IGI Global.

  10. Jamal Bentahar, Rafiul Alam, Zakaria Maamar, and Nanjangud C. Narendra (2010). "Using Argumentation to Model and Deploy Agent-based B2B Applications". In Knowledge-Based Systems,  Volume 23 Number 7, pp. 677-692, Elsevier.

  11. Jamal Bentahar, Bernard Moulin, and Micheline Bélanger (2010). "A Taxonomy of Argumentation Models used for Knowledge Representation ". In Artificial Intelligence Review, Volume 33 Number 3, pp. 211-259, Springer. (49 pages).

  12. Michael Sheng, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar and Khouloud Boukadi (2010). "Separating Operational and Control Behaviors: A New Approach to Web Services Modeling". In IEEE Internet Computing,  Volume 14 Number 3, May/Jun 2010, pp. 30-39.  

  13. Mohamed Mbarki, Bernard Moulin, and Jamal Bentahar  (2010). "Une Approche de Communication entre Agents Logiciels basée sur la Pertinence". In  Revue d'Intelligence Artificielle, Volume 24 Number 1, pp. 27-66, Hermes Science Publications.

  14. Jamal Bentahar and Jihad Labban (2009). "An Argumentation-driven Model for Flexible and Efficient Persuasive Negotiation". In Group Decision and Negotiation Journal, Springer. DOI: 10.1007/s10726-009-9163-0  (accepted).

  15. Jamal Bentahar, John-Jules Ch. Meyer, and Wei Wan (2009). "Model Checking Communicative Agent-based Systems". In Knowledge-Based Systems, Special Issue on "Intelligent Software Design", Volume 22 Issue 3, pp. 142-159, Elsevier. DOI: 10.1016/j.knosys.2008.11.006.

  16. Zakaria Maamar, Sattanathan Subramanian, Jamal Bentahar, Philippe Thiran, and Djamal Benslimane (2009). "An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment". In the International Journal of E-Business Research, Volume 5 Number 4, pp. 1-21, IGI Global.

  17. Jamal Bentahar, Zakaria Maamar, Wei Wan, Djamal Benslimane, Philippe Thiran, and Sattanathan Subramanian (2008). "Agent-based Communities of Web Services: An Argumentation-driven Approach". In Service Oriented Computing and Applications, Volume 2 Number 4, pp. 219-238, Springer.

  18. Francesca Toni and Jamal Bentahar (2008). "Computational Logic-based Agents". In Autonomous Agents and Multi-Agent Systems, Volume 16 Number 3, pp. 211-213, Springer.

  19. Jamal Bentahar, Zakaria Maamar, Djamal Benslimane, and Philippe Thiran (2007). "An Argumentation Framework for Communities of Web Services". In IEEE Intelligent Systems, Volume 22 Number 6 (November/December 2007), pp. 75-83.

  20. Jamal Bentahar and John-Jules Ch. Meyer (2007). "A New Quantitative Trust Model for Negotiating Agents using Argumentation". In the International Journal of Computer Science and Applications (IJCSA) (Special Issue on Communications, Interactions and Interoperability in Information Systems), Volume IV Number II, pp. 1-21. Selected from the First IEEE International Conference on Research Challenges in Information Science (best paper).

  21. Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, and Jihad Labban (2007). "A Security Framework for Agent-based Systems". In the International Journal of Web Information Systems (IJWIS), Volume 3 Number 4, pp. 341-362, Emerald Publisher.

  22. Jamal Bentahar, Bernard Moulin, and John-Jules Ch. Meyer (2006). "A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication". In M. Baldoni, U. Endriss, A. Omicini, P. Torroni editors, Declarative Agent Languages and Technologies. Volume 3904 of Lecture Notes in Artificial Intelligence, pp. 223-244. Springer.

 

Book Chapters

1.      Zakaria Maamar, Philippe Thiran, and Jamal Bentahar (2011). "Web Services Communities: from Intra-Community Coopetition to Inter-Community Competition". In E-Business Application for Product Development and Competitive Growth: Emerging Technologies, In Lee editor, pp. 333-343, IGI Global.

2.      Jamal Bentahar, John-Jules. Ch. Meyer, and Wei Wan (2010). "Model Checking Agent Communication". In Specification and Verification of Multi-Agent Systems, Mehdi Dastani, Koen V. Hindriks, and John-Jules Ch. Meyer editors, pp. 67-102, Springer.

3.      Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, and Jamal Bentahar (2009). "Towards Specifying Reactive Autonomous Systems with a Categorical Approach: A Case Study". In Software Engineering Research, Management and Applications. Studies in Computational Intelligence Series, Volume 253/2009, pp. 119-134, Springer (selected among outstanding papers from SERA 2009 Conference).

 

Lecture Notes in Computer Science/Artificial Intelligence

1.      Mohamed El-Menshawy Mohamed, Jamal Bentahar, and Rachida Dssouli (2011). "Symbolic Model Checking Commitment Protocols using Reduction". In A. Omicini, S. Sardina, and W. Vasconcelos editors, Declarative Agent Languages and Technologies VIII. Volume 6619 of Lecture Notes in Artificial Intelligence, pp. 185-203. Springer.

2.      Mohamed El-Menshawy Mohamed, Jamal Bentahar, and Rachida Dssouli (2010). "Verifiable Semantic Model for Agent Interactions using Social Commitments". In M. Dastani, A. El Fallah Seghrouchni, J. Leite, and P. Torroni editors, LAnguages, methodologies and Development tools for multi-agent systemS (LADS). Volume 6039 of Lecture Notes in Artificial Intelligence, pp. 128-152, Springer.

3.      Babak Khosravifar, Jamal Bentahar, and Maziar Gomrokchi (2009). "Declarative and Numerical Analysis of Edge Creation Process in Trust-based Social Networks". In M. Baldoni, J. Bentahar, J. Lloyd, and M.B. van Riemsdijk editors, Declarative Agent Languages and Technologies VII. Volume 5948 of Lecture Notes in Artificial Intelligence, pp. 141-161. Springer.

4.      Jamal Bentahar, Mohamed Mbarki, John-Jules. Ch. Meyer, and Bernard Moulin (2009). "Strategic Agent Communication: An Argumentation-driven Approach". In M. Baldoni, T.C. Son, M.B. van Riemsdijk, and M. Winikoff editors, Declarative Agent Languages and Technologies VI. Volume 5397 of Lecture Notes in Artificial Intelligence, pp. 233-250. Springer.

5.      Mohamed Mbarki, Jamal Bentahar, and Bernard Moulin (2007). "Specification and Complexity of Strategic-based Reasoning using Argumentation". In N. Maudet, S. Parsons, I. Rahwan editors, Argumentation in Multi-Agent Systems. Volume 4766 of Lecture Notes in Artificial Intelligence, pp. 142-160. Springer.

6.      Jamal Bentahar, Bernard Moulin, John-Jules. Ch. Meyer, and Yves Lespérance (2007). "A New Logical Semantics for Agent Communication". In K. Inoue, K. Satoh, F. Toni editors, Computational Logic in Multi-Agent Systems.Volume 4371 of Lecture Notes in Computer Science, pp. 151-170. Springer.

7.      Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, and Brahim Chaib-draa (2005). "A Computational Model for Conversation Policies for Agent Communication". In J. Leite and P. Torroni editors, Computational Logic in Multi-Agent Systems. Volume 3487 of Lecture Notes in Artificial Intelligence, pp. 178-195. Springer.

8.      Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, and Brahim Chaib-draa (2005). "A Modal Semantics for an Argumentation-based Pragmatics for Agent Communication". In I. Rahwan, P. Moraitis and C. Reed editors, Argumentation in Multi-Agent Systems. Volume 3366 of Lecture Notes in Artificial Intelligence, pp. 44-63. Springer.

9.      Jamal Bentahar, Bernard Moulin, and Brahim Chaib-draa (2005). "Specifying and Implementing a Persuasion Dialogue Game using Commitment and Argument Network". In I. Rahwan, P. Moraitis and C. Reed editors, Argumentation in Multi-Agent Systems. Volume 3366 of Lecture Notes in Artificial Intelligence, pp. 130-148. Springer.

10.  Karim Bouzouba, Jamal Bentahar and Bernard Moulin (2005). "Dialogization and Implicit Information in an Agent Communication Model". In R. van Eijk, M.P. Huget and F. Dignum editors, Developments in Agent Communication. Volume 3396 of Lecture Notes in Artificial Intelligence, pp. 211-226. Springer. Proceedings of AAMAS-04 International Workshop on Agent communication, New York, NY, USA, July 19, 2004.

11.  Jamal Bentahar, Bernard Moulin, and Brahim Chaib-draa (2004). "Commitment and Argument Network: A New Formalism for Agent Communication". In F. Dignum, editor, Advances in Agent Communication. Volume 2922 of Lecture Notes in Artificial Intelligence, pp. 146-165. Springer.

12.  Jamal Bentahar, Bernard Moulin, and Brahim Chaib-draa. (2004). "Commitment and Argument Network: a Formal Framework for Representing Conversation Dynamics". In J. Caelen, D. Vanderveken and D. Vernant editors, Logic and Dialogue, the Netherlands, Dordrecht, Springer (in press).

 
Referred Conferences and Workshops 

1.      Babak Khosravifar, Mahsa Alishahi, Ehsan Khosrowshahi Asl, Jamal Bentahar, Rabeb Mizouni, and Hadi Otrak (2012). "Analyzing Coopetition Strategies of Services within Communities". In Proceedings of the 10th International Conference on Service Oriented Computing (ICSOC 2012), pp. xx-xx, Springer, Shanghai China, November 12-16, 2012. [Acceptance rate =27%].

2.      Mohamad Mehdi, Nizar Bouguila, and Jamal Bentahar (2012). "Trustworthy Web Service Selection Using Probabilistic Models".  In Proceedings of the 10th IEEE International Conference on Web Services (ICWS 2012), pp. xx-xx, IEEE Press, Honolulu, Hawaii, USA, June 24 - 29, 2012. [Acceptance rate =17%].

3.      Erbin Lim, Philippe Thiran, Zakaria Maamar, and Jamal Bentahar. "On the Analysis of Satisfaction for Web Services Selection". In Proceedings of the 9th IEEE International Conference on Services Computing (SCC 2012), pp. xx-xx, IEEE Press, Honolulu, Hawaii, USA, June 24 - 29, 2012. [Acceptance rate =17%]

4.      Sina Honari, Brigitte Jaumard, and Jamal Bentahar (2012). "Merging Successive Possibility Distributions for Trust Estimation under Uncertainty in Multi-Agent Systems". In Proceedings of the 4th International Conference on Agents and Artificial intelligence (ICAART 2012), pp. 180-189, Vilamoura, Algarve, Portugal, February 6-8, 2012. [Acceptance rate =14%]

5.      Sina Honari, Brigitte Jaumard, and Jamal Bentahar (2011). "Under Uncertainty Trust Estimation through Unknown Agents in a Multi-Valued Trust Environment". In Proceedings of the 23rd IEEE International Conference on Tools with Artificial intelligence (ICTAI 2011), pp. 336-343, Boca Raton, Florida, USA, November 7-9, 2011.

6.      Babak Khosravifar, Jamal Bentahar,  Kathleen Clacens, Christophe Goffart, and Philippe Thiran (2011). "Game-Theoretic Analysis of a Web Services Collaborative Mechanism". In Proceedings of the 9th International Conference on Service Oriented Computing (ICSOC 2011), pp. 549-556, Springer, Paphos, Cyprus, December 5-8, 2011. [Acceptance rate =15.6%].

7.      Mohamed Mbarki, Jamal Bentahar, and Bernard Moulin (2011). "On the Argumentative Agent Types and Negotiation".  In Proceedings of the 10th International Conference on Software Methodologies, Tools and Techniques (SoMet 2011), pp. 169-182, IOS Press, Saint Petersburg, Russia, September 28-30, 2011. [Acceptance rate =30%].

8.      Giti Oghabi, Jamal Bentahar, and Abdelghani Benharref (2011). "Verifiying Web Services using Probabilistic Model Checking via Markov Chains and Processes". In Proceedings of the 10th International Conference on Software Methodologies, Tools and Techniques (SoMet 2011), pp. 30-37, IOS Press, Saint Petersburg, Russia, September 28-30, 2011. [Acceptance rate =30%].

9.      Giti Oghabi, Jamal Bentahar, and Abdelghani Benharref (2011). "On the Verification of Behavioral and Probabilistic Web Services using Transformation". In Proceedings of the 9th IEEE International Conference on Web Services (ICWS 2011), Industry Track, pp. 548-555, IEEE Press, Washington DC, USA, July 04 - 09, 2011. [Acceptance rate =11%].

10.  Babak Khosravifar, Mahsa Alishahi, Jamal Bentahar, and Philippe Thiran (2011). "A Game Theoretic Approach for Analyzing the Efficiency of Web Services in Collaborative Networks".  In Proceedings of the 8th IEEE International Conference on Services Computing (SCC 2011), Research Track, pp. 168-175, IEEE Press, Washington DC, USA, July 04 - 09, 2011. [Acceptance rate =17%].

11.  Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, and Jamal Bentahar (2011). "A New Approach for Quality Enforcement in Communities of Web Services". In Proceedings of the 8th IEEE International Conference on Services Computing (SCC 2011), Applications and Experiences Track, pp. 472-479, IEEE Press, Washington DC, USA, July 04 - 09, 2011. [Acceptance rate =26%].

12.  Erbin Lim, Philippe Thiran, Zakaria Maamar, and Jamal Bentahar (2011). "Using 3-Way Satisfaction for Web Service Selection". In Proceedings of the 8th IEEE International Conference on Services Computing (SCC 2011), Work in Progress Track, pp. 731-732, IEEE Press, Washington DC, USA, July 04 - 09, 2011.

13.  Mohamed El-Menshawy Mohamed, Jamal Bentahar, and Rachida Dssouli (2011). "Model Checking Commitment Protocols". In Proceedings of the 24th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA-AIE 2011), Volume 6704 of Lecture Notes in Artificial Intelligence, pp. 37-47, Springer, Syracuse, New York, USA, June 28-July 1, 2011.

14.  Wei Wan, Jamal Bentahar, and Abdessamad Ben Hamza (2011). "Model Checking Epistemic and Probabilistic Properties of Multi-Agent systems". In Proceedings of the 24th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA-AIE 2011), Volume 6704 of Lecture Notes in Artificial Intelligence, pp. 68-78, Springer, Syracuse, New York, USA, June 28-July 1, 2011.

15.  Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, and Jamal Bentahar (2011). "Online Monitoring for Sustainable Communities of Web Services". In Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM'2011), pp. 702-705. Dublin, Irland, May 23-27, 2011.

16.  Mohamed El-Menshawy Mohamed, Jamal Bentahar, Hongyang Qu, and Rachida Dssouli (2011). "On the Verification of Social Commitments and Time". In Proceedings of the 10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 483-490, Taipei, Taiwan, May 2-6, 2011. [Acceptance rate =22%].

17.  Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, and Stan Klasa (2010). "Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems". In Proceedings of the 9th International Conference on Software Methodologies, Tools and Techniques (SoMet 2010), pp. 357-380, IOS Press, Yokohama, Japan, September 29 - October 01, 2010. [Acceptance rate =30%].

18.  Heng Kuang, Olga Ormandjieva, Stan Klasa, and Jamal Bentahar (2010). "A Formal Specification of Fault-Tolerance in Prospecting Asteroid Mission with Reactive Autonomic Systems Framework". In Proceedings of the 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), pp, 99-106, IEEE Press, Rennes, France, July 07 - 09, 2010. [Acceptance rate =27%].

19.  Babak Khosravifar, Jamal Bentahar, and Ahmad Moazin (2010). "Analyzing the Relationships between some Parameters of Web Services Reputation". In Proceedings of the 8th IEEE International Conference on Web Services (ICWS 2010), Application and Industry Track, pp. 329-336, IEEE Press, Miami, Florida, USA, July 05 - 10, 2010. [Acceptance rate =17.5%].

20.  Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Zakaria Maamar and Philippe Thiran (2010). "Analyzing Communities vs. Single Agent-based Web Services: Trust Perspectives". In Proceedings of the 7th IEEE International Conference on Services Computing (SCC 2010), pp. 194-201, IEEE Press, Miami, Florida, USA, July 05 - 10, 2010. [Acceptance rate =18%].

21.  Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, and Philippe Thiran (2010). "On the Reputation of Agent-based Web Services". In Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI 2010), pp. 1352-1357, AAAI Press, Atlanta, Georgia, USA, July 11 - 15, 2010.  [Acceptance rate =26.9%].

22.  Mohamed Mbarki, Jamal Bentahar, Bernard Moulin, and Ahmad Moazin (2010). "Constraints-based Negotiation using Argumentation". In 13th International Workshop on Non-Monotonic Reasoning (NMR 2010), Toronto, Canada, May 14 - 16, 2010.

23.  Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, and Jamal Bentahar (2010). "A Managerial Community of Web Services for Management of Communities of Web Services". In Proceedings of the 10th International Conference on New Technologies of Distributed Systems (NOTERE 2010), pp. 97-104, IEEE Press, Tozeur, Tunisia,  May 31 - Jun 2, 2010.

24.  Mohamed El-Menshawy Mohamed, Jamal Bentahar, Wei Wan, and Rachida Dssouli (2010). "Verifying Conformance of Commitment Protocols via Symbolic Model Checking". Workshop on Agent Communication, 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AC-AAMAS 2010), pp. 53-72, Toronto, Canada, May 10-14, 2010.

25.  Mohamed El-Menshawy Mohamed, Jamal Bentahar, and Rachida Dssouli (2010). "Modeling and Verifying Business Interactions via Commitments and Dialogue Actions". In Proceedings of 4th International Conference on Agent and Mult-Aagent Systems: Technologies and Applications (KES-AMSTA 2010), Volume 6071 of Lecture Notes in Artificial Intelligence, Springer pp. 11-21, Gdynia, Poland, June 23 - 25, 2010.

26.  Wei Wan, Jamal Bentahar, and Abdessamad Ben Hamza (2010). "Modeling and Verifying Agent-based Communities of Web Services". In Proceedings of the 23rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE 2010), Volume 6097 of Lecture Notes in Artificial Intelligence, pp. 418-427, Springer, Cordoba, Spain, June 1-4, 2010.

27.  Jamal Bentahar (2010). "An Agent Communication Protocol for Resolving Conflicts: Extended Abstract". In Proceedings of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 1557-1558, Toronto, Canada, May 10-14, 2010 [Acceptance rate =26%].

28.  Mohamed Elmenshawy Mohamed, Wei Wan, Jamal Bentahar, and Rachida Dssouli (2010). "Symbolic Model Checking for Agent Interactions: Extended Abstract". In Proceedings of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 1555-1556, Toronto, Canada, May 10-14, 2010 [Acceptance rate =26%].

29.  Mohamed El-Menshawy Mohamed, Jamal Bentahar, and Rachida Dssouli (2009). "Enhancing Engineering Methodology for Communities of Web Services". In Proceedings of Multi-Agent Logics, Languages, and Organisations: Federated Workshops, (MALLOW009 - AWESOME), Torino, Italy, September 7-11, 2009.

30.  Mohamed El-Menshawy Mohamed, Jamal Bentahar, and Rachida Dssouli (2009). "An Integrated Semantics of Social Commitments and Associated Operations". In Proceedings of Multi-Agent Logics, Languages, and Organisations: Federated Workshops, (MALLOW009 - LADS), Torino, Italy, September 7-11, 2009.

31.  Hamdi Yahyaoui, Zakaria Maamar, Jamal Bentahar and Khouloud Boukadi (2009). "Web Services Synchronization in Composition Scenarios". In Proceedings of Multi-Agent Logics, Languages, and Organisations: Federated Workshops, (MALLOW009 - AWESOME), Torino, Italy, September 7-11, 2009.

32.  Maziar Gomrokchi, Jamal Benathar, and Babak Khosravifar (2009). "Reputation Cascade Model Over Social Connections in Online Social Networks". In Proceedings of  the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09), pp. 523-526, Milano, Italy, September 15-18, 2009. [Acceptance rate =24%].

33.  Mohamed El-Menshawy Mohamed, Jamal Bentahar, and Rachida Dssouli (2009). "A New Semantics of Social Commitments using Branching Space-Time Logic". In Proceedings of  the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS-IAT'09), pp. 492-496, Milano, Italy, September 15-18, 2009. [Acceptance rate =34,7%].

34.  Omar Marey, Jamal Bentahar, Abdeslam En-Nouaary (2009). "On the Measurement of Negotiation Dialogue Games". In Proceedings of  the 8th International Conference on Software Methodologies, Tools and Techniques (SoMeT_09), Frontiers in Artificial Intelligence and Applications, pp. 223-244, IOS Press, Prague, Czech Republic, September 23-25, 2009. [Acceptance rate =34.6%].

35.  Melissa Kovas, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui (2009). "Formal Verification of Conversations in Composite Web Services using NuSMV". In Proceedings of  the 8th International Conference on Software Methodologies, Tools and Techniques (SoMeT_09), Frontiers in Artificial Intelligence and Applications, pp. 245-261, IOS Press, Prague, Czech Republic, September 23-25, 2009. [Acceptance rate =34.6%].

36.  Sina Honari, Mojtaba Ebadi, Amin Foshati, Maziar Gomrokchi, Jamal Bentahar, and Babak Khosravifar (2009). "Experimental Evaluation of PersianCAT Market Equilibrium". In The Twenty-first International Joint Conference on Artificial Intelligence - Trading Agent Design and Analysis (TADA-IJCAI-09), Pasadena, California, USA, July 13, 2009 (accepted).

37.  Babak Khosravifar, Jamal Bentahar, Philippe Thiran, Ahmad Moazin, and Adrien Guiot (2009). "An Approach to Incentive-based Reputation for Communities of Web Services". In Proceedings of IEEE 7th International Conference on Web Services (ICWS 2009), pp. 303-310, Los Angeles, USA, July 06-10, 2009. [Acceptance rate =15.6% out of more than 404 submissions].

38.  Babak Khosravifar, Maziar Gomrokchi, Jamal Bentahar, and Philippe Thiran (2009). "Maintenance-based Trust for Multi-Agent Systems". In Proceedings of 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), pp. 1017-1024, Budapest, Hungary, May 10-15, 2009. [Acceptance rate =22% out of more than 590 submissions].

39.  Babak Khosravifar, Maziar Gomrokchi, and Jamal Bentahar (2009). "Microscopic Analysis of Edge Creation Process in Trust-based Social Networks". In the 8th International Conference on Autonomous Agents and Multiagent Systems, Declarative Agent Languages and Technologies (DALT-AAMAS 2009), pp. 66-81, Budapest, Hungary, May 10-15, 2009.

40.  Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi and Philippe Thiran (2009). "Combined On-line and Off-line Trust Mechanism for Agent Computing". In Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications (AINA 2009), pp. 146-153, Bradford, UK, May 26-29, 2009. [Acceptance rate =28%].

41.  Jamal Bentahar, Babak Khosravifar, and Maziar Gomrokchi (2009). "Social Network-based Trust for Agent-based Services". In Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications,  Symposium on Web and Mobile Information Services (WAMIS-AINA 2009), pp. 298- 303, Bradford, UK, May 26-29, 2009.

42.  Zakaria Maamar, Michael Sheng, Hamdi Yahyaoui, Jamal Bentahar, and Khouloud Boukadi (2009). "A New Approach to Model Web Services' Behaviors based on Synchronization".  In Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications,  Symposium on Frontiers of Information Systems and Network Applications (FINA-AINA 2009), pp. 43, 49, Bradford, UK, May 26-29, 2009.

43.  Babak Khosravifar, Maziar Gomrokchi, and Jamal Bentahar (2009). "A Multi-Agent-based Approach to Improve Intrusion Detection Systems False Alarm Ratio by Using Honeypot". In Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications,  Symposium on Frontiers of Information Systems and Network Applications (FINA-AINA 2009), pp. 97-102, Bradford, UK, May 26-29, 2009.

44.  Yossr Jarraya, Mourad Debbabi, and Jamal Bentahar (2009). "On the Meaning of SysML Activity Diagrams". In the Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'09), pp. 95-105, San Francisco, USA, April 14-16, 2009.

45.  Jamal Bentahar, Nanjangud Narendra, Zakaria Maamar, Rafiul Alam, and Philippe Thiran (2008). "Designing and Implementing B2B Applications Using Argumentative Agents". In  Hamido Fujita and Imran Zualkernan editors, Proceedings of 7th International Conference on Software Methodologies, Tools, and Techniques (SoMeT'2008), Volume 182 of Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 165-189, 2008.

46.  Jamal Bentahar, Rafiul Alam, Zakaria Maamar (2008). "An Argumentation-based Protocol for Conflict Resolution". In Proceedings of KR2008: Knowledge Representation for Agents and Multi-Agent Systems, pp. 19-35, Sydney, September 16-19, 2008.

47.  Mohamed Mbarki, Jamal Bentahar, John-Jules. Ch. Meyer, and Bernard Moulin (2008). "A Framework for Agent Communication based on Goals and Argumentation". In the Seventh International Conference on Autonomous Agents and Multiagent Systems, Declarative Agent Languages and Technologies V (DALT-AAMAS 2008), pp. 190-205, Estoril, Portugal, May 12-16, 2008.

48.  Babak Khosravifar and Jamal Bentahar (2008). "An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot". In Proceedings of the 22nd IEEE International Conference on Advanced Information Networking and Applications (AINA 2008), pp. 997-1004, Okinawa, Japan, March 25-28, 2008.

49.  Said Elnaffar, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Philippe Thiran (2008). "Reputation of Communities of Web Services - Preliminary Investigation". In Proceedings of the 22nd IEEE International Conference on Advanced Information Networking and Applications (AINA 2008), pp. 1603-1608, Okinawa, Japan, March 25-28, 2008.

50.  Jamal Bentahar and Babak Khosravifar (2008). "Using Trustworthy and Referee Agents to Secure Multi-Agent Systems". In Proceedings of the 5th International Conference on Information Technology: New Generations, IEEE Press pp. 477-482, Las Vegas, USA, April 07-09, 2008.

51.  Khaled Ghoneim and Jamal Bentahar (2008). "An Adaptive Configuration for Agent-Based Supply Network". In Proceedings of the 5th International Conference on Information Technology: New Generations, IEEE Press pp. 1268-1271, Las Vegas, USA, April 07-09, 2008.

52.  Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, and  Rafy Alam (2008). "An approach to Comprehensive Trust Management in Multi-Agent Systems with Credibility". In Proceedings of the 2nd International Conference on Research Challenges in Information Science, IEEE Press pp. 53-64, Marrakech, Morocco, June 03-06, 2008.

53.  Mohamed Mbarki, Jamal Bentahar, and Bernard Moulin (2008). "A Formal Framework of Conversational Goals Based on Strategic Reasoning". In Proceedings of the 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Volume 5027 of Lecture Notes in Artificial Intelligence, Springer pp. 835-844, Wrocław, Poland, June 18-20, 2008.

54.  Hamdi Yahyaoui, Zakaria Maamar, Jamal Bentahar, Nabil Sahli, Said Elnaffar, and Philippe Thiran (2008). "On the Reputation of Communities of Web Services". In Proceedings of the the 8th International Conference on New Technologies in Distributed Systems (NOTERE 2008), ACM pp. 9-16, Lyon, France, June 23-27, 2008.

55.  Jamal Bentahar and John-Jules Ch. Meyer (2007). "Model Checking Communicative Agent-based Systems". In Hamido Fujita and Domenico Pisanelli editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the sixth SoMeT_07. Volume 161 of Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 239-265, 2007.

56.  Jamal Bentahar and Zakaria Maamar (2007). "Complexity Results for Argumentation-based Agent Communication". In Proceedings of the 4th IEEE International Conference on Innovations in Information Technology, IEEE pp. 506-510, Dubai, UAE, November 18-20, 2008.

57.  Jamal Bentahar, Jihad Labban, and Bernard Moulin (2007). "An Argumentation-driven Model for Autonomous and Secure Negotiation". In Proceedings of the International Conference on Group Decision and Negotiation (GDN 2007) Volume II, INFORMS, pp. 19-36. Mt. Tremblant (Montreal), May 14-17, 2007.

58.  Jamal Bentahar, Zakaria Maamar, Djamal Benslimane, and Philippe Thiran (2007). "Using Argumentative Agents to Manage Communities of Web Services". In  Proceedings of the IEEE International Conference on Advanced Information Networking and Applications, Web and Mobile Information Systems (WAMIS 2007), IEEE Computer Society. pp. 588-593. Niagara, Ontario, Canada, May 21-23, 2007 (to appear).

59.  Jamal Bentahar and John-Jules Ch. Meyer (2007). "A New Quantitative Trust Model for Negotiating Agents". In Proceedings of The First IEEE International Conference on Research Challenges in Information Science, pp. 39-49. Ouarzazate, Morocco, April 23-26, 2007. (Best Paper Award)

60.  Jamal Bentahar, John-Jules Ch. Meyer, and Bernard Moulin (2007). "Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach". In Proceedings of the 4th International Conference on Information Technology : New Generations (ITNG 2007), IEEE Computer Society, pp. 507-515. Las Vegas, Nevada, USA, April 2-4, 2007.

61.  Jamal Bentahar, Karim Bouzoubaa, and Bernard Moulin (2006). "A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence". In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Communication between Human and Artificial Agents, pp. 372-377. Hong Kong, December 18-22, 2006.

62.  Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, and Yves Lespérance (2006). "A New Logical Semantics for Agent Communication". In Proceedings of the AAMAS Seventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII), pp. 127-143. Hakodate, Japan, May 8-9, 2006.

63.  Jamal Bentahar, Mohamed Mbarki, and Bernard Moulin (2006). "Strategic and Tactic Reasoning for Communicating Agents". In Proceedings of the AAMAS Third International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006), pp. 134-150. Hakodate, Japan, May 8, 2006.

64.  Mohamed Mbarki, Bernard Moulin, and Jamal Bentahar (2006). "Towards an Efficient Agent Communication using an Argumentation Relevance Theory". In Proceedings of the International Workshop on Agents and Multiagent Systems, from Theory to Application (AMTA’06), Québec, Canada, June 06, 2006.

65.  Jamal Bentahar, Bernard Moulin, and John-Jules Ch. Meyer (2006). "A New Model Checking Approach for Verifying Agent Communication Protocols". In Proceedings of the IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2006), pp. 96-100. Ottawa, May 7-10, 2006.

66.  Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer and Brahim Chaib-draa (2004). "A Computational Model for Conversation Policies for Agent Communication". In Proceedings of the Fifth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V), Lisbon, September 29-30, 2004, pp. 66-81.

67.  Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer and Brahim Chaib-draa (2004). "A Logical Model for Commitment and Argument Network for Agent Communication (Extended Abstract)". In Proceedings of 3rd International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2004), New York, NY, USA, July 19-23, 2004, pp. 792-799. ACM Press.

68.  Jamal Bentahar, Bernard Moulin and Brahim Chaib-draa (2004). "A Persuasion Dialogue Game based on Commitments and Arguments". In Proceedings of AAMAS-04 1st International Workshop on Argumentation in Multi-Agent Systems, New York, NY, July 19, 2004, pp. 148-164.

69.  Jamal Bentahar, Bernard Moulin and Brahim Chaib-draa (2003). "Towards a Formal Framework for Conversational Agents". In Proceedings of AAMAS 2003 International Workshop on Agent Communication Languages and Conversation Policies, Melbourne, Australia, July 14, 2003.

70.  Jamal Bentahar, Bernard Moulin and Brahim Chaib-draa (2003). "Vers une approche pour la modélisation du dialogue basée sur les engagements et les arguments". In Actes des Secondes Journées Francophones Modèles Formels de l'Interaction, Lille, France, May 20-22, 2003, pp. 19-28. 

71.  Radouane Mrabet and Jamal Bentahar (2002). "Internationalization of a Distance Exam Web Environment". In Proceedings of The Twenty-first International Unicode Conference, Dublin, Ireland, May 14-17, 2002.

 
Technical Reports

 

1.          Jamal Bentahar and Bernard Moulin (2004). "On the Verification of Dialogue Game Protocols for Communicating Agents (a Model Checking Approach)". Technical Report, Department of Computer science and Software Engineering, Laval University, DIUL-RR-0403.

2.          Jamal Bentahar and Bernard Moulin (2005). "Multi-Agent Systems and Natural Hazards Risk Management". Internal Report.

3.          Jamal Bentahar and Bernard Moulin (2005). "Representing Courses of Actions using Argumentation Models". Repport for RDDC, Valcartier, W7701-043300/B.

 

Submitted and in Preparation Papers

 

1.      Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance and Brahim Chaib-draa (2005). "A Logical Model for Commitment and Argument Network for Agent Communication". Journal of Autonomous Agents and Multi-Agent Systems, Kluwer (submitted).

2.      Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer and Girish Bhat (2005). "On the Verification of Dialogue Game Protocols (A Model Checking Approach)". Journal of Annals of Mathematics and Artificial Intelligence, Kluwer (in preparation).

3.      Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer and Brahim Chaib-draa (2005). "Specifying and Implementing Persuasion Dialogue Game protocols". Journal of Computational Intelligence. Blackwell (in preparation).

4.      Karim Bouzouba, Jamal Bentahar and Bernard Moulin. "Integrating Pragmatic Aspects in an Agent Communication Model". Journal of Computational Intelligence. Blackwell (Submitted).

 

 

 

A discovery is said to be an accident meeting a prepared mind.

Albert von Szent-Gyorgyi (1893 - 1986)